1. 2012
  2. Udgivet

    Analysis of Logic Programs Using Regular Tree Languages : Extended Abstract. / Gallagher, John Patrick.

    I: Lecture Notes in Computer Science, Vol. 7225, 2012, s. 1-3.

    Publikation: Forskning - peer reviewKonferenceartikel

  3. 2011
  4. Udgivet

    Editorial from the issue entitled "Special Issue: PEPM 2010". / Gallagher, John Patrick; Voigtländer, Janis.

    I: Higher-Order and Symbolic Computation, Vol. 23, Nr. 3, 12.2011, s. 273-274.

    Publikation: ForskningLeder

  5. Udgivet

    The Experience Cylinder, an immersive interactive platform : The Sea Stallion's voyage: a case study. / Andreasen, Troels; Gallagher, John Patrick; Møbius, Nikolaj; Padfield, Nicolas.

    AMBIENT 2011, The First International Conference on Ambient Computing, Applications, Services and Technologies. red. / Rémi Emonet; Adina Magda Florea. ThinkMind, 2011.

    Publikation: Forskning - peer reviewKonferencebidrag i proceedings

  6. Udgivet

    Introduction to the 27th International Conference on Logic Programming Special Issue : Editorial. / Gallagher, John Patrick; Gelfond, Michael.

    I: Theory and Practice of Logic Programming, Vol. 11, Nr. 4-5, 07.2011, s. 429-432.

    Publikation: ForskningLeder

  7. Udgivet

    Technical Communications of the 27th International Conference on Logic Programming, ICLP 2011 : Editorial. / Gallagher, John Patrick; Gelfond, Michael.

    ICLP (Technical Communications). Vol. 11 Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2011. (Leibniz International Proceedings in Informatics).

    Publikation: ForskningForord/efterskrift

  8. Udgivet
  9. 2010
  10. Udgivet

    Constraint-Based Abstract Semantics for Temporal Logic : A Direct Approach to Design and Implementation. / Banda, Gourinath; Gallagher, John Patrick.

    Logic for Programming, Artificial Intelligence, and Reasoning: 16th International Conference, LPAR-16, Dakar, Senegal,. red. / Edmund M. Clarke; Andrei Voronkov. Springer, 2010. s. 27-45 (Lecture Notes in Computer Science, Vol. 6355).

    Publikation: Forskning - peer reviewKonferencebidrag i proceedings

  11. Udgivet

    Proceedings of the 2010 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation : PEPM 2010, Madrid, Spain, January 18-19, 2010. / Gallagher, John Patrick (Redaktør); Voigtländer, Janis (Redaktør).

    Association for Computing Machinery, 2010. 158 s.

    Publikation: ForskningAntologi

  12. 2009
  13. Udgivet

    Analysis of Linear Hybrid Systems in CLP. / Banda, Gourinath; Gallagher, John Patrick.

    I: Lecture Notes in Computer Science, 2009, s. 55-70.

    Publikation: Forskning - peer reviewKonferenceartikel

  14. Udgivet

    Constraint-Based Abstraction of a Model Checker for Infinite State Systems. / Banda, Gourinath; Gallagher, John Patrick.

    2009. Paper presented at 23rd Workshop on Constraint Logic Programming (WLP 2009), Potsdam, Tyskland.

    Publikation: Forskning - peer reviewPaper