John Patrick Gallagher
Professor
- 2011
- 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: Forskning › Leder
- Udgivet
Technical Communications of the 27th International Conference on Logic Programming, ICLP 2011 : Editorial. / Gallagher, John Patrick ; Gelfond, Michael.
I: ICLP (Technical Communications). Vol. 11 Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2011. (LIPICS).Publikation: Forskning › Forord/efterskrift
- 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.
I: 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 review › Konferencebidrag i proceedings
- 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: Forskning › Leder
- Udgivet
Extended Set Constraints and Tree Grammar Abstraction of Programs. / Rosendahl, Mads ; Gallagher, John Patrick.
2011.Publikation: Forskning › Paper
- 2010
- Udgivet
Constraint-Based Abstract Semantics for Temporal Logic : A Direct Approach to Design and Implementation. / Banda, Gourinath ; Gallagher, John Patrick.
I: 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; 6355).Publikation: Forskning - peer review › Konferencebidrag i proceedings
- 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: Forskning › Antologi
- 2009
- 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 review › Konferenceartikel
- 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 review › Paper
- Udgivet
From Monomorphic to Polymorphic Well-Typings and Beyond. / Schrijvers, Tom ; Bruynooghe, Maurice ; Gallagher, John Patrick.
I: Lecture Notes in Computer Science, 2009, s. 152-167.Publikation: Forskning - peer review › Konferenceartikel