Research output per year
Research output per year
Personal profile
Research
See http://www.ruc.dk/~jpg for more details and links to my research activities.
Research
Research Interests: Program transformation and generation, program analysis, constraint logic programming, rewrite systems, temporal logics, semantics-based emulation of languages and systems, verification using abstraction, interactive installations.
Research
I am also Research Professor (part time) at the IMDEA Software Institute, Madrid.
Expertise related to UN Sustainable Development Goals
In 2015, UN member states agreed to 17 global Sustainable Development Goals (SDGs) to end poverty, protect the planet and ensure prosperity for all. This person’s work contributes towards the following SDG(s):
External positions
Research Professor, IMDEA Software Institute
1 Jan 2009 → …
Keywords
- Computer science, IT
- Logic programming
- Program generations
- Program analysis
- Program specialisation
- Interactive installations
- Resource analysis of IT
Publication network
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Research output
-
Analysis and Transformation of Constrained Horn Clauses for Program Verification
De Angelis, E., Fioravanti, F., Gallagher, J. P., Hermenegildo, M. V., Pettorossi, A. & Proietti, M., 2022, In: Theory and Practice of Logic Programming. Firstview, p. 1-69 69 p.Research output: Contribution to journal › Journal article › Research › peer-review
Open AccessFile -
Combatting Energy Issues for Mobile Applications
Li, X., Chen, J., Liu, Y., Wu, K. & Gallagher, J. P., 2022, In: ACM Transactions on Software Engineering and Methodology. online, 44 p.Research output: Contribution to journal › Journal article › Research › peer-review
Open AccessFile -
An Approach to Estimating Energy Consumption of Web-based IT Systems
Kirkeby, M. H., Gallagher, J. P. & Thomsen, B., 2021, In: CEUR Workshop Proceedings. 3145Research output: Contribution to journal › Conference article › Research › peer-review
-
Preface
Gallagher, J. P. & Sulzmann, M., 1 Feb 2021, In: Science of Computer Programming. 202, Special issue on FLOPS 2018, 2 p., 102577.Research output: Contribution to journal › Editorial › Research › peer-review
-
Regular Path Clauses and Their Application in Solving Loops
Kafle, B., Gallagher, J. P., Hermenegildo, M. V., Klemen, M., López-García, P. & Morales, J. F., 13 Sep 2021, Proceedings 8th Workshop on Horn Clauses for Verification and Synthesis (HCVS 2021). Hojjat, H. & Kafle, B. (eds.). EPTCS, Vol. 344. p. 22-35 14 p. (Electronic Proceedings in Theoretical Computer Science, Vol. 344).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Open AccessFile
Projects
- 11 Finished
-
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)
2020Activity: Editorial work and peer review › Editor of Research journal › Research
-
Energy-aware software engineering
John Patrick Gallagher (Speaker)
1 Nov 2019Activity: 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 2019Activity: Participating in or organising an event › Organisation and participation in conference
-
Fourteenth International Symposium on Functional and Logic Programming (Event)
John Patrick Gallagher (Editor)
2018Activity: 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)
2017Activity: 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