Cost analysis of java bytecode E Albert, P Arenas, S Genaim, G Puebla, D Zanardini Programming Languages and Systems: 16th European Symposium on Programming …, 2007 | 240 | 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 | 231 | 2005 |

Closed-form upper bounds in static cost analysis E Albert, P Arenas, S Genaim, G Puebla Journal of automated reasoning 46, 161-203, 2011 | 211 | 2011 |

An overview of Ciao and its design philosophy MV Hermenegildo, F Bueno, M Carro, P López-García, E Mera, ... Theory and Practice of Logic Programming 12 (1-2), 219-252, 2012 | 200 | 2012 |

An assertion language for constraint logic programs G Puebla, F Bueno, M Hermenegildo Analysis and Visualization Tools for Constraint Programming: Constraint …, 2000 | 156 | 2000 |

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 | 155 | 2012 |

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 | 138 | 1997 |

Automatic inference of upper bounds for recurrence relations in cost analysis E Albert, P Arenas, S Genaim, G Puebla Static Analysis: 15th International Symposium, SAS 2008, Valencia, Spain …, 2008 | 128 | 2008 |

The CIAO multi-dialect compiler and system: An experimentation workbench for future (C) LP systems MV Hermenegildo, F Bueno Carrillo, D Cabeza Gras, M Carro Liñares, ... Informatica, 1996 | 122 | 1996 |

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 | 120 | 1997 |

COSTA: Design and Implementation of a Cost and Termination Analyzer for Java Bytecode E Albert, P Arenas, S Genaim, G Puebla, D Zanardini Formal Methods for Components and Objects: 6th International Symposium, FMCO …, 2008 | 119 | 2008 |

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 | 110 | 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: a 25-Year Perspective, 161-192, 1999 | 108 | 1999 |

Combined static and dynamic assertion-based debugging of constraint logic programs G Puebla, F Bueno, M Hermenegildo Lecture notes in computer science, 273-292, 2000 | 102* | 2000 |

SACO: Static Analyzer for Concurrent Objects. E Albert, P Arenas, A Flores-Montoya, S Genaim, M Gómez-Zamalloa, ... TACAS 14, 562-567, 2014 | 87 | 2014 |

Abstraction-carrying code E Albert, G Puebla, M Hermenegildo Logic for Programming, Artificial Intelligence, and Reasoning: 11th …, 2005 | 85 | 2005 |

Global analysis of standard Prolog programs F Bueno, D Cabeza, M Hermenegildo, G Puebla Programming Languages and Systems—ESOP'96: 6th European Symposium on …, 1996 | 85 | 1996 |

Termination analysis of Java bytecode E Albert, P Arenas, M Codish, S Genaim, G Puebla, D Zanardini Formal Methods for Open Object-Based Distributed Systems: 10th IFIP WG 6.1 …, 2008 | 83 | 2008 |

Abstract interpretation over non-deterministic finite tree automata for set-based analysis of logic programs JP Gallagher, G Puebla Practical Aspects of Declarative Languages: 4th International Symposium …, 2002 | 73 | 2002 |

Program Analysis, Debugging, and Optimization Using the Ciao System Preprocessor¹ MV Hermenegildo, F Bueno, G Puebla, P Lopez Logic Programming: Proceedings of the 1999 International Conference on Logic …, 1999 | 70 | 1999 |