Research output per year
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/territory level. Dive into details by clicking on the dots or
Research output
-
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
-
Special issue on FLOPS 2018
Gallagher, J. P. (ed.) & Sulzmann, M. (ed.), 2021, Special issue on FLOPS 2018 ed. Elsevier. (Science of Computer Programming; No. 202).Research output: Book/Report › Anthology › Research
-
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, Vol. 12042. p. 19-35 (Lecture Notes in Computer Science, Vol. 12042). (Theoretical Computer Science and General Issues, Vol. 12042).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Open AccessFile -
An Experiment Combining Specialization with Abstract Interpretation
Gallagher, J. P. & Glück, R., 2020, Proceedings of VPT/HCVS@ETAPS 2020: 8th International Workshop on Verification and Program Transformation and 7th Workshop on Horn Clauses for Verification and Synthesis. Fribourg, L. & Heizmann, M. (eds.). EPTCS, Vol. 320. p. 155-158 (Electronic Proceedings in Theoretical Computer Science, Vol. 320).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Open AccessFile -
Detecting and Diagnosing Energy Issues for Mobile Applications
Li, X., Yang, Y., Liu, Y., Gallagher, J. P. & Wu, K., 2020, 29th ACM SIGSOFT International Symposium on Software Testing and Analysis: ISSTA '20. Khurshid, S. & Pasareanu, C. S. (eds.). Association for Computing Machinery, p. 115-127Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Open Access
-
-
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
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