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.

Research Output 2002 2018

Filter
Paper
2011

Extended Set Constraints and Tree Grammar Abstraction of Programs

Rosendahl, M. & Gallagher, J. P., 2011 12 p.

Research output: Contribution to conferencePaperResearch

File
2009

Constraint-Based Abstraction of a Model Checker for Infinite State Systems

Banda, G. & Gallagher, J. P., 2009 16 p.

Research output: Contribution to conferencePaperResearchpeer-review

Open Access
File