Photo of John Patrick Gallagher
  • Universitetsvej 1, 08.2

    DK-4000 Roskilde

    Denmark

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

Personal profile

Keywords

  • Computer science, IT
  • Logic programming
  • Program generations
  • Program analysis
  • Program specialisation
  • Interactive installations

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 2002 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

Research output: Contribution to journalJournal articleResearchpeer-review

Functional and Logic Programming - 14th International Symposium (FLOPS 2018): Nagoya, Japan, May 9-11, 2018

Gallagher, J. P. (ed.) & Sulzmann, M. (ed.) Apr 2018 Springer. (Lecture Notes in Computer Science, Vol. 10818).

Research output: Book/ReportAnthologyResearchpeer-review

Logic-Based Program Synthesis and Transformation - 27th International Symposium, LOPSTR 2017

Gallagher, J. P. (ed.) & Fioravanti, F. (ed.) 2018 Springer. (Lecture Notes in Computer Science, Vol. 10855).

Research output: Book/ReportAnthologyResearchpeer-review

Optimised determinisation and completion of finite tree automata

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

Research output: Contribution to journalJournal articleResearchpeer-review

Proceedings, Third Workshop on Models for Formal Analysis of Real Systems and Sixth International Workshop on Verification and Program Transformation

Gallagher, J. P. (ed.), van Glabbeek, R. (ed.) & Serwe, W. (ed.) Apr 2018 EPTCS. (Electronic Proceedings in Theoretical Computer Science, Vol. 268).

Research output: Book/ReportAnthologyResearchpeer-review

Open Access

Projects 2007 2017

Activities 2004 2018

Theory and Practice of Logic Programming (Journal)

Gallagher, J. P. (Editor)
1 Jan 201231 Dec 2016

Activity: Editor of Research journalResearch

Theory and Practice of Logic Programming (Journal)

Gallagher, J. P. (Editor)
15 Jan 201110 Jul 2011

Activity: Editor of Research journalResearch

11th Scandinavian Conference on Artificial Intelligence (External organisation)

Gallagher, J. P. (Member)
2011 → …

Activity: Membership in committee, council, board

Press / Media

RUC-forsker vil forlænge batteritid på mobilen

John Patrick Gallagher

04/11/2013

1 item of media coverage

Press/Media: Press / Media