Pedro Lopez-Garcia
Scholar

Pedro Lopez-Garcia

Google Scholar ID: 9VYuHMIAAAAJ
Spanish Research Council (CSIC) and The IMDEA Software Institute
Energy-aware software engineeringstatic analysis and verification of non-functional program propertiesabstract interpretatio
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
2,598
 
H-index
27
 
i10-index
52
 
Publications
20
 
Co-authors
27
list available
Contact
No contact links provided.
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
Resume (English only)
Co-authors
27 total
Manuel Hermenegildo
Manuel Hermenegildo
IMDEA Software Institute and Technical U. of Madrid (UPM)
Co-author 2
Co-author 2
Co-author 3
Co-author 3
Jose F. Morales
Jose F. Morales
Assistant Professor at UPM / IMDEA Software Institute
Co-author 5
Co-author 5
Co-author 6
Co-author 6
Co-author 7
Co-author 7
Co-author 8
Co-author 8