Manuel Hermenegildo

Cited by

	All	Since 2019
Citations	10820	1517
h-index	58	19
i10-index	200	47

740

370

185

555

198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202434 57 71 141 212 180 425 300 471 353 177 347 424 275 217 228 281 272 309 440 729 340 311 262 441 235 200 210 257 225 438 191 217 336 310 293 167

Public access

View all

62 articles

2 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. 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
Peter StuckeyFaculty of Information Technology, Monash UniversityVerified email at monash.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
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
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	329	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	297	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	239	2005
Task granularity analysis in logic programs SK Debray, NW Lin, M Hermnegildo ACM SIGPLAN Notices 25 (6), 174-188, 1990	223	1990
Combined determination of sharing and freeness of program variables through abstract interpretation K Muthukumar, MV Hermenegildo MIT Press, 1991	222	1991
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	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	175	1988
Determination of variable dependence information through abstract interpretation K Muthukumar, MV Hermenegildo MIT Press, 1989	170	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	164	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	160	1995
An assertion language for constraint logic programs G Puebla, F Bueno, M Hermenegildo Analysis and Visualization Tools for Constraint Programming: Constraint …, 2000	159	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	140	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	120	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