Scholar
Pedro Lopez-Garcia
Google Scholar ID: 9VYuHMIAAAAJ
Spanish Research Council (CSIC) and The IMDEA Software Institute
Energy-aware software engineering
static analysis and verification of non-functional program properties
abstract interpretatio
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
2,598
H-index
27
i10-index
52
Publications
20
Co-authors
27
list available
Publications
3 items
Towards an Automated Reasoning Tool for Complexity Analysis of Automated Reasoners
2026
Cited
0
Big-step and small-step Horn clause derivations applied to operational semantics
2026
Cited
0
Abstractions of Sequences, Functions and Operators
2025
Cited
0
Co-authors
5 total
Manuel Hermenegildo
IMDEA Software Institute and Technical U. of Madrid (UPM)
Jose F. Morales
Assistant Professor at UPM / IMDEA Software Institute
Maria Garcia de la Banda
Faculty of Information Technology, Monash University
Neville Grech
Dedaub
Maja H. Kirkeby
Associate Prof., Roskilde University
