Research Output per year
Personal profile
Keywords
- Computer science, IT
- Logic programming
- Program generations
- Program analysis
- Program specialisation
- Interactive installations
Publication network
Recent external collaboration on country level. Dive into details by clicking on the dots.
Research Output 2002 2019
Control-Flow Refinement by Partial Evaluation, and its Application to Termination and Cost Analysis
Doménech, J., Gallagher, J. P. & Genaim, S., Sep 2019, In : Theory and Practice of Logic Programming. 19, 5-6, p. 990–1005Research output: Contribution to journal › Journal article › Research › peer-review
Detecting and Diagnosing Energy Issues for Mobile Applications
Li, X., Yang, Y., Liu, Y., Gallagher, J. P. & Wu, K., 2019, (Submitted). 14 p.Research output: Contribution to conference › Paper › Research
Polyvariant program specialisation with property-based abstraction
Gallagher, J. P., 2019, Seventh International Workshop on Verification and Program Transformation: Online pre-proceedings. 15 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
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-570Research output: Contribution to journal › Conference article › Research › peer-review
File
Functional and Logic Programming: 14th International Symposium (FLOPS 2018), Nagoya, Japan, May 9-11, 2018
Gallagher, J. P. (ed.) & Sulzmann, M. (ed.), 2018, Switzerland: Springer. 281 p. (Lecture Notes in Computer Science, Vol. 10818). (Theoretical Computer Science and General Issues).Research output: Book/Report › Anthology › Research › peer-review
Projects 2007 2017
- 10 Finished
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
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)
John Patrick Gallagher (Editor)2018
Activity: Editorial work and peer review › Editor of Research journal › Research
LOPSTR 2017 - International Symposium on Logic-Based Program Synthesis and Transformation (Event)
John Patrick Gallagher (Editor)2017
Activity: Editorial work and peer review › Editor of Research journal › Research
Theory and Practice of Logic Programming (Journal)
John Patrick Gallagher (Editor)1 Jan 2012 → 31 Dec 2016
Activity: Editorial work and peer review › Editor of Research journal › Research
Theory and Practice of Logic Programming (Journal)
John Patrick Gallagher (Editor)15 Jan 2011 → 10 Jul 2011
Activity: Editorial work and peer review › Editor of Research journal › Research
11th Scandinavian Conference on Artificial Intelligence (External organisation)
John Patrick Gallagher (Member)2011 → …
Activity: Membership › Membership in committee, council, board
Press / Media
RUC-forsker vil forlænge batteritid på mobilen
04/11/2013
1 item of Media coverage
Press/Media: Press / Media