An Automatic Translation Scheme from Prolog to the Andorra Kernel Language. - Francisco Bueno; Manuel V. Hermenegildo (FGCS, 1992)

Contextual Nets and Constraint Logic Programming. - Ugo Montanari; Francesca Rossi 001; Francisco Bueno; Maria J. García de la Banda; Manuel V. Hermenegildo (ICLP Workshop on Concurrent Constraint Programming, 1993)

Automatic Exploitation of Non-Determinate Independent And-Parallelism in the Basic Andorra Model. - M. Olmedilla; Francisco Bueno; Manuel V. Hermenegildo (LOPSTR, 1993)

Methods for Automatic Compile-time Parallelization of Logic Programs: the MEL, CDG and UDG Algorithms Revisited. - Francisco Bueno (GULP-PRODE (1), 1994)

From Eventual to Atomic Locally Atomic CC Programs: A Concurrent Semantics. - Francisco Bueno; Manuel V. Hermenegildo; Ugo Montanari; Francesca Rossi 001 (ALP, 1994)

A Comparative Study of Methods for Automatic Compile-time Parallelization of Logic Programs. - Francisco Bueno; Maria Garcia de la Banda; Manuel V. Hermenegildo (PASCO, 1994)

Towards a Concurrent Semantics based Analysis of CC and CLP. - Ugo Montanari; Francesca Rossi 001; Francisco Bueno; Maria J. García de la Banda; Manuel V. Hermenegildo (PPCP, 1994)

Effectiveness of Global Analysis in Strict Independence-Based Automatic Parallelization. - Francisco Bueno; Maria J. García de la Banda; Manuel V. Hermenegildo (ILPS, 1994)

Sharing Analysis for Logic Programs using Set Logic Programs. - Michael Codish; Vitaly Lagoon; Francisco Bueno (APPIA-GULP-PRODE, 1996)

The CIAO Multi-Dialect Compiler and System: An Experimentation Workbench for Future (C)LP Systems. - Manuel V. Hermenegildo; Francisco Bueno; Daniel Cabeza; Manuel Carro; Maria J. García de la Banda; Pedro López-García 001; Germán Puebla (APPIA-GULP-PRODE, 1996)

Global Analysis of Standard Prolog Programs. - Francisco Bueno; Daniel Cabeza Gras; Manuel V. Hermenegildo; Germán Puebla (ESOP, 1996)

Towards Independent And-Parallelism in CLP. - Maria J. García de la Banda; Francisco Bueno; Manuel V. Hermenegildo (PLILP, 1996)

On the Role of Semantic Approximations on Validation and Diagnosis of Contraint Logic Programs. - Francisco Bueno; Pierre Deransart; Wlodzimierz Drabent; Gérard Ferrand; Manuel V. Hermenegildo; Jan Maluszynski; Germán Puebla (AADEBUG, 1997)

Sharing Analysis Using Set Logic Programs. - Francisco Bueno; Michael Codish; Vitaly Lagoon (ICLP, 1997)

A Framework for Assertion-Based Debugging in Constraint Logic Programming. - Germán Puebla; Francisco Bueno; Manuel V. Hermenegildo (CP, 1998)

Partial Order and Contextual Net Semantics for Atomic and Locally Atomic CC Programs. - Francisco Bueno; Manuel V. Hermenegildo; Ugo Montanari; Francesca Rossi 001 (Sci. Comput. Program., 1998)

Using Global Analysis, Partial Specifications, and an Extensible Assertion Language for Program Validation and Debugging. - Manuel V. Hermenegildo; Germán Puebla; Francisco Bueno (The Logic Programming Paradigm, 1999)

Program Analysis, Debugging, and Optimization Using the Ciao System Preprocessor. - Manuel V. Hermenegildo; Francisco Bueno; Germán Puebla; Pedro López-García 001 (ICLP, 1999)

Combined Static and Dynamic Assertion-Based Debugging of Constraint Logic Programs. - Germán Puebla; Francisco Bueno; Manuel V. Hermenegildo (LOPSTR, 1999)

Automatic Compile-Time Parallelization of Logic Programs for Restricted, Goal Level, Independent and Parallelism. - Kalyan Muthukumar; Francisco Bueno; Maria J. García de la Banda; Manuel V. Hermenegildo (J. Log. Program., 1999)

Effectivness of Abstract Interpretation in Automatic Parallelization: A Case Study in Logic Programming. - Francisco Bueno; Maria J. García de la Banda; Manuel V. Hermenegildo (ACM Trans. Program. Lang. Syst., 1999)

An Assertion Language for Constraint Logic Programs. - Germán Puebla; Francisco Bueno; Manuel V. Hermenegildo (Analysis and Visualization Tools for Constraint Programming, 2000)

A Generic Processor for Program Validation and Debugging. - Germán Puebla; Francisco Bueno; Manuel V. Hermenegildo (Analysis and Visualization Tools for Constraint Programming, 2000)

A Model for Inter-module Analysis and Optimizing Compilation. - Francisco Bueno; Maria J. García de la Banda; Manuel V. Hermenegildo; Kim Marriott; Germán Puebla; Peter J. Stuckey (LOPSTR (LNCS 2042: Selected Papers), 2000)

An Algebraic Approach to Sharing Analysis of Logic Programs. - Michael Codish; Vitaly Lagoon; Francisco Bueno (J. Log. Program., 2000)

Agent Programming in Ciao Prolog. - Francisco Bueno (EPIA, 2001)

Abstract Verification and Debugging of Constraint Logic Programs. - Manuel V. Hermenegildo; Germán Puebla; Francisco Bueno; Pedro López-García 001 (International Workshop on Constraint Solving and Constraint Logic Programming, 2002)

Program Debugging and Validation Using Semantic Approximations and Partial Specifications. - Manuel V. Hermenegildo; Germán Puebla; Francisco Bueno; Pedro López-García 001 (ICALP, 2002)

More Precise Yet Efficient Type Inference for Logic Programs. - Claudio Vaucheret; Francisco Bueno (SAS, 2002)

OmniPaper: Acceso Inteligente a Periódicos Europeos. - José Carlos González Cristóbal; Julio Villena; Francisco Bueno; Ana García-Serrano; Alberto Ruiz-Cristina; Paloma Martínez Fernández (Proces. del Leng. Natural, 2002)

Program Development Using Abstract Interpretation (And The Ciao System Preprocessor). - Manuel V. Hermenegildo; Germán Puebla; Francisco Bueno; Pedro López-García 001 (SAS, 2003)

Set-Sharing Is Not Always Redundant for Pair-Sharing. - Francisco Bueno; Maria J. García de la Banda (FLOPS, 2004)

Multivariant Non-failure Analysis via Standard Abstract Interpretation. - Francisco Bueno; Pedro López-García 001; Manuel V. Hermenegildo (FLOPS, 2004)

Determinacy Analysis for Logic Programs Using Mode and Type Information. - Pedro López-García 001; Francisco Bueno; Manuel V. Hermenegildo (LOPSTR, 2004)

A Generic Framework for Context-Sensitive Analysis of Modular Programs. - Germán Puebla; Jesús Correas; Manuel V. Hermenegildo; Francisco Bueno; Maria J. García de la Banda; Kim Marriott; Peter J. Stuckey (Program Development in Computational Logic, 2004)

Experiments in Context-Sensitive Analysis of Modular Programs. - Jesús Correas; Germán Puebla; Manuel V. Hermenegildo; Francisco Bueno (LOPSTR, 2005)

A Study of Set-Sharing Analysis via Clique. - Jorge A. Navas; Francisco Bueno; Manuel V. Hermenegildo (WLPE, 2005)

A study of set-sharing analysis via cliques. - Jorge A. Navas; Francisco Bueno; Manuel V. Hermenegildo (CoRR, 2005)

Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor). - Manuel V. Hermenegildo; Germán Puebla; Francisco Bueno; Pedro López-García 001 (Sci. Comput. Program., 2005)

Efficient Top-Down Set-Sharing Analysis Using Cliques. - Jorge A. Navas; Francisco Bueno; Manuel V. Hermenegildo (PADL, 2006)

An Overview of the Ciao Multiparadigm Language and Program Development Environment and Its Design Philosophy. - Manuel V. Hermenegildo; Francisco Bueno; Manuel Carro; Pedro López-García 001; José F. Morales 001; Germán Puebla (Concurrency, Graphs and Models, 2008)

A Framework for Verification and Debugging of Resource Usage Properties: Resource Usage Verification. - Pedro López-García 001; Luthfi Darmawan; Francisco Bueno (ICLP (Technical Communications), 2010)

Towards Parameterized Regular Type Inference Using Set Constraints - Francisco Bueno; Jorge A. Navas; Manuel V. Hermenegildo (CoRR, 2010)

Enrichment of text documents using information retrieval techniques in a distributed environment. - Francisco Bueno; Ana García-Serrano; José Luis Martínez-Fernández (Expert Syst. Appl., 2010)

Automatic Inference of Determinacy and Mutual Exclusion for Logic Programs Using Mode and Type Analyses. - Pedro López-García 001; Francisco Bueno; Manuel V. Hermenegildo (New Gener. Comput., 2010)

Interval-Based Resource Usage Verification: Formalization and Prototype. - Pedro López-García 001; Luthfi Darmawan; Francisco Bueno; Manuel V. Hermenegildo (FOPARA, 2011)

An Overview of the Ciao System. - Manuel V. Hermenegildo; Francisco Bueno; Manuel Carro; Pedro López-García 001; Rémy Haemmerlé; Edison Mera; José F. Morales 001; Germán Puebla (RuleML Europe, 2011)

An overview of Ciao and its design philosophy. - Manuel V. Hermenegildo; Francisco Bueno; Manuel Carro; Pedro López-García 001; Edison Mera; José F. Morales 001; Germán Puebla (Theory Pract. Log. Program., 2012)

Sized Type Analysis for Logic Programs. - Alejandro Serrano 001; Pedro López-García 001; Francisco Bueno; Manuel V. Hermenegildo (Theory Pract. Log. Program., 2013)

Interval-based resource usage verification by translation into Horn clauses and an application to energy consumption. - Pedro López-García 001; Luthfi Darmawan; Maximiliano Klemen; Umer Liqat; Francisco Bueno; Manuel V. Hermenegildo (Theory Pract. Log. Program., 2018)