Photo of John Patrick Gallagher
  • Universitetsvej 1, 10.2

    DK-4000 Roskilde

    Denmark

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

Activities 2004 2019

Filter
Lecture and oral contribution

Energy-aware software engineering

John Patrick Gallagher (Speaker)
1 Nov 2019

Activity: Talk or presentationLecture and oral contribution

Program Analysis With Regular Tree Languages

John Patrick Gallagher (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

John Patrick Gallagher (Lecturer)
7 Jul 2010

Activity: Talk or presentationLecture and oral contribution

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: 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