Pedro Lopez-Garcia
Identifiers
- name variant Pedro Lopez-Garcia 0.60 · backfill
Papers (9)
- An Approach to Static Performance Guarantees for Programs with Run-time Checks cs.PL · 2018 · author #3
- Interval-based Resource Usage Verification by Translation into Horn Clauses and an Application to Energy Consumption cs.PL · 2018 · author #1
- A General Framework for Static Profiling of Parametric Resource Usage cs.PL · 2016 · author #1
- Pre-proceedings of the 26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016) cs.PL · 2016 · author #2
- An Improved Discrete Bat Algorithm for Symmetric and Asymmetric Traveling Salesman Problems cs.NE · 2016 · author #4
- Inferring Energy Bounds via Static Program Analysis and Evolutionary Modeling of Basic Blocks cs.DC · 2016 · author #3
- Towards Energy Consumption Verification via Static Analysis cs.PL · 2015 · author #1
- Proceedings of the Workshop on High Performance Energy Efficient Embedded Systems (HIP3ES) 2015 cs.DC · 2015 · author #14
- Towards Execution Time Estimation for Logic Programs via Static Analysis and Profiling cs.PL · 2007 · author #2
Mentions
- 1501.03064 #14 · backfill · confidence 0.70 Pedro Lopez-Garcia
Frequent Coauthors
- Manuel V. Hermenegildo 7 shared papers
- Maximiliano Klemen 5 shared papers
- Umer Liqat 5 shared papers
- Alberto Garcia-Ortiz 1 shared papers
- Albert Sa\`a-Garriga 1 shared papers
- Andr\'es Rodr\'iguez 1 shared papers
- Angeles Navarro 1 shared papers
- Antonio Vilches 1 shared papers
- Daniel Gregorek 1 shared papers
- David Castells-Rufas 1 shared papers
- Edison Mera 1 shared papers
- Eneko Osaba 1 shared papers
- Fernando Diaz 1 shared papers
- Francisco Bueno 1 shared papers
- Francisco Corbera 1 shared papers
- German Puebla 1 shared papers
- Ismat Chaib Draa 1 shared papers
- Jamel Tayeb 1 shared papers
- Jordi Carrabina 1 shared papers
- Jos\'e F. Morales 1 shared papers