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

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

Publikation 2002 2018

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/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/rapportAntologiForskningpeer review

Åben adgang

Tree dimension in verification of constrained Horn clauses

Kafle, B., Gallagher, J. P. & Ganty, P. 2018 I : Theory and Practice of Logic Programming. 18, 2, s. 224-251

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

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

Projekter 2007 2017

Aktiviteter 2004 2018

Theory and Practice of Logic Programming (Tidsskrift)

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

Aktivitet: Redaktør af tidsskriftForskning

Theory and Practice of Logic Programming (Tidsskrift)

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

Aktivitet: Redaktør af tidsskriftForskning

11th Scandinavian Conference on Artificial Intelligence (Ekstern organisation)

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

Aktivitet: Medlemskab 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