Foto af John Patrick Gallagher
  • Universitetsvej 1, 08.2

    DK-4000 Roskilde

    Danmark

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

Personlig profil

Keywords

  • 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

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

Logic-Based Program Synthesis and Transformation: 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers

Fioravanti, F. (red.) & Gallagher, J. P. (red.), 2018, Springer. 341 s. (Lecture Notes in Computer Science, Bind 10855). (Theoretical Computer Science and General Issues, Bind 10855).

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)
20112017

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

Program Analysis With Regular Tree Languages

John Patrick Gallagher (Foredragsholder)
19 jul. 2011

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

Fil

Presse/medie

RUC-forsker vil forlænge batteritid på mobilen

John Patrick Gallagher

04/11/2013

1 element af mediedækning

Presse/medie