Photo of John Patrick Gallagher

John Patrick Gallagher

BA & PhD

  • 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
Conference article
2016

Interpolant tree automata and their application in Horn clause verification

Kafle, B. & Gallagher, J. P. 2016 In : Electronic Proceedings in Theoretical Computer Science. 216, p. 104-117

Research output: Contribution to journal › Conference article › Research › peer-review

Open Access
File

Solving non-linear Horn clauses using a linear Horn clause solver

Kafle, B., Gallagher, J. P. & Ganty, P. 2016 In : Electronic Proceedings in Theoretical Computer Science. 219, p. 33-48

Research output: Contribution to journal › Conference article › Research › peer-review

Open Access
File
2012

Analysis of Logic Programs Using Regular Tree Languages: Extended Abstract

Gallagher, J. P. 2012 In : Lecture Notes in Computer Science. 7225, p. 1-3 3 p.

Research output: Contribution to journal › Conference article › Research › peer-review

File
2009

Analysis of Linear Hybrid Systems in CLP

Banda, G. & Gallagher, J. P. 2009 In : Lecture Notes in Computer Science. p. 55-70 16 p.

Research output: Contribution to journal › Conference article › Research › peer-review

Open Access
File

From Monomorphic to Polymorphic Well-Typings and Beyond

Schrijvers, T., Bruynooghe, M. & Gallagher, J. P. 2009 In : Lecture Notes in Computer Science. p. 152-167 16 p.

Research output: Contribution to journal › Conference article › Research › peer-review

Open Access
File

Non-Discriminating Arguments and Their Uses

Christiansen, H. & Gallagher, J. P. 2009 In : Lecture Notes in Computer Science. 5649, p. 55-69 15 p.

Research output: Contribution to journal › Conference article › Research › peer-review

Open Access
File
2008

Type-based Homeomorphic Embedding and its Applications to Online Partial Evaluation

Albert, E., Gallagher, J. P., Gómez-Zamalloa, M. & Puebla, G. 2008 In : Lecture Notes in Computer Science. 4915, p. 23-42 19 p.

Research output: Contribution to journal › Conference article › Research › peer-review

2006

Converting One Type-Based Abstract Domain to Another

Gallagher, J. P., Puebla, G. & Albert, E. 2006 In : Lecture Notes in Computer Science. p. 147-162 16 p.

Research output: Contribution to journal › Conference article › Research › peer-review

Open Access
File