John Patrick Gallagher

BA & PhD

Research output per year

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

19 Membership in committee, council, board
8 Editor of Research journal
7 Lecture and oral contribution
6 Membership in review committee
More
- 5 Peer review of manuscripts
- 2 Organisation and participation in conference

Filter

Energy-aware software engineering
John Patrick Gallagher (Speaker)
1 Nov 2019
Activity: Talk or presentation › Lecture and oral contribution
Program Analysis With Regular Tree Languages
John Patrick Gallagher (Lecturer)
19 Jul 2011
Activity: Talk or presentation › Lecture 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 presentation › Lecture and oral contribution
Abstract interpretation of temporal logic: abstract model checking revisited
John Patrick Gallagher (Lecturer)
19 Aug 2010
Activity: Talk or presentation › Lecture and oral contribution

File
Invited Talk: Scalable Static Analysis based on Regular Types
John Patrick Gallagher (Lecturer)
Oct 2008
Activity: Talk or presentation › Lecture and oral contribution
Invited speaker, PROLE'2007, Zaragoza, Spain
John Patrick Gallagher (Lecturer)
14 Sep 2007
Activity: Talk or presentation › Lecture and oral contribution
Regular types, modes and model checking: Invited Talk
John Patrick Gallagher (Speaker)
2004
Activity: Talk or presentation › Lecture and oral contribution

File

Search results