John Patrick Gallagher

Vis Scopus-profil

Telefon+45 4674 2196
E-mailjpgrucdk
Webstedhttp://webhotel4.ruc.dk/~jpg/

Universitetsvej 1, 10.2
DK-4000 Roskilde
Danmark

38 Konferencebidrag i proceedings
17 Tidsskriftartikel
11 Konferenceartikel
9 Bidrag til bog/antologi
Mere

11 resultater

Filter

2021

An Approach to Estimating Energy Consumption of Web-based IT Systems
Kirkeby, M. H., Gallagher, J. P. & Thomsen, B., 2021, I: CEUR Workshop Proceedings. 3145
Publikation: Bidrag til tidsskrift › Konferenceartikel › Forskning › peer review
2019

Challenges in the specialisation of smart horn clause interpreters
Gallagher, J. P., 9 jul. 2019, I: Electronic Proceedings in Theoretical Computer Science, EPTCS. 296, s. 3-5 3 s.
Publikation: Bidrag til tidsskrift › Konferenceartikel › Forskning › peer review

Åben adgang
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, I: Theory and Practice of Logic Programming. 18, 3-4, s. 553-570 18 s.
Publikation: Bidrag til tidsskrift › Konferenceartikel › Forskning › peer review

Fil
2016

Interpolant tree automata and their application in Horn clause verification
Kafle, B. & Gallagher, J. P., 2016, I: Electronic Proceedings in Theoretical Computer Science. 216, s. 104-117 14 s.
Publikation: Bidrag til tidsskrift › Konferenceartikel › Forskning › peer review

Åben adgang
Fil
Solving non-linear Horn clauses using a linear Horn clause solver
Kafle, B., Gallagher, J. P. & Ganty, P., 2016, I: Electronic Proceedings in Theoretical Computer Science. 219, s. 33-48 16 s.
Publikation: Bidrag til tidsskrift › Konferenceartikel › Forskning › peer review

Åben adgang
Fil
2012

Analysis of Logic Programs Using Regular Tree Languages: Extended Abstract
Gallagher, J. P., 2012, I: Lecture Notes in Computer Science. 7225, s. 1-3 3 s.
Publikation: Bidrag til tidsskrift › Konferenceartikel › Forskning › peer review

Fil
2009

Analysis of Linear Hybrid Systems in CLP
Banda, G. & Gallagher, J. P., 2009, I: Lecture Notes in Computer Science. s. 55-70 16 s.
Publikation: Bidrag til tidsskrift › Konferenceartikel › Forskning › peer review

Åben adgang
Fil
From Monomorphic to Polymorphic Well-Typings and Beyond
Schrijvers, T., Bruynooghe, M. & Gallagher, J. P., 2009, I: Lecture Notes in Computer Science. s. 152-167 16 s.
Publikation: Bidrag til tidsskrift › Konferenceartikel › Forskning › peer review

Åben adgang
Fil
Non-Discriminating Arguments and Their Uses
Christiansen, H. & Gallagher, J. P., 2009, I: Lecture Notes in Computer Science. 5649, s. 55-69 15 s.
Publikation: Bidrag til tidsskrift › Konferenceartikel › Forskning › peer review

Åben adgang
Fil
2008

Type-based Homeomorphic Embedding and its Applications to Online Partial Evaluation
Albert, E., Gallagher, J. P., Gómez-Zamalloa, M. & Puebla, G., 2008, I: Lecture Notes in Computer Science. 4915, s. 23-42 19 s.
Publikation: Bidrag til tidsskrift › Konferenceartikel › Forskning › peer review
2006

Converting One Type-Based Abstract Domain to Another
Gallagher, J. P., Puebla, G. & Albert, E., 2006, I: Lecture Notes in Computer Science. s. 147-162 16 s.
Publikation: Bidrag til tidsskrift › Konferenceartikel › Forskning › peer review

Åben adgang
Fil

John Patrick Gallagher

Publikation

Søgeresultater