Research output per year
Research output per year
Research output
- 11 results
Search results
-
2021
An Approach to Estimating Energy Consumption of Web-based IT Systems
Kirkeby, M. H., Gallagher, J. P. & Thomsen, B., 2021, In: CEUR Workshop Proceedings. 3145Research output: Contribution to journal › Conference article › Research › peer-review
-
2019
Challenges in the specialisation of smart horn clause interpreters
Gallagher, J. P., 9 Jul 2019, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 296, p. 3-5 3 p.Research output: Contribution to journal › Conference article › Research › peer-review
Open Access -
2018
An iterative approach to precondition inference using constrained Horn clauses
Kafle, B., Gallagher, J. P., Gange, G., Schachte, P., Søndergaard, H. & Stuckey, P. J., Jul 2018, In: Theory and Practice of Logic Programming. 18, 3-4, p. 553-570 18 p.Research output: Contribution to journal › Conference article › Research › peer-review
File -
2016
Interpolant tree automata and their application in Horn clause verification
Kafle, B. & Gallagher, J. P., 16 Jul 2016, In: Electronic Proceedings in Theoretical Computer Science. 216, p. 104-117 14 p.Research output: Contribution to journal › Conference article › Research › peer-review
Open AccessFile -
Solving non-linear Horn clauses using a linear Horn clause solver
Kafle, B., Gallagher, J. P. & Ganty, P., 14 Jul 2016, In: Electronic Proceedings in Theoretical Computer Science. 219, p. 33-48 16 p.Research output: Contribution to journal › Conference article › Research › peer-review
Open AccessFile -
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 AccessFile -
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 AccessFile -
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 AccessFile -
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 AccessFile