John P Gallagher - Google Scholar Citations

Cited by

	All	Since 2015
Citations	2457	431
h-index	25	11
i10-index	54	12

160

120

19881989199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202014 17 6 30 46 58 96 65 109 121 156 97 76 61 102 40 100 94 65 140 99 75 68 64 58 69 55 55 88 102 86 84 10

Co-authors

Maurice BruynoogheProfessor Em. of Computer Science, KULeuvenVerified email at cs.kuleuven.be
Bishoksan KafleResearch Fellow, The University of Melbourne, AustraliaVerified email at unimelb.edu.au
Michael CodishDepartment of Computer Science, Ben-Gurion University of the NegevVerified email at cs.bgu.ac.il
Germán PueblaAssociate ProfessorVerified email at fi.upm.es
Manuel HermenegildoIMDEA Software Institute and Technical U. of Madrid (UPM)Verified email at upm.es
Kim Steen HenriksenRUCVerified email at familien-henriksen.dk
Samir GenaimUniversidad Complutense de MadridVerified email at fdi.ucm.es
Pedro Lopez-GarciaSpanish Research Council (CSIC) and The IMDEA Software InstituteVerified email at imdea.org
Elvira AlbertComplutense University of SpainVerified email at sip.ucm.es
Ehud ShapiroProfessor, Department of Computer Science and Applied Math, Weizmann Institute of ScienceVerified email at weizmann.ac.il
Umer LiqatIMDEA Software Institute and Universidad Politecnica de MadridVerified email at imdea.org
Steve KerrisonMicroSec Pte LtdVerified email at stevekerrison.com
Jose F. MoralesResearcher at IMDEA Software InstituteVerified email at imdea.org
Kyriakos GeorgiouUniversity of BristolVerified email at bristol.ac.uk
Mads RosendahlRoskilde UniversityVerified email at ruc.dk
Maximiliano KlemenIMDEA Software InstituteVerified email at imdea.org
Pierre GantyAssociate Research Professor, IMDEA Software InstituteVerified email at imdea.org
Vitaly LagoonCadence Design SystemsVerified email at cadence.com
Miguel Gómez-ZamalloaAssistant Professor of Computer Science, Complutense University of MadridVerified email at clip.dia.fi.upm.es
Ahmed GuessoumProfessor of Computer science, University of Science and Technology Houari Boumediene, AlgiersVerified email at usthb.dz

John P Gallagher

Roskilde University

Verified email at ruc.dk - Homepage

computer science


Title	Cited by	Year
Tutorial on specialisation of logic programs JP Gallagher Proceedings of the 1993 ACM SIGPLAN symposium on Partial evaluation and …, 1993	265*	1993
Fast and Precise Regular Approximations of Logic Programs. JP Gallagher, DA de Waal ICLP 94, 599-613, 1994	165	1994
The derivation of an algorithm for program specialisation J Gallagher, M Bruynooghe New Generation Computing 9 (3-4), 305, 1991	116	1991
Meta-programming in logic programming PM Hill, J Gallagher Artificial Intelligence and Logic Programming. Oxford University Press, 1994	115*	1994
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	104	1995
Transforming logic programs by specialising interpreters JP Gallagher Proceedings of the 7th European Conference on Artificial Intelligence-Volume …, 1986	104	1986
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	99	1990
A system for specialising logic programs J Gallagher Technical Report TR-91-32, University of Bristol, 1991	79	1991
Specialisation of Prolog and FCP programs using abstract interpretation J Gallagher, M Codish, E Shapiro New Generation Computing 6 (2-3), 159-186, 1988	79	1988
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	78	2007
Analysis of imperative programs through analysis of constraint logic programs JC Peralta, JP Gallagher, H Sağlam International Static Analysis Symposium, 246-261, 1998	73	1998
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, 2002	64	2002
Regular approximation of computation paths in logic and functional languages J Gallagher, L Lafave Partial Evaluation, 115-136, 1996	49	1996
Practical Model-Based Static Analysis for Definite Logic Programs. JP Gallagher, D Boulanger, H Saglam ILPS 95, 351-365, 1995	44	1995
Constraint-based partial evaluation of rewriting-based functional logic programs L Lafave, JP Gallagher International Workshop on Logic Programming Synthesis and Transformation …, 1997	43	1997
The applicability of logic program analysis and transformation to theorem proving DA de Waal, JP Gallagher International Conference on Automated Deduction, 207-221, 1994	37	1994
Convex hull abstractions in specialization of CLP programs JC Peralta, JP Gallagher International Workshop on Logic-Based Program Synthesis and Transformation …, 2002	35	2002
Abstract interpretation of pic programs through logic programming KS Henriksen, JP Gallagher 2006 Sixth IEEE International Workshop on Source Code Analysis and …, 2006	34	2006
Combining norms to prove termination S Genaim, M Codish, J Gallagher, V Lagoon International Workshop on Verification, Model Checking, and Abstract …, 2002	34	2002
Deletion of redundant unary type predicates from logic programs J Gallagher, DA de Waal Logic Program Synthesis and Transformation, 151-167, 1993	33	1993

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

Upload PDF

Follow this author

Cited by

Co-authors