| 2010 | ICLP | A Framework for Verification and Debugging of Resource Usage Properties: Resource Usage Verification. | Pedro Lpez-Garca, Luthfi Darmawan, Francisco Bueno |
| 2006 | PADL | Efficient Top-Down Set-Sharing Analysis Using Cliques. | Jorge A. Navas, Francisco Bueno, Manuel V. Hermenegildo |
| 2005 | LOPSTR | Experiments in Context-Sensitive Analysis of Modular Programs. | Jess Correas, Germn Puebla, Manuel V. Hermenegildo, Francisco Bueno |
| 2004 | FLOPS | Set-Sharing Is Not Always Redundant for Pair-Sharing. | Francisco Bueno, Maria J. Garca de la Banda |
| 2004 | FLOPS | Multivariant Non-failure Analysis via Standard Abstract Interpretation. | Francisco Bueno, Pedro Lpez-Garca, Manuel V. Hermenegildo |
| 2004 | LOPSTR | Determinacy Analysis for Logic Programs Using Mode and Type Information. | Pedro Lpez-Garca, Francisco Bueno, Manuel V. Hermenegildo |
| 2003 | SAS | Program Development Using Abstract Interpretation (And The Ciao System Preprocessor). | Manuel V. Hermenegildo, Germn Puebla, Francisco Bueno, Pedro Lpez-Garca |
| 2002 | ICALP | Program Debugging and Validation Using Semantic Approximations and Partial Specifications. | Manuel V. Hermenegildo, Germn Puebla, Francisco Bueno, Pedro Lpez-Garca |
| 2002 | SAS | More Precise Yet Efficient Type Inference for Logic Programs. | Claudio Vaucheret, Francisco Bueno |
| 2001 | EPIA | Agent Programming in Ciao Prolog. | Francisco Bueno |
| 2000 | LOPSTR | A model for inter-module analysis and optimizing compilation. | Francisco Bueno, Maria J. Garca de la Banda, Manuel V. Hermenegildo, Kim Marriott, Germn Puebla, Peter J. Stuckey |
| 2000 | LOPSTR | A Model for Inter-module Analysis and Optimizing Compilation. | Francisco Bueno, Maria J. Garca de la Banda, Manuel V. Hermenegildo, Kim Marriott, Germn Puebla, Peter J. Stuckey |
| 1999 | ICLP | Program Analysis, Debugging, and Optimization Using the Ciao System Preprocessor. | Manuel V. Hermenegildo, Francisco Bueno, Germn Puebla, Pedro Lpez-Garca |
| 1999 | LOPSTR | Combined Static and Dynamic Assertion-Based Debugging of Constraint Logic Programs. | Germn Puebla, Francisco Bueno, Manuel V. Hermenegildo |
| 1998 | CP | A Framework for Assertion-Based Debugging in Constraint Logic Programming. | Germn Puebla, Francisco Bueno, Manuel V. Hermenegildo |
| 1997 | ICLP | Sharing Analysis Using Set Logic Programs. | Francisco Bueno, Michael Codish, Vitaly Lagoon |
| 1997 | SAS | An Algebraic Approach to Sharing Analysis of Logic Programs. | Michael Codish, Vitaly Lagoon, Francisco Bueno |
| 1996 | ESOP | Global Analysis of Standard Prolog Programs. | Francisco Bueno, Daniel Cabeza Gras, Manuel V. Hermenegildo, Germn Puebla |
| 1993 | ICLP | Contextual Nets and Constraint Logic Programming. | Ugo Montanari, Francesca Rossi, Francisco Bueno, Maria J. Garca de la Banda, Manuel V. Hermenegildo |
| 1993 | LOPSTR | Automatic Exploitation of Non-Determinate Independent And-Parallelism in the Basic Andorra Model. | M. Olmedilla, Francisco Bueno, Manuel V. Hermenegildo |