John Patrick Gallagher

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
Gallagher, J. P. (Speaker)
1 Nov 2019
Activity: Talk or presentation › Lecture and oral contribution
Program Analysis With Regular Tree Languages
Gallagher, J. P. (Lecturer)
19 Jul 2011
Activity: Talk or presentation › Lecture and oral contribution

File
Abstract interpretation of temporal logic: abstract model checking revisited
Gallagher, J. P. (Lecturer)
19 Aug 2010
Activity: Talk or presentation › Lecture 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 presentation › Lecture and oral contribution
Invited Talk: Scalable Static Analysis based on Regular Types
Gallagher, J. P. (Lecturer)
Oct 2008
Activity: Talk or presentation › Lecture and oral contribution
Invited speaker, PROLE'2007, Zaragoza, Spain
Gallagher, J. P. (Lecturer)
14 Sept 2007
Activity: Talk or presentation › Lecture and oral contribution
Regular types, modes and model checking: Invited Talk
Gallagher, J. P. (Speaker)
2004
Activity: Talk or presentation › Lecture and oral contribution

File

Activities