Activities per year
Activities 2004 2019
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