Manuel Hermenegildo

Cited by

	All	Since 2018
Citations	10487	1657
h-index	59	22
i10-index	194	51

740

370

185

555

19881989199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202340 50 64 131 215 175 390 319 463 360 227 302 419 259 214 251 273 283 324 429 732 336 306 253 448 242 200 216 271 218 423 153 245 380 306 150

Public access

View all

60 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 LiqatIMDEA Software Institute and Universidad Politecnica de MadridVerified email at imdea.org
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
Francesca RossiIBM ResearchVerified email at ibm.com
Maurice BruynoogheProfessor Em. of Computer Science, KULeuvenVerified email at cs.kuleuven.be
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	324	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	303	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	231	2005
Combined determination of sharing and freeness of program variables through abstract interpretation K Muthukumar, MV Hermenegildo Mit Press, 1991	222	1991
Task granularity analysis in logic programs SK Debray, NW Lin, M Hermnegildo ACM SIGPLAN Notices 25 (6), 174-188, 1990	218	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	200	2012
An abstract machine for restricted AND-parallel execution of logic programs MV Hermenegildo Springer Berlin Heidelberg, 1986	195	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	185	1986
&-Prolog and its performance: Exploiting independent And-Parallelism MV Hermenegildo, KJ Greene MIT Press, 1990	184	1990
On the practicality of global flow analysis of logic programs R Warren, MV Hermenegildo MIT Press, 1988	171	1988
Global flow analysis as a practical compilation tool MV Hermenegildo, R Warren, SK Debray The Journal of Logic Programming 13 (4), 349-366, 1992	164	1992
Determination of variable dependence information through abstract interpretation K Muthukumar, MV Hermenegildo MIT Press, 1989	161	1989
The &-Prolog system: Exploiting independent and-parallelism MV Hermenegildo, KJ Greene New Generation Computing 9 (3-4), 233-256, 1991	159	1991
An assertion language for constraint logic programs G Puebla, F Bueno, M Hermenegildo Analysis and Visualization Tools for Constraint Programming: Constraint …, 2000	156	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	152	1995
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	138	1997
Lower Bound Cost Estimation for Logic Programs. SK Debray, P López-García, MV Hermenegildo, NW Lin ILPS 97, 291-305, 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	122	2007
The CIAO multi-dialect compiler and system: An experimentation workbench for future (C) LP systems MV Hermenegildo, F Bueno Carrillo, D Cabeza Gras, M Carro Liñares, ... Informatica, 1996	122	1996
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