John P Gallagher

Cited by

	All	Since 2018
Citations	2989	579
h-index	29	14
i10-index	68	24

180

135

19881989199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202315 20 9 30 50 60 105 54 109 128 172 105 79 72 90 59 106 109 65 149 110 74 88 58 56 67 63 75 102 79 94 88 86 139 85 85

Public access

View all

15 articles

1 article

available

not available

Based on funding mandates

Co-authors

Bishoksan KafleResearch Fellow, The University of Melbourne, AustraliaVerified email at unimelb.edu.au
Maurice BruynoogheProfessor Em. of Computer Science, KULeuvenVerified email at cs.kuleuven.be
Manuel HermenegildoIMDEA Software Institute and Technical U. of Madrid (UPM)Verified email at upm.es
Pedro Lopez-GarciaSpanish Research Council (CSIC) and The IMDEA Software InstituteVerified email at imdea.org
Germán PueblaAssociate ProfessorVerified email at fi.upm.es
Kim Steen HenriksenRUCVerified email at familien-henriksen.dk
Michael CodishDepartment of Computer Science, Ben-Gurion University of the NegevVerified email at cs.bgu.ac.il
Samir GenaimUniversidad Complutense de MadridVerified email at fdi.ucm.es
Jose F. MoralesResearcher at IMDEA Software InstituteVerified email at imdea.org
Elvira AlbertComplutense University of SpainVerified email at sip.ucm.es
Umer LiqatVerified email at alumnos.upm.es
Steve KerrisonJames Cook UniversityVerified email at stevekerrison.com
Kyriakos GeorgiouAdaCoreVerified email at bristol.ac.uk
Ehud ShapiroProfessor, Department of Computer Science and Applied Math, Weizmann Institute of ScienceVerified email at weizmann.ac.il
Maximiliano KlemenIMDEA Software InstituteVerified email at imdea.org
Mads RosendahlRoskilde UniversityVerified email at ruc.dk
Pierre GantyAssociate Research Professor, IMDEA Software InstituteVerified email at imdea.org
Tom SchrijversProfessor of Computer Science, KU LeuvenVerified email at cs.kuleuven.be
Vitaly LagoonCadence Design SystemsVerified email at cadence.com
Miguel Gómez-ZamalloaAssociate Professor of Computer Science, Complutense University of MadridVerified email at fdi.ucm.es

John P Gallagher

Roskilde University

Verified email at ruc.dk - Homepage

computer science


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Tutorial on specialisation of logic programs JP Gallagher Proceedings of the 1993 ACM SIGPLAN symposium on Partial evaluation and …, 1993	280*	1993
Fast and Precise Regular Approximations of Logic Programs. JP Gallagher, DA de Waal ICLP 94, 599-613, 1994	189	1994
Meta-programming in logic programming PM Hill, J Gallagher Artificial Intelligence and Logic Programming. Oxford University Press, 1994	131*	1994
The derivation of an algorithm for program specialisation J Gallagher, M Bruynooghe New Generation Computing 9, 305-333, 1991	126	1991
Transforming logic programs by specialising interpreters JP Gallagher Proceedings of the 7th European Conference on Artificial Intelligence-Volume …, 1986	121	1986
Ensuring global termination of partial deduction while allowing flexible polyvariance B Martens, JP Gallagher ICLP'95, the Twelfth International Conference on Logic Programming, 597-613, 1995	113	1995
Some low-level source transformations of logic programs JP Gallagher, M Bruynooghe Proceedings of the Second Workshop on Meta-programming in Logic, 229-244, 1990	101	1990
Analysis of imperative programs through analysis of constraint logic programs JC Peralta, JP Gallagher, H Sağlam Static Analysis: 5th International Symposium, SAS’98 Pisa, Italy, September …, 1998	93	1998
Specialisation of Prolog and FCP programs using abstract interpretation J Gallagher, M Codish, E Shapiro New Generation Computing 6, 159-186, 1988	93	1988
A system for specialising logic programs J Gallagher Technical Report TR-91-32, University of Bristol, 1991	81	1991
Termination analysis of logic programs through combination of type-based norms M Bruynooghe, M Codish, JP Gallagher, S Genaim, W Vanhoof ACM Transactions on Programming Languages and Systems (TOPLAS) 29 (2), 10-es, 2007	77	2007
Abstract interpretation over non-deterministic finite tree automata for set-based analysis of logic programs JP Gallagher, G Puebla International Symposium on Practical Aspects of Declarative Languages, 243-261, 2001	74	2001
Regular approximation of computation paths in logic and functional languages J Gallagher, L Lafave Partial Evaluation: International Seminar Dagstuhl Castle, Germany, February …, 1996	53	1996
Abstract interpretation of pic programs through logic programming KS Henriksen, JP Gallagher 2006 Sixth IEEE International Workshop on Source Code Analysis and …, 2006	52	2006
Practical Model-Based Static Analysis for Definite Logic Programs. JP Gallagher, D Boulanger, H Saglam ILPS 95, 351-365, 1995	47	1995
Rahft: A Tool for Verifying Horn Clauses Using Abstract Interpretation and Finite Tree Automata B Kafle, JP Gallagher, JF Morales International Conference on Computer Aided Verification, 261-268, 2016	44	2016
Inferring parametric energy consumption functions at different software levels: ISA vs. LLVM IR U Liqat, K Georgiou, S Kerrison, P Lopez-Garcia, JP Gallagher, ... International Workshop on Foundational and Practical Aspects of Resource …, 2015	43	2015
Constraint-based partial evaluation of rewriting-based functional logic programs L Lafave, JP Gallagher International Workshop on Logic Programming Synthesis and Transformation …, 1997	42	1997
The applicability of logic program analysis and transformation to theorem proving DA de Waal, JP Gallagher Automated Deduction—CADE-12: 12th International Conference on Automated …, 1994	42	1994
Energy challenges for ICT G Fagas, JP Gallagher, L Gammaitoni, DJ Paul ICT—Energy Concepts for Energy Efficiency and Sustainability, 1-36, 2017	39	2017

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors