Francisco Bueno

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. TPLP 12(1-2): 219-252 (2012)

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

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: 2

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 abs/1102.5497 (2011)

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): 8348-8358 (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 Generation Comput. 28(2): 177-206 (2010)

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: 104-113

Francisco Bueno, Jorge A. Navas, Manuel V. Hermenegildo: Towards Parameterized Regular Type Inference Using Set Constraints. CoRR abs/1002.1836 (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: 209-237

Jorge A. Navas, Francisco Bueno, Manuel V. Hermenegildo: Efficient Top-Down Set-Sharing Analysis Using Cliques. PADL 2006: 183-198

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): 115-140 (2005)

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

Jorge A. Navas, Francisco Bueno, Manuel V. Hermenegildo: A Study of Set-Sharing Analysis via Clique. WLPE 2005: 31-45

Francisco Bueno, Pedro López-García, Manuel V. Hermenegildo: Multivariant Non-failure Analysis via Standard Abstract Interpretation. FLOPS 2004: 100-116

Francisco Bueno, Maria J. García de la Banda: Set-Sharing Is Not Always Redundant for Pair-Sharing. FLOPS 2004: 117-131

Pedro López-García, Francisco Bueno, Manuel V. Hermenegildo: Determinacy Analysis for Logic Programs Using Mode and Type Information. LOPSTR 2004: 19-35

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

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: 127-152

José Carlos González Cristóbal, Julio Villena, Francisco Bueno, Ana M. García-Serrano, Alberto Ruiz-Cristina, Paloma Martínez Fernández: OmniPaper: Acceso Inteligente a Periódicos Europeos. Procesamiento del Lenguaje Natural 29 (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: 1-14

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: 69-72

Claudio Vaucheret, Francisco Bueno: More Precise Yet Efficient Type Inference for Logic Programs. WLPE 2002: 63-76

Claudio Vaucheret, Francisco Bueno: More Precise Yet Efficient Type Inference for Logic Programs. SAS 2002: 102-116

Claudio Vaucheret, Francisco Bueno: More Precise Yet Efficient Type Inference for Logic Programs. CoRR cs.SE/0207049 (2002)

Francisco Bueno: Agent Programming in Ciao Prolog. EPIA 2001: 1-2

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

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

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

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

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: 86-102

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): 165-218 (1999)

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): 189-239 (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: 52-66

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

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): 51-82 (1998)

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

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: 155-169

Francisco Bueno, Michael Codish, Vitaly Lagoon: Sharing Analysis Using Set Logic Programs. ICLP 1997: 417

Michael Codish, Vitaly Lagoon, Francisco Bueno: An Algebraic Approach to Sharing Analysis of Logic Programs. SAS 1997: 68-82

Michael Codish, Vitaly Lagoon, Francisco Bueno: Sharing Analysis for Logic Programs using Set Logic Programs. APPIA-GULP-PRODE 1996: 29-40

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: 105-110

Francisco Bueno, Daniel Cabeza Gras, Manuel V. Hermenegildo, Germán Puebla: Global Analysis of Standard Prolog Programs. ESOP 1996: 108-124

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

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

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

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: 151-161

Francisco Bueno, Maria J. García de la Banda, Manuel V. Hermenegildo: Effectiveness of Global Analysis in Strict Independence-Based Automatic Parallelization. SLP 1994: 320-336

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

Francisco Bueno, Manuel V. Hermenegildo: An Automatic Translation Scheme from Prolog to the Andorra Kernel Language. FGCS 1992: 759-769