Photo of John Patrick Gallagher
  • Universitetsvej 1, 08.2

    DK-4000 Roskilde

    Denmark

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

Research Output 2002 2019

Filter
Paper
2019

Detecting and Diagnosing Energy Issues for Mobile Applications

Li, X., Yang, Y., Liu, Y., Gallagher, J. P. & Wu, K., 2019, (Submitted). 14 p.

Research output: Contribution to conferencePaperResearch

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