Manuel Hermenegildo

Cited by

	All	Since 2020
Citations	10946	1440
h-index	59	19
i10-index	205	53

740

370

185

555

1988198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202534 57 71 141 212 180 425 300 471 353 177 347 424 275 217 228 281 281 300 444 729 342 310 263 441 235 199 210 256 225 437 192 215 346 309 293 237 35

Public access

View all

64 articles

1 article

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. MoralesAssistant Professor at UPM / IMDEA Software InstituteVerified email at imdea.org
Maria Garcia de la BandaFaculty 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
Enrico PontelliNew Mexico State UniversityVerified email at cs.nmsu.edu
Umer Liaqat AliVerified email at alumnos.upm.es
John P GallagherRoskilde UniversityVerified email at ruc.dk
Peter StuckeyFaculty of Information Technology, Monash UniversityVerified email at monash.edu
Jorge A NavasCertoraVerified email at certora.com
Maurice BruynoogheProfessor Em. of Computer Science, KULeuvenVerified email at cs.kuleuven.be
Vítor Santos CostaProfessor of Computer Science, Universidade do PortoVerified email at dcc.fc.up.pt
Francesca RossiIBM ResearchVerified email at ibm.com
Nataliia StulovaSenior Research Scientist, MacPawVerified email at macpaw.com
Deepak KapurUniversity of New MexicoVerified email at cs.unm.edu

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	331	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	298	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	244	2005
Combined determination of sharing and freeness of program variables through abstract interpretation K Muthukumar, MV Hermenegildo MIT Press, 1991	224	1991
Task granularity analysis in logic programs SK Debray, NW Lin, M Hermnegildo ACM SIGPLAN Notices 25 (6), 174-188, 1990	224	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	215	2012
An abstract machine for restricted AND-parallel execution of logic programs MV Hermenegildo Third International Conference on Logic Programming: Imperial College of …, 1986	198	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	192	1986
&-Prolog and its performance: Exploiting independent And-Parallelism MV Hermenegildo, KJ Greene MIT Press, 1990	185	1990
On the practicality of global flow analysis of logic programs R Warren, MV Hermenegildo MIT Press, 1988	176	1988
Determination of variable dependence information through abstract interpretation K Muthukumar, MV Hermenegildo MIT Press, 1989	173	1989
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
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	165	1995
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	161	1995
An assertion language for constraint logic programs G Puebla, F Bueno, M Hermenegildo Analysis and Visualization Tools for Constraint Programming: Constraint …, 2000	160	2000
The &-Prolog system: Exploiting independent and-parallelism MV Hermenegildo, KJ Greene New Generation Computing 9 (3-4), 233-256, 1991	158	1991
Lower Bound Cost Estimation for Logic Programs. SK Debray, P López-García, MV Hermenegildo, NW Lin ILPS 97, 291-305, 1997	142	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	138	1997
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	124	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 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