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, EPTCS 299: Proceedings Seventh International Workshop on Verification and Program Transformation. EPTCS, 15 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Open Access
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 2019
Virtual Reality, Learning and Experience - seminar at Roskilde University
Søren Larsen (Organizer), Connie Svabo (Organizer), Remzi Ates Gürsimsek (Organizer), Eduardo Abrantes (Organizer), John Patrick Gallagher (Organizer), Sisse Siggaard Jensen (Organizer), Troels Andreasen (Organizer), Per Meyer Jepsen (Organizer), Prajakt Pande (Organizer)21 Aug 2019
Activity: Participating in or organising an event › Organisation and participation in conference
Energy-aware software engineering
John Patrick Gallagher (Speaker)1 Nov 2019
Activity: Talk or presentation › Lecture and oral contribution
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
Press / Media
RUC-forsker vil forlænge batteritid på mobilen
04/11/2013
1 item of Media coverage
Press/Media: Press / Media