Germán Puebla
Author
Alternate names G. Puebla, Germàn Puebla, Germán Puebla, German Puebla
Institution Universidad Politécnica de Madrid
Past institutions Universidad Politécnica de Madrid, Laboratoire d'Informatique de Paris-Nord
H-index: 30
I10-index: 73
Works count: 128
Citations count: 3,055
Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor)
2005 · Manuel V. Hermenegildo, Germán Puebla, et al. · Science of Computer Programming
Cost Analysis of Java Bytecode
2007 · Elvira Albert, Puri Arenas, et al. · Lecture notes in computer science
Closed-Form Upper Bounds in Static Cost Analysis
2010 · Elvira Albert, Puri Arenas, et al. · Journal of Automated Reasoning