Photo of John Patrick Gallagher
  • Universitetsvej 1, 10.2

    DK-4000 Roskilde

    Denmark

20022020

Research output per year

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

Activities

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

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