Francisco Bueno

Publication Activity (10 Years)

Years Active: 1992-2018
Publications (10 Years): 2

Top Topics

Energy Consumption

Top Venues

Theory Pract. Log. Program.

Publications

Pedro López-García, Luthfi Darmawan, Maximiliano Klemen, Umer Liqat, Francisco Bueno, Manuel V. Hermenegildo
Interval-based Resource Usage Verification by Translation into Horn Clauses and an Application to Energy Consumption. CoRR (2018)
Pedro López-García, Luthfi Darmawan, Maximiliano Klemen, Umer Liqat, Francisco Bueno, Manuel V. Hermenegildo
Interval-based resource usage verification by translation into Horn clauses and an application to energy consumption. Theory Pract. Log. Program. 18 (2) (2018)
Alejandro Serrano, Pedro López-García, Francisco Bueno, Manuel V. Hermenegildo
Sized Type Analysis for Logic Programs. Theory Pract. Log. Program. 13 (4-5-Online-Supplement) (2013)
Manuel V. Hermenegildo, Francisco Bueno, Manuel Carro, Pedro López-García, Edison Mera, José F. Morales, Germán Puebla
An overview of Ciao and its design philosophy. Theory Pract. Log. Program. 12 (1-2) (2012)
Manuel V. Hermenegildo, Francisco Bueno, Manuel Carro, Pedro López-García, Rémy Haemmerlé, Edison Mera, José F. Morales, Germán Puebla
An Overview of the Ciao System. RuleML Europe (2011)
Pedro López-García, Luthfi Darmawan, Francisco Bueno, Manuel V. Hermenegildo
Interval-Based Resource Usage Verification: Formalization and Prototype. FOPARA (2011)
Manuel V. Hermenegildo, Francisco Bueno, Manuel Carro, Pedro López-García, Edison Mera, José F. Morales, German Puebla
An overview of Ciao and its design philosophy CoRR (2011)
Pedro López-García, Luthfi Darmawan, Francisco Bueno
A Framework for Verification and Debugging of Resource Usage Properties: Resource Usage Verification. ICLP (Technical Communications) (2010)
Francisco Bueno, Ana García-Serrano, José Luis Martínez-Fernández
Enrichment of text documents using information retrieval techniques in a distributed environment. Expert Syst. Appl. 37 (12) (2010)
Francisco Bueno, Jorge A. Navas, Manuel V. Hermenegildo
Towards Parameterized Regular Type Inference Using Set Constraints CoRR (2010)
Pedro López-García, Francisco Bueno, Manuel V. Hermenegildo
Automatic Inference of Determinacy and Mutual Exclusion for Logic Programs Using Mode and Type Analyses. New Gener. Comput. 28 (2) (2010)
Manuel V. Hermenegildo, Francisco Bueno, Manuel Carro, Pedro López-García, José F. Morales, Germán Puebla
An Overview of the Ciao Multiparadigm Language and Program Development Environment and Its Design Philosophy. Concurrency, Graphs and Models (2008)
Jorge A. Navas, Francisco Bueno, Manuel V. Hermenegildo
Efficient Top-Down Set-Sharing Analysis Using Cliques. PADL (2006)
Jesús Correas, Germán Puebla, Manuel V. Hermenegildo, Francisco Bueno
Experiments in Context-Sensitive Analysis of Modular Programs. LOPSTR (2005)
Jorge A. Navas, Francisco Bueno, Manuel V. Hermenegildo
A study of set-sharing analysis via cliques. CoRR (2005)
Jorge A. Navas, Francisco Bueno, Manuel V. Hermenegildo
A Study of Set-Sharing Analysis via Clique. WLPE (2005)
Manuel V. Hermenegildo, Germán Puebla, Francisco Bueno, Pedro López-García
Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor). Sci. Comput. Program. 58 (1-2) (2005)
Francisco Bueno, Pedro López-García, Manuel V. Hermenegildo
Multivariant Non-failure Analysis via Standard Abstract Interpretation. FLOPS (2004)
Francisco Bueno, Maria J. García de la Banda
Set-Sharing Is Not Always Redundant for Pair-Sharing. FLOPS (2004)
Pedro López-García, Francisco Bueno, Manuel V. Hermenegildo
Determinacy Analysis for Logic Programs Using Mode and Type Information. LOPSTR (2004)
Manuel V. Hermenegildo, Germán Puebla, Francisco Bueno, Pedro López-García
Program Development Using Abstract Interpretation (And The Ciao System Preprocessor). SAS (2003)
Claudio Vaucheret, Francisco Bueno
More Precise Yet Efficient Type Inference for Logic Programs. WLPE (2002)
Claudio Vaucheret, Francisco Bueno
More Precise Yet Efficient Type Inference for Logic Programs. SAS (2002)
Manuel V. Hermenegildo, Germán Puebla, Francisco Bueno, Pedro López-García
Program Debugging and Validation Using Semantic Approximations and Partial Specifications. ICALP (2002)
Manuel V. Hermenegildo, Germán Puebla, Francisco Bueno, Pedro López-García
Abstract Verification and Debugging of Constraint Logic Programs. International Workshop on Constraint Solving and Constraint Logic Programming (2002)
José Carlos González Cristóbal, Julio Villena, Francisco Bueno, Ana García-Serrano, Alberto Ruiz-Cristina, Paloma Martínez Fernández
OmniPaper: Acceso Inteligente a Periódicos Europeos. Proces. del Leng. Natural 29 (2002)
Francisco Bueno
Agent Programming in Ciao Prolog. EPIA (2001)
Michael Codish, Vitaly Lagoon, Francisco Bueno
An Algebraic Approach to Sharing Analysis of Logic Programs. J. Log. Program. 42 (2) (2000)
Francisco Bueno, Maria J. García de la Banda, Manuel V. Hermenegildo, Kim Marriott, Germán Puebla, Peter J. Stuckey
A Model for Inter-module Analysis and Optimizing Compilation. LOPSTR (LNCS 2042: Selected Papers) (2000)
Francisco Bueno, Maria J. García de la Banda, Manuel V. Hermenegildo, Kim Marriott, Germán Puebla, Peter J. Stuckey
A model for inter-module analysis and optimizing compilation. LOPSTR (2000)
Germán Puebla, Francisco Bueno, Manuel V. Hermenegildo
An Assertion Language for Constraint Logic Programs. Analysis and Visualization Tools for Constraint Programming (2000)
Germán Puebla, Francisco Bueno, Manuel V. Hermenegildo
A Generic Processor for Program Validation and Debugging. Analysis and Visualization Tools for Constraint Programming (2000)
Francisco Bueno, Maria J. García de la Banda, Manuel V. Hermenegildo
Effectivness of Abstract Interpretation in Automatic Parallelization: A Case Study in Logic Programming. ACM Trans. Program. Lang. Syst. 21 (2) (1999)
Kalyan Muthukumar, Francisco Bueno, Maria J. García de la Banda, Manuel V. Hermenegildo
Automatic Compile-Time Parallelization of Logic Programs for Restricted, Goal Level, Independent and Parallelism. J. Log. Program. 38 (2) (1999)
Manuel V. Hermenegildo, Francisco Bueno, Germán Puebla, Pedro López-García
Program Analysis, Debugging, and Optimization Using the Ciao System Preprocessor. ICLP (1999)
Germán Puebla, Francisco Bueno, Manuel V. Hermenegildo
Combined Static and Dynamic Assertion-Based Debugging of Constraint Logic Programs. LOPSTR (1999)
Francisco Bueno, Manuel V. Hermenegildo, Ugo Montanari, Francesca Rossi
Partial Order and Contextual Net Semantics for Atomic and Locally Atomic CC Programs. Sci. Comput. Program. 30 (1-2) (1998)
Germán Puebla, Francisco Bueno, Manuel V. Hermenegildo
A Framework for Assertion-Based Debugging in Constraint Logic Programming. CP (1998)
Michael Codish, Vitaly Lagoon, Francisco Bueno
An Algebraic Approach to Sharing Analysis of Logic Programs. SAS (1997)
Francisco Bueno, Michael Codish, Vitaly Lagoon
Sharing Analysis Using Set Logic Programs. ICLP (1997)
Francisco Bueno, Pierre Deransart, Wlodzimierz Drabent, Gérard Ferrand, Manuel V. Hermenegildo, Jan Maluszynski, Germán Puebla
On the Role of Semantic Approximations on Validation and Diagnosis of Contraint Logic Programs. AADEBUG (1997)
Michael Codish, Vitaly Lagoon, Francisco Bueno
Sharing Analysis for Logic Programs using Set Logic Programs. APPIA-GULP-PRODE (1996)
Maria J. García de la Banda, Francisco Bueno, Manuel V. Hermenegildo
Towards Independent And-Parallelism in CLP. PLILP (1996)
Manuel V. Hermenegildo, Francisco Bueno, Daniel Cabeza, Manuel Carro, Maria J. García de la Banda, Pedro López-García, Germán Puebla
The CIAO Multi-Dialect Compiler and System: An Experimentation Workbench for Future (C)LP Systems. APPIA-GULP-PRODE (1996)
Francisco Bueno, Daniel Cabeza Gras, Manuel V. Hermenegildo, Germán Puebla
Global Analysis of Standard Prolog Programs. ESOP (1996)
Francisco Bueno
Methods for Automatic Compile-time Parallelization of Logic Programs: the MEL, CDG and UDG Algorithms Revisited. GULP-PRODE (1) (1994)
Francisco Bueno, Maria Garcia de la Banda, Manuel V. Hermenegildo
A Comparative Study of Methods for Automatic Compile-time Parallelization of Logic Programs. PASCO (1994)
Francisco Bueno, Manuel V. Hermenegildo, Ugo Montanari, Francesca Rossi
From Eventual to Atomic Locally Atomic CC Programs: A Concurrent Semantics. ALP (1994)
Ugo Montanari, Francesca Rossi, Francisco Bueno, Maria J. García de la Banda, Manuel V. Hermenegildo
Towards a Concurrent Semantics based Analysis of CC and CLP. PPCP (1994)
Francisco Bueno, Maria J. García de la Banda, Manuel V. Hermenegildo
Effectiveness of Global Analysis in Strict Independence-Based Automatic Parallelization. ILPS (1994)
M. Olmedilla, Francisco Bueno, Manuel V. Hermenegildo
Automatic Exploitation of Non-Determinate Independent And-Parallelism in the Basic Andorra Model. LOPSTR (1993)
Ugo Montanari, Francesca Rossi, Francisco Bueno, Maria J. García de la Banda, Manuel V. Hermenegildo
Contextual Nets and Constraint Logic Programming. ICLP Workshop on Concurrent Constraint Programming (1993)
Francisco Bueno, Manuel V. Hermenegildo
An Automatic Translation Scheme from Prolog to the Andorra Kernel Language. FGCS (1992)