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
-
Combatting Energy Issues for Mobile Applications
Li, X., Chen, J., Liu, Y., Wu, K. & Gallagher, J. P., 13 Feb 2023, In: ACM Transactions on Software Engineering and Methodology. 32, 1, 44 p., 3527851.Research output: Contribution to journal › Journal article › Research › peer-review
Open AccessFile -
Preface
Lopez-Garcia, P., Gallagher, J. & Giacobazzi, R., 2023, Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems : Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday. Lopez-Garcia, P., Gallagher, J. P. & Giacobazzi, R. (eds.). Festschrift ed. Springer, Vol. 13160 LNCS. p. vii-ix 3 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).Research output: Chapter in Book/Report/Conference proceeding › Preface/postscript › Research
-
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. 22, 6, p. 974-1042 69 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 › peer-review
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
-
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
-
Energy-aware software engineering
John Patrick Gallagher (Speaker)
1 Nov 2019Activity: Talk or presentation › Lecture and oral contribution
-
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