Photo of John Patrick Gallagher
  • Universitetsvej 1, 08.2

    DK-4000 Roskilde

    Denmark

20022019
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

John Patrick Gallagher (Lecturer)
19 Jul 2011

Activity: Talk or presentationLecture and oral contribution

File

Abstract interpretation of temporal logic: abstract model checking revisited

John Patrick Gallagher (Lecturer)
19 Aug 2010

Activity: Talk or presentationLecture and oral contribution

File

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

John Patrick Gallagher (Lecturer)
7 Jul 2010

Activity: Talk or presentationLecture and oral contribution

Invited Talk: Scalable Static Analysis based on Regular Types

John Patrick Gallagher (Lecturer)
Oct 2008

Activity: Talk or presentationLecture and oral contribution

Invited speaker, PROLE'2007, Zaragoza, Spain

John Patrick Gallagher (Lecturer)
14 Sep 2007

Activity: Talk or presentationLecture and oral contribution

Regular types, modes and model checking: Invited Talk

John Patrick Gallagher (Speaker)
2004

Activity: Talk or presentationLecture and oral contribution

File