Research Output per year
Personal profile
Keywords
- Computer science, IT
- Logic programming
- Program generations
- Program analysis
- Program specialisation
- Interactive installations
Network
Recent external collaboration on country level. Dive into details by clicking on the dots.
Research Output 2002 2018
Functional and Logic Programming - 14th International Symposium (FLOPS 2018): Nagoya, Japan, May 9-11, 2018
Gallagher, J. P. (ed.) & Sulzmann, M. (ed.) Apr 2018 Springer. (Lecture Notes in Computer Science, Vol. 10818).Research output: Book/Report › Anthology › Research › peer-review
Optimised determinisation and completion of finite tree automata
Gallagher, J. P., Ajspur, M. & Kafle, B. Jan 2018 In : Journal of Logic and Algebraic Programming. 95, p. 1-16Research output: Contribution to journal › Journal article › Research › peer-review
Proceedings, Third Workshop on Models for Formal Analysis of Real Systems and Sixth International Workshop on Verification and Program Transformation
Gallagher, J. P. (ed.), van Glabbeek, R. (ed.) & Serwe, W. (ed.) Apr 2018 EPTCS. (Electronic Proceedings in Theoretical Computer Science, Vol. 268).Research output: Book/Report › Anthology › Research › peer-review
Open Access
Tree dimension in verification of constrained Horn clauses
Kafle, B., Gallagher, J. P. & Ganty, P. 2018 In : Theory and Practice of Logic Programming. 18, 2, p. 224-251Research output: Contribution to journal › Journal article › Research › peer-review
Constraint specialisation in Horn clause verification
Kafle, B. & Gallagher, J. P. 1 Apr 2017 In : Science of Computer Programming. 137, p. 125-140Research output: Contribution to journal › Journal article › Research › peer-review
Projects 2007 2017
- 10 Finished
Kulturportalen, Experience Lab RUC projekt
Jensen, S. S., Laursen, B., Gallagher, J. P., Andreasen, T. & Christiansen, H.
15/08/2014 → 01/02/2017
Project: Research
ENTRA: Whole-Systems Energy Transparency
Gallagher, J. P., Rosendahl, M., Rhiger, M., Strand, D. L. & Bohr, N.
01/10/2012 → 30/09/2015
Project: Research
The design of interactive experiences: advanced IT in inter-disciplinary teaching and research
Gallagher, J. P., Jørgensen, N. & Jacquemin, C.
01/04/2011 → 31/03/2012
Project: Research
NUSA: Numeric and Symbolic Abstractions for Software Model Checking
Gallagher, J. P., Rosendahl, M. & Rhiger, M.
01/01/2011 → 31/12/2013
Project: Research
Activities 2004 2018
Fourteenth International Symposium on Functional and Logic Programming (Event)
Gallagher, J. P. (Editor)2018
Activity: Editor of Research journal › Research
The 27th International Symposium on Logic-based Program Synthesis and Transformation (Event)
Gallagher, J. P. (Editor)2017
Activity: Editor of Research journal › Research
Theory and Practice of Logic Programming (Journal)
Gallagher, J. P. (Editor)1 Jan 2012 → 31 Dec 2016
Activity: Editor of Research journal › Research
Theory and Practice of Logic Programming (Journal)
Gallagher, J. P. (Editor)15 Jan 2011 → 10 Jul 2011
Activity: Editor of Research journal › Research
Theory and Practice of Logic Programming (Journal)
Gallagher, J. P. (Editor)2011 → 2017
Activity: Editor of Research journal › Research
Press / Media
RUC-forsker vil forlænge batteritid på mobilen
04/11/2013
1 item of media coverage
Press/Media: Press / Media