Germán Puebla

Germán Puebla

Universidad Politécnica de Madrid - Madrid / Spain
Others
AD Scientific Index ID: 4363066
Technical University of Madrid
person_outline Germán Puebla's MOST POPULAR ARTICLES
1-) Cost analysis of java bytecodeE Albert, P Arenas, S Genaim, G Puebla, D ZanardiniEuropean symposium on programming, 157-172, 20072402007
2-) Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor)MV Hermenegildo, G Puebla, F Bueno, P López-GarcíaScience of Computer Programming 58 (1-2), 115-140, 20052292005
3-) Closed-form upper bounds in static cost analysisE Albert, P Arenas, S Genaim, G PueblaJournal of automated reasoning 46 (2), 161-203, 20112102011
4-) An overview of Ciao and its design philosophyMV Hermenegildo, F Bueno, M Carro, P López-García, E Mera, ...Theory and Practice of Logic Programming 12 (1-2), 219-252, 20122142012
5-) Cost analysis of object-oriented bytecode programsE Albert, P Arenas, S Genaim, G Puebla, D ZanardiniTheoretical Computer Science 413 (1), 142-159, 20121652012