Foto af John Patrick Gallagher
  • Universitetsvej 1, 10.2

    DK-4000 Roskilde

    Danmark

20022019
Hvis du har foretaget ændringer i Pure, vil de snart blive vist her.

Personlig profil

Emneord

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

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

Publikationer 2002 2019

Control-Flow Refinement by Partial Evaluation, and its Application to Termination and Cost Analysis

Doménech, J., Gallagher, J. P. & Genaim, S., sep. 2019, I : Theory and Practice of Logic Programming. 19, 5-6, s. 990–1005

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Detecting and Diagnosing Energy Issues for Mobile Applications

Li, X., Yang, Y., Liu, Y., Gallagher, J. P. & Wu, K., 2019, (Afsendt). 14 s.

Publikation: KonferencebidragPaperForskning

Polyvariant program specialisation with property-based abstraction

Gallagher, J. P., 2019, Seventh International Workshop on Verification and Program Transformation: Online pre-proceedings. 15 s.

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

An iterative approach to precondition inference using constrained Horn clauses

Kafle, B., Gallagher, J. P., Gange, G., Schachte, P., Søndergaard, H. & Stuckey, P. J., jul. 2018, I : Theory and Practice of Logic Programming. 18, 3-4, s. 553-570

Publikation: Bidrag til tidsskriftKonferenceartikelForskningpeer review

Fil

Functional and Logic Programming: 14th International Symposium (FLOPS 2018), Nagoya, Japan, May 9-11, 2018

Gallagher, J. P. (red.) & Sulzmann, M. (red.), 2018, Switzerland: Springer. 281 s. (Lecture Notes in Computer Science, Bind 10818). (Theoretical Computer Science and General Issues).

Publikation: Bog/antologi/afhandling/rapportAntologiForskningpeer review

Projekter 2007 2017

ICT-Energy

Gallagher, J. P., Rosendahl, M. & Bohr, N.

01/10/201330/09/2016

Projekter: ProjektForskning

ENTRA: Whole-Systems Energy Transparency

Gallagher, J. P., Rosendahl, M., Rhiger, M., Strand, D. L. & Bohr, N.

01/10/201230/09/2015

Projekter: ProjektForskning

Aktiviteter 2004 2018

Fourteenth International Symposium on Functional and Logic Programming (Begivenhed)

John Patrick Gallagher (Redaktør)
2018

Aktivitet: Redaktionelt arbejde og fagfællebedømmelseRedaktør af tidsskriftForskning

LOPSTR 2017 - International Symposium on Logic-Based Program Synthesis and Transformation (Begivenhed)

John Patrick Gallagher (Redaktør)
2017

Aktivitet: Redaktionelt arbejde og fagfællebedømmelseRedaktør af tidsskriftForskning

Theory and Practice of Logic Programming (Tidsskrift)

John Patrick Gallagher (Redaktør)
1 jan. 201231 dec. 2016

Aktivitet: Redaktionelt arbejde og fagfællebedømmelseRedaktør af tidsskriftForskning

Theory and Practice of Logic Programming (Tidsskrift)

John Patrick Gallagher (Redaktør)
15 jan. 201110 jul. 2011

Aktivitet: Redaktionelt arbejde og fagfællebedømmelseRedaktør af tidsskriftForskning

11th Scandinavian Conference on Artificial Intelligence (Ekstern organisation)

John Patrick Gallagher (Medlem)
2011 → …

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

Presse/medie

RUC-forsker vil forlænge batteritid på mobilen

John Patrick Gallagher

04/11/2013

1 element af Mediedækning

Presse/medie