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
A General Framework for Static Cost Analysis of Parallel Logic Programs
Klemen, M., López-García, P., Gallagher, J. P., Morales, J. F. & Hermenegildo, M., Apr 2020, Logic-Based Program Synthesis and Transformation - 29th International Symposium: LOPSTR 2019 Revised Selected Papers. Gabbrielli, M. (ed.). Springer, LNCS, Vol. 12042. p. 19-35Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
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
Projects
Energimærkning af Software og Software Installationer
Gallagher, J. P., Kirkeby, M. H., Rosendahl, M. & Rhiger, M.
01/02/2020 → 30/09/2020
Project: Research
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
Activities
Fundamenta Informaticae (Journal)
John Patrick Gallagher (Editor)
2020
Activity: Editorial work and peer review › Editor of Research journal › Research
Energy-aware software engineering
John Patrick Gallagher (Speaker)
1 Nov 2019
Activity: Talk or presentation › Lecture and oral contribution
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
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
Press / Media
RUC-forsker vil forlænge batteritid på mobilen
04/11/2013
1 item of Media coverage
Press/Media: Press / Media