Scholar
Manuel Hermenegildo
Google Scholar ID: VXQGJD0AAAAJ
IMDEA Software Institute and Technical U. of Madrid (UPM)
Abstract Interpretation
Program Analysis
Verification
Logic Programming
Computational Logic
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
11,162
H-index
60
i10-index
209
Publications
20
Co-authors
78
list available
Publications
2 items
Big-step and small-step Horn clause derivations applied to operational semantics
2026
Cited
0
Exploiting Multiple Abstract Call Patterns for Optimizing Run-Time Checks
2026
Cited
0
Co-authors
7 total
Pedro Lopez-Garcia
Spanish Research Council (CSIC) and The IMDEA Software Institute
Jose F. Morales
Assistant Professor at UPM / IMDEA Software Institute
Maria Garcia de la Banda
Faculty of Information Technology, Monash University
Gopal Gupta
Professor of Computer Science, The University of Texas at Dallas
Kim Marriott
Professor, Monash University
Peter Stuckey
Faculty of Information Technology, Monash University
Deepak Kapur
University of New Mexico
