Foto af John Patrick Gallagher
  • Universitetsvej 1, 08.2

    DK-4000 Roskilde

    Danmark

20022019
Hvis du har foretaget ændringer i Pure, vil de snart blive vist her.

Publikationer 2002 2019

Filter
Tidsskriftartikel
2018

Optimised determinisation and completion of finite tree automata

Gallagher, J. P., Ajspur, M. & Kafle, B., 2018, I : Journal of Logic and Algebraic Programming. 95, s. 1-16

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Tree dimension in verification of constrained Horn clauses

Kafle, B., Gallagher, J. P. & Ganty, P., 2018, I : Theory and Practice of Logic Programming. 18, 2, s. 224-251

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Åben adgang
2017

Constraint specialisation in Horn clause verification

Kafle, B. & Gallagher, J. P., 1 apr. 2017, I : Science of Computer Programming. 137, s. 125-140

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Horn clause verification with convex polyhedral abstraction and tree automata-based refinement

Kafle, B. & Gallagher, J. P., jan. 2017, I : Computer Languages, Systems and Structures. 47, Part 1, s. 2-18

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

2016

ENTRA: Whole-systems energy transparency

Eder, K., Gallagher, J. P., López-García, P., Muller, H., Banković, Z., Georgiou, K., Haemmerlé, R., Hermenegildo, M. V., Kafle, B., Kerrison, S., Kirkeby, M. H., Klemen, M., Li, X., Liqat, U., Morse, J., Rhiger, M. & Rosendahl, M., 2016, I : Microprocessors and Microsystems. 47, Part B, s. 278-286

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Fil
2014

Analysis and Transformation Tools for Constrained Horn Clause Verification

Kafle, B. & Gallagher, J. P., 21 jul. 2014, I : Theory and Practice of Logic Programming. 14, 4-5, s. 90-101 12 s., 4-5.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Fil
2009

Type-based homeomorphic embedding for online termination

Albert, E., Gallagher, J. P., Gómez-Zamalloa, M. & Puebla, G., 2009, I : Information Processing Letters. 109, 15, s. 879-886 8 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

2007

Termination analysis of logic programs through combination of type-based norms

Bruynooghe, M., Codish, M., Gallagher, J. P., Genaim, S. & Vanhoof, W., 2007, I : ACM Transactions on Programming Languages and Systems. 29, 2, 44 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

2003

Convex Hull Abstraction in Specialisation of CLP Programs

Peralta, J. C. & Gallagher, J. P., 2003, I : Lecture Notes in Computer Science. 2664, s. 90-108 19 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Åben adgang
Fil