Manuel Hermenegildo

Cited by

	All	Since 2018
Citations	10652	1764
h-index	58	23
i10-index	196	55

740

370

185

555

19881989199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202339 58 74 133 214 178 410 306 475 347 227 325 421 269 213 225 277 286 313 442 724 334 309 258 449 239 200 215 259 235 437 193 215 354 281 283

Public access

View all

61 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Germán PueblaAssociate ProfessorVerified email at fi.upm.es
Manuel CarroIMDEA Software Institute and Universidad Politécnica de MadridVerified email at imdea.org
Pedro Lopez-GarciaSpanish Research Council (CSIC) and The IMDEA Software InstituteVerified email at imdea.org
Jose F. MoralesResearcher at IMDEA Software InstituteVerified email at imdea.org
Maria Garcia de la BandaProfessor, Faculty of Information Technology, Monash UniversityVerified email at monash.edu
Edison MeraProcess Design Center BVVerified email at process-design-center.com
Saumya DebrayProfessor of Computer Science, University of ArizonaVerified email at cs.arizona.edu
Gopal GuptaProfessor of Computer Science, The University of Texas at DallasVerified email at utdallas.edu
Elvira AlbertComplutense University of SpainVerified email at sip.ucm.es
Kim MarriottProfessor, Monash UniversityVerified email at monash.edu
Mario Méndez-LojoNVIDIAVerified email at nvidia.com
Umer LiqatVerified email at alumnos.upm.es
Peter StuckeyFaculty of Information Technology, Monash UniversityVerified email at monash.edu
Enrico PontelliNew Mexico State UniversityVerified email at cs.nmsu.edu
John P GallagherRoskilde UniversityVerified email at ruc.dk
Jorge A NavasCertoraVerified email at certora.com
Maurice BruynoogheProfessor Em. of Computer Science, KULeuvenVerified email at cs.kuleuven.be
Francesca RossiIBM ResearchVerified email at ibm.com
Deepak KapurUniversity of New MexicoVerified email at cs.unm.edu
JESUS CORREAS FERNANDEZProfesor contratado doctor, Universidad Complutense de MadridVerified email at ucm.es

Manuel Hermenegildo

IMDEA Software Institute and Technical U. of Madrid (UPM)

Verified email at upm.es - Homepage

Abstract Interpretation Program Analysis Verification Logic Programming Computational Logic


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Compile-time derivation of variable dependency using abstract interpretation K Muthukumar, M Hermenegildo The Journal of Logic Programming 13 (2-3), 315-347, 1992	323	1992
Parallel execution of prolog programs: a survey G Gupta, E Pontelli, KAM Ali, M Carlsson, MV Hermenegildo ACM Transactions on Programming Languages and Systems (TOPLAS) 23 (4), 472-602, 2001	305	2001
Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor) MV Hermenegildo, G Puebla, F Bueno, P López-García Science of Computer Programming 58 (1-2), 115-140, 2005	236	2005
Combined determination of sharing and freeness of program variables through abstract interpretation K Muthukumar, MV Hermenegildo MIT Press, 1991	221	1991
Task granularity analysis in logic programs SK Debray, NW Lin, M Hermnegildo ACM SIGPLAN Notices 25 (6), 174-188, 1990	220	1990
An overview of Ciao and its design philosophy MV Hermenegildo, F Bueno, M Carro, P López-García, E Mera, ... Theory and Practice of Logic Programming 12 (1-2), 219-252, 2012	207	2012
An abstract machine for restricted AND-parallel execution of logic programs MV Hermenegildo Third International Conference on Logic Programming: Imperial College of …, 1986	200	1986
An abstract machine based execution model for computer architecture design and efficient implementation of logic programs in parallel MV Hermenegildo The University of Texas at Austin, 1986	195	1986
&-Prolog and its performance: Exploiting independent And-Parallelism MV Hermenegildo, KJ Greene MIT Press, 1990	186	1990
On the practicality of global flow analysis of logic programs R Warren, MV Hermenegildo MIT Press, 1988	175	1988
Strict and nonstrict independent and-parallelism in logic programs: Correctness, efficiency, and compile-time conditions MV Hermenegildo, F Rossi The Journal of Logic Programming 22 (1), 1-45, 1995	174	1995
Global flow analysis as a practical compilation tool MV Hermenegildo, R Warren, SK Debray The Journal of Logic Programming 13 (4), 349-366, 1992	169	1992
Determination of variable dependence information through abstract interpretation K Muthukumar, MV Hermenegildo MIT Press, 1989	165	1989
The &-Prolog system: Exploiting independent and-parallelism MV Hermenegildo, KJ Greene New Generation Computing 9 (3-4), 233-256, 1991	160	1991
An assertion language for constraint logic programs G Puebla, F Bueno, M Hermenegildo Analysis and Visualization Tools for Constraint Programming: Constraint …, 2000	158	2000
Improving abstract interpretations by combining domains M Codish, A Mulkers, M Bruynooghe, MG De La Banda, M Hermenegildo ACM Transactions on Programming Languages and Systems (TOPLAS) 17 (1), 28-44, 1995	156	1995
Lower Bound Cost Estimation for Logic Programs. SK Debray, P López-García, MV Hermenegildo, NW Lin ILPS 97, 291-305, 1997	139	1997
On the Role of Semantic Approximations on Validation and Diagnosis of Contraint Logic Programs. F Bueno, P Deransart, W Drabent, G Ferrand, MV Hermenegildo, ... AADEBUG 97, 155-170, 1997	137	1997
User-definable resource bounds analysis for logic programs J Navas, E Mera, P López-García, MV Hermenegildo Logic Programming: 23rd International Conference, ICLP 2007, Porto, Portugal …, 2007	123	2007
The Ciao prolog system F Bueno, D Cabeza, M Carro, M Hermenegildo, P López-Garcıa, ... Reference Manual. The Ciao System Documentation Series–TR CLIP3/97.1, School …, 1997	120	1997

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