Photo of John Patrick Gallagher
  • Universitetsvej 1, 08.2

    DK-4000 Roskilde

    Denmark

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

Activities 2004 2018

Filter
Lecture and oral contribution

Program Analysis With Regular Tree Languages

Gallagher, J. P. (Lecturer)
19 Jul 2011

Activity: Lecture and oral contribution

File
File

Invited Talk: Scalable Static Analysis based on Regular Types

Gallagher, J. P. (Lecturer)
Oct 2008

Activity: Lecture and oral contribution

Invited speaker, PROLE'2007, Zaragoza, Spain

Gallagher, J. P. (Lecturer)
14 Sep 2007

Activity: Lecture and oral contribution

Regular types, modes and model checking: Invited Talk

Gallagher, J. P. (Speaker)
2004

Activity: Lecture and oral contribution

File