Foto af John Patrick Gallagher
  • Universitetsvej 1, 08.2

    DK-4000 Roskilde

    Danmark

20022018
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.

Publikation 2002 2018

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 tidsskriftTidsskriftartikelForskningpeer review

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

Gallagher, J. P. (red.) & Sulzmann, M. (red.), apr. 2018, Springer. (Lecture Notes in Computer Science, Bind 10818).

Publikation: Bog/antologi/afhandling/rapportAntologiForskningpeer review

Logic-Based Program Synthesis and Transformation - 27th International Symposium, LOPSTR 2017

Gallagher, J. P. (red.) & Fioravanti, F. (red.), 2018, Springer. (Lecture Notes in Computer Science, Bind 10855).

Publikation: Bog/antologi/afhandling/rapportAntologiForskningpeer review

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 tidsskriftTidsskriftartikelForskningpeer review

Proceedings, Third Workshop on Models for Formal Analysis of Real Systems and Sixth International Workshop on Verification and Program Transformation

Gallagher, J. P. (red.), van Glabbeek, R. (red.) & Serwe, W. (red.), apr. 2018, EPTCS. (Electronic Proceedings in Theoretical Computer Science, Bind 268).

Publikation: Bog/antologi/afhandling/rapportAntologiForskningpeer review

Åben adgang

Projekter 2007 2017

Aktiviteter 2004 2018

Fourteenth International Symposium on Functional and Logic Programming (Begivenhed)

Gallagher, J. P. (Redaktør)
2018

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

The 27th International Symposium on Logic-based Program Synthesis and Transformation (Begivenhed)

Gallagher, J. P. (Redaktør)
2017

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

Theory and Practice of Logic Programming (Tidsskrift)

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

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

11th Scandinavian Conference on Artificial Intelligence (Ekstern organisation)

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

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

Theory and Practice of Logic Programming (Tidsskrift)

Gallagher, J. P. (Redaktør)
20112017

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

Presse/medie

RUC-forsker vil forlænge batteritid på mobilen

John Patrick Gallagher

04/11/2013

1 element af mediedækning

Presse/medie