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.

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 journal › Journal article › Research › peer-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/Report › Anthology › Research › peer-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/Report › Anthology › Research › peer-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 journal › Journal article › Research › peer-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/Report › Anthology › Research › peer-review

Open Access

Projects 2007 2017

Kulturportalen, Experience Lab RUC projekt

Jensen, S. S., Laursen, B., Gallagher, J. P., Andreasen, T. & Christiansen, H.

15/08/2014 → 01/02/2017

Project: Research

ICT-Energy

Gallagher, J. P., Rosendahl, M. & Bohr, N.

01/10/2013 → 30/09/2016

Project: Research

ENTRA: Whole-Systems Energy Transparency

Gallagher, J. P., Rosendahl, M., Rhiger, M., Strand, D. L. & Bohr, N.

01/10/2012 → 30/09/2015

Project: Research

The design of interactive experiences: advanced IT in inter-disciplinary teaching and research

Gallagher, J. P., Jørgensen, N. & Jacquemin, C.

01/04/2011 → 31/03/2012

Project: Research

NUSA: Numeric and Symbolic Abstractions for Software Model Checking

Gallagher, J. P., Rosendahl, M. & Rhiger, M.

01/01/2011 → 31/12/2013

Project: Research

Activities 2004 2018

Fourteenth International Symposium on Functional and Logic Programming (Event)

Gallagher, J. P. (Editor)
2018

Activity: Editor of Research journal › Research

The 27th International Symposium on Logic-based Program Synthesis and Transformation (Event)

Gallagher, J. P. (Editor)
2017

Activity: Editor of Research journal › Research

Theory and Practice of Logic Programming (Journal)

Gallagher, J. P. (Editor)
1 Jan 2012 → 31 Dec 2016

Activity: Editor of Research journal › Research

Theory and Practice of Logic Programming (Journal)

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

Activity: Editor of Research journal › Research

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