| Cost analysis of java bytecode E Albert, P Arenas, S Genaim, G Puebla, D Zanardini European symposium on programming, 157-172, 2007 | 218 | 2007 |
| Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor) MV Hermenegildo, G Puebla, F Bueno, P López-García Science of Computer Programming 58 (1-2), 115-140, 2005 | 201 | 2005 |
| Closed-form upper bounds in static cost analysis E Albert, P Arenas, S Genaim, G Puebla Journal of automated reasoning 46 (2), 161-203, 2011 | 178 | 2011 |
| An overview of Ciao and its design philosophy MV Hermenegildo, F Bueno, M Carro, P López-García, E Mera, ... arXiv preprint arXiv:1102.5497, 2011 | 158 | 2011 |
| Cost analysis of object-oriented bytecode programs E Albert, P Arenas, S Genaim, G Puebla, D Zanardini Theoretical Computer Science 413 (1), 142-159, 2012 | 133 | 2012 |
| An assertion language for constraint logic programs G Puebla, F Bueno, M Hermenegildo Analysis and Visualization Tools for Constraint Programming, 23-61, 2000 | 125 | 2000 |
| On the Role of Semantic Approximations on Validation and Diagnosis of Contraint Logic Programs. F Bueno, P Deransart, W Drabent, G Ferrand, MV Hermenegildo, ... AADEBUG 97, 155-170, 1997 | 114 | 1997 |
| Automatic inference of upper bounds for recurrence relations in cost analysis E Albert, P Arenas, S Genaim, G Puebla International Static Analysis Symposium, 221-237, 2008 | 112 | 2008 |
| COSTA: Design and Implementation of a Cost and Termination Analyzer for Java Bytecode E Albert, P Arenas, S Genaim, G Puebla, D Zanardini International Symposium on Formal Methods for Components and Objects, 113-132, 2007 | 110 | 2007 |
| The Ciao prolog system F Bueno, D Cabeza, M Carro, M Hermenegildo, P López-Garcıa, ... Reference Manual. The Ciao System Documentation Series–TR CLIP3/97.1, School …, 1997 | 107 | 1997 |
| The CIAO Multi-Dialect Compiler and System: An Experimentation Workbench for Future (C) LP Systems. MV Hermenegildo, F Bueno, D Cabeza, M Carro, MJG de la Banda, ... APPIA-GULP-PRODE, 105-110, 1996 | 101 | 1996 |
| Incremental analysis of constraint logic programs M Hermenegildo, G Puebla, K Marriott, PJ Stuckey ACM Transactions on Programming Languages and Systems (TOPLAS) 22 (2), 187-223, 2000 | 90 | 2000 |
| Using global analysis, partial specifications, and an extensible assertion language for program validation and debugging M Hermenegildo, G Puebla, F Bueno The Logic Programming Paradigm, 161-192, 1999 | 90 | 1999 |
| SACO: static analyzer for concurrent objects E Albert, P Arenas, A Flores-Montoya, S Genaim, M Gómez-Zamalloa, ... International Conference on Tools and Algorithms for the Construction and …, 2014 | 81 | 2014 |
| Combined static and dynamic assertion-based debugging of constraint logic programs G Puebla, F Bueno, M Hermenegildo International Workshop on Logic Programming Synthesis and Transformation …, 1999 | 79* | 1999 |
| Termination analysis of Java bytecode E Albert, P Arenas, M Codish, S Genaim, G Puebla, D Zanardini International Conference on Formal Methods for Open Object-Based Distributed …, 2008 | 77 | 2008 |
| Abstraction-carrying code E Albert, G Puebla, M Hermenegildo International Conference on Logic for Programming Artificial Intelligence …, 2005 | 74 | 2005 |
| Global analysis of standard Prolog programs F Bueno, D Cabeza, M Hermenegildo, G Puebla European Symposium on Programming, 108-124, 1996 | 68 | 1996 |
| Program Analysis, Debugging, and Optimization Using the Ciao System Preprocessor. MV Hermenegildo, F Bueno, G Puebla, P López-García ICLP, 52-66, 1999 | 65 | 1999 |
| Abstract interpretation over non-deterministic finite tree automata for set-based analysis of logic programs JP Gallagher, G Puebla International Symposium on Practical Aspects of Declarative Languages, 243-261, 2002 | 64 | 2002 |
