Publikationer pr. år
Publikationer pr. år
Personlig profil
Forskning
See http://www.ruc.dk/~jpg for more details and links to my research activities.
Forskning
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.
Forskning
I am also Research Professor (part time) at the IMDEA Software Institute, Madrid.
Ekspertise relateret til FN’s Verdensmål
I 2015 blev FN-landene enige om 17 Verdensmål til at standse fattigdom, beskytte planeten og sikre velstand for alle. Denne persons arbejde bidrager til følgende verdensmål:
Eksterne ansættelser
Research Professor, IMDEA Software Institute
1 jan. 2009 → …
Emneord
- Datalogi, IT
- Logikprogrammering
- Program generation
- Programanalyse
- Programspecialisation
Publikationsnetværk
Seneste eksterne samarbejde på lande-/områdeniveau. Dyk ned i detaljerne ved at klikke på prikkerne eller
Publikation
-
Combatting Energy Issues for Mobile Applications
Li, X., Chen, J., Liu, Y., Wu, K. & Gallagher, J. P., 13 feb. 2023, I: ACM Transactions on Software Engineering and Methodology. 32, 1, 44 s., 3527851.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgangFil -
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. (red.). Festschrift udg. Springer, Bind 13160 LNCS. s. vii-ix 3 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).Publikation: Bidrag til bog/antologi/rapport › Forord/efterskrift › Forskning
-
Transforming Big-Step to Small-Step Semantics Using Interpreter Specialisation
Gallagher, J. P., Hermenegildo, M. V., Morales, J. F. & López-García, P., 2023, Logic-Based Program Synthesis and Transformation: 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings. Glück, R. & Kafle, B. (red.). Springer, Bind 14330. s. 28-38 11 s. (Lecture Notes in Computer Science; Nr. 14330).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review
-
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, I: Theory and Practice of Logic Programming. 22, 6, s. 974-1042 69 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgangFil -
An Approach to Estimating Energy Consumption of Web-based IT Systems
Kirkeby, M. H., Gallagher, J. P. & Thomsen, B., 2021, I: CEUR Workshop Proceedings. 3145Publikation: Bidrag til tidsskrift › Konferenceartikel › Forskning › peer review
Projekter
- 11 Afsluttet
-
Energimærkning af Software og Software Installationer
Gallagher, J. P., Kirkeby, M. H., Rosendahl, M. & Rhiger, M.
01/02/2020 → 30/09/2020
Projekter: Projekt › Forskning
-
Kulturportalen, Experience Lab RUC projekt
Jensen, S. S., Laursen, B., Gallagher, J. P., Andreasen, T. & Christiansen, H.
15/08/2014 → 01/02/2017
Projekter: Projekt › Forskning
-
ICT-Energy
Gallagher, J. P., Rosendahl, M. & Bohr, N.
01/10/2013 → 30/09/2016
Projekter: Projekt › Forskning
-
ENTRA: Whole-Systems Energy Transparency
Gallagher, J. P., Rosendahl, M., Rhiger, M., Strand, D. L. & Bohr, N.
01/10/2012 → 30/09/2015
Projekter: Projekt › Forskning
-
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
Projekter: Projekt › Forskning
Aktiviteter
-
Fundamenta Informaticae (Tidsskrift)
John Patrick Gallagher (Redaktør)
2020Aktivitet: Redaktionelt arbejde og fagfællebedømmelse › Redaktør af tidsskrift › Forskning
-
Energy-aware software engineering
John Patrick Gallagher (Oplægsholder)
1 nov. 2019Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
-
Virtual Reality, Learning and Experience - seminar at Roskilde University
Søren Larsen (Arrangør), Connie Svabo (Arrangør), Remzi Ates Gürsimsek (Arrangør), Eduardo Abrantes (Arrangør), John Patrick Gallagher (Arrangør), Sisse Siggaard Jensen (Arrangør), Troels Andreasen (Arrangør), Per Meyer Jepsen (Arrangør) & Prajakt Pande (Arrangør)
21 aug. 2019Aktivitet: Deltagelse i eller arrangering af en begivenhed › Organisation og deltagelse i konference
-
Fourteenth International Symposium on Functional and Logic Programming (Begivenhed)
John Patrick Gallagher (Redaktør)
2018Aktivitet: Redaktionelt arbejde og fagfællebedømmelse › Redaktør af tidsskrift › Forskning
-
LOPSTR 2017 - International Symposium on Logic-Based Program Synthesis and Transformation (Begivenhed)
John Patrick Gallagher (Redaktør)
2017Aktivitet: Redaktionelt arbejde og fagfællebedømmelse › Redaktør af tidsskrift › Forskning