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