Photo of John Patrick Gallagher
  • Universitetsvej 1, 08.2

    DK-4000 Roskilde

    Denmark

20022018
If you made any changes in Pure these will be visible here soon.

Activities 2004 2018

Filter
Lecture and oral contribution

Program Analysis With Regular Tree Languages

Gallagher, J. P. (Lecturer)
19 Jul 2011

Activity: Talk or presentationLecture and oral contribution

File

Invited Talk: Descriptive Types and Well-Typings, with an Aside on Model Checking

Gallagher, J. P. (Lecturer)
7 Jul 2010

Activity: Talk or presentationLecture and oral contribution

Abstract interpretation of temporal logic: abstract model checking revisited

Gallagher, J. P. (Lecturer)
19 Aug 2010

Activity: Talk or presentationLecture and oral contribution

File

Invited Talk: Scalable Static Analysis based on Regular Types

Gallagher, J. P. (Lecturer)
Oct 2008

Activity: Talk or presentationLecture and oral contribution

Invited speaker, PROLE'2007, Zaragoza, Spain

Gallagher, J. P. (Lecturer)
14 Sep 2007

Activity: Talk or presentationLecture and oral contribution

Regular types, modes and model checking: Invited Talk

Gallagher, J. P. (Speaker)
2004

Activity: Lecture and oral contribution

File