Personlig profil

Keywords

  • Datalogi, IT
  • Logikprogrammering
  • Program generation
  • Programanalyse
  • Programspecialisation

Netværk Nyligt eksternt samarbejde på landeniveau. Dyk ned i detaljerne ved at klikke på punkterne.

Publikation 2002 2018

Optimised determinisation and completion of finite tree automata

Gallagher, J. P., Ajspur, M. & Kafle, B. jan. 2018 I : Journal of Logic and Algebraic Programming. 95, s. 1-16

Publikation: Bidrag til tidsskriftTidsskriftartikel

Constraint specialisation in Horn clause verification

Kafle, B. & Gallagher, J. P. 1 apr. 2017 I : Science of Computer Programming. 137, s. 125-140

Publikation: Bidrag til tidsskriftTidsskriftartikel

Energy-Aware Software Engineering

Eder, K. & Gallagher, J. P. 22 mar. 2017 ICT - Energy Concepts for Energy Efficiency and Sustainability. Fagas, G., Gammaitoni, L., Gallagher, J. P. & Paul, D. J. (red.). InTechOpen, s. 103-127

Publikation: Kapitel i bog/rapport/konferenceprocesBidrag til bog/antologi

Åben adgang
Fil

Energy Challenges for ICT

Fagas, G., Gallagher, J. P., Gammaitoni, L. & Paul, D. J. 22 mar. 2017 ICT - Energy Concepts for Energy Efficiency and Sustainability. Fagas, G., Gammaitoni, L., Gallagher, J. P. & Paul, D. J. (red.). InTechOpen, 37 s.

Publikation: Kapitel i bog/rapport/konferenceprocesBidrag til bog/antologi

Åben adgang
Fil

Horn clause verification with convex polyhedral abstraction and tree automata-based refinement

Kafle, B. & Gallagher, J. P. jan. 2017 I : Computer Languages, Systems and Structures. 47, Part 1, s. 2-18

Publikation: Bidrag til tidsskriftTidsskriftartikel

Projekter 2007 2017

Aktiviteter 2004 2018

Theory and Practice of Logic Programming (Tidsskrift)

Gallagher, J. P. (Redaktør)
1 jan. 201231 dec. 2016

Aktivitet: ForskningRedaktør af tidsskrift

11th Scandinavian Conference on Artificial Intelligence (Ekstern organisation)

Gallagher, J. P. (Medlem)
2011 → …

Aktivitet: Medlemskab af udvalg, råd og nævn

Theory and Practice of Logic Programming (Tidsskrift)

Gallagher, J. P. (Redaktør)
15 jan. 201110 jul. 2011

Aktivitet: ForskningRedaktør af tidsskrift

Presse/medie

RUC-forsker vil forlænge batteritid på mobilen

John Patrick Gallagher

04/11/2013

1 element af mediedækning

Presse/medie