Activities per year
Activities
Search results
-
Energy-aware software engineering
John Patrick Gallagher (Speaker)
1 Nov 2019Activity: Talk or presentation › Lecture and oral contribution
-
Program Analysis With Regular Tree Languages
John Patrick Gallagher (Lecturer)
19 Jul 2011Activity: 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 2010Activity: Talk or presentation › Lecture and oral contribution
-
Abstract interpretation of temporal logic: abstract model checking revisited
John Patrick Gallagher (Lecturer)
19 Aug 2010Activity: Talk or presentation › Lecture and oral contribution
File -
Invited Talk: Scalable Static Analysis based on Regular Types
John Patrick Gallagher (Lecturer)
Oct 2008Activity: Talk or presentation › Lecture and oral contribution
-
Invited speaker, PROLE'2007, Zaragoza, Spain
John Patrick Gallagher (Lecturer)
14 Sep 2007Activity: Talk or presentation › Lecture and oral contribution
-
Regular types, modes and model checking: Invited Talk
John Patrick Gallagher (Speaker)
2004Activity: Talk or presentation › Lecture and oral contribution
File