The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Francisco Bueno" ( http://dblp.L3S.de/Authors/Francisco_Bueno )

  Author page on DBLP  Author page in RDF  Community of Francisco Bueno in ASPL-2

Publication years (Num. hits)
1992-1998 (16) 1999-2002 (16) 2003-2010 (15) 2011-2018 (7)
Publication types (Num. hits)
article(15) incollection(2) inproceedings(37)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 11 occurrences of 9 keywords

Results
Found 55 publication records. Showing 54 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Pedro López-García 0001, 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. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Pedro López-García 0001, 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. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Alejandro Serrano 0001, Pedro López-García 0001, Francisco Bueno, Manuel V. Hermenegildo Sized Type Analysis for Logic Programs. Search on Bibsonomy TPLP The full citation details ... 2013 DBLP  BibTeX  RDF
1Manuel V. Hermenegildo, Francisco Bueno, Manuel Carro, Pedro López-García 0001, Edison Mera, José F. Morales, Germán Puebla An overview of Ciao and its design philosophy. Search on Bibsonomy TPLP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Manuel V. Hermenegildo, Francisco Bueno, Manuel Carro, Pedro López-García 0001, Edison Mera, José F. Morales, German Puebla An overview of Ciao and its design philosophy Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Pedro López-García 0001, Luthfi Darmawan, Francisco Bueno, Manuel V. Hermenegildo Interval-Based Resource Usage Verification: Formalization and Prototype. Search on Bibsonomy FOPARA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Manuel V. Hermenegildo, Francisco Bueno, Manuel Carro, Pedro López-García 0001, Rémy Haemmerlé, Edison Mera, José F. Morales, Germán Puebla An Overview of the Ciao System. Search on Bibsonomy RuleML Europe The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Francisco Bueno, Ana García-Serrano, José Luis Martínez-Fernández Enrichment of text documents using information retrieval techniques in a distributed environment. Search on Bibsonomy Expert Syst. Appl. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Pedro López-García 0001, Francisco Bueno, Manuel V. Hermenegildo Automatic Inference of Determinacy and Mutual Exclusion for Logic Programs Using Mode and Type Analyses. Search on Bibsonomy New Generation Comput. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Francisco Bueno, Jorge A. Navas, Manuel V. Hermenegildo Towards Parameterized Regular Type Inference Using Set Constraints Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Pedro López-García 0001, Luthfi Darmawan, Francisco Bueno A Framework for Verification and Debugging of Resource Usage Properties: Resource Usage Verification. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Manuel V. Hermenegildo, Francisco Bueno, Manuel Carro, Pedro López-García 0001, José F. Morales, Germán Puebla An Overview of the Ciao Multiparadigm Language and Program Development Environment and Its Design Philosophy. Search on Bibsonomy Concurrency, Graphs and Models The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Jorge A. Navas, Francisco Bueno, Manuel V. Hermenegildo Efficient Top-Down Set-Sharing Analysis Using Cliques. Search on Bibsonomy PADL The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Jorge A. Navas, Francisco Bueno, Manuel V. Hermenegildo A study of set-sharing analysis via cliques. Search on Bibsonomy CoRR The full citation details ... 2005 DBLP  BibTeX  RDF
1Manuel V. Hermenegildo, Germán Puebla, Francisco Bueno, Pedro López-García 0001 Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor). Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Jorge A. Navas, Francisco Bueno, Manuel V. Hermenegildo A Study of Set-Sharing Analysis via Clique. Search on Bibsonomy WLPE The full citation details ... 2005 DBLP  BibTeX  RDF
1Jesús Correas, Germán Puebla, Manuel V. Hermenegildo, Francisco Bueno Experiments in Context-Sensitive Analysis of Modular Programs. Search on Bibsonomy LOPSTR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Francisco Bueno, Pedro López-García 0001, Manuel V. Hermenegildo Multivariant Non-failure Analysis via Standard Abstract Interpretation. Search on Bibsonomy FLOPS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Francisco Bueno, Maria J. García de la Banda Set-Sharing Is Not Always Redundant for Pair-Sharing. Search on Bibsonomy FLOPS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Pedro López-García 0001, Francisco Bueno, Manuel V. Hermenegildo Determinacy Analysis for Logic Programs Using Mode and Type Information. Search on Bibsonomy LOPSTR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Determinacy Inference, Program Analysis, Types, Modes
1Germá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. Search on Bibsonomy Program Development in Computational Logic The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Manuel V. Hermenegildo, Germán Puebla, Francisco Bueno, Pedro López-García 0001 Program Development Using Abstract Interpretation (And The Ciao System Preprocessor). Search on Bibsonomy SAS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1José 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. Search on Bibsonomy Procesamiento del Lenguaje Natural The full citation details ... 2002 DBLP  BibTeX  RDF
1Claudio Vaucheret, Francisco Bueno More Precise Yet Efficient Type Inference for Logic Programs. Search on Bibsonomy WLPE The full citation details ... 2002 DBLP  BibTeX  RDF
1Manuel V. Hermenegildo, Germán Puebla, Francisco Bueno, Pedro López-García 0001 Program Debugging and Validation Using Semantic Approximations and Partial Specifications. Search on Bibsonomy ICALP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Claudio Vaucheret, Francisco Bueno More Precise Yet Efficient Type Inference for Logic Programs. Search on Bibsonomy SAS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Manuel V. Hermenegildo, Germán Puebla, Francisco Bueno, Pedro López-García 0001 Abstract Verification and Debugging of Constraint Logic Programs. Search on Bibsonomy International Workshop on Constraint Solving and Constraint Logic Programming The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Francisco Bueno Agent Programming in Ciao Prolog. Search on Bibsonomy EPIA The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Michael Codish, Vitaly Lagoon, Francisco Bueno An Algebraic Approach to Sharing Analysis of Logic Programs. Search on Bibsonomy J. Log. Program. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Germán Puebla, Francisco Bueno, Manuel V. Hermenegildo An Assertion Language for Constraint Logic Programs. Search on Bibsonomy Analysis and Visualization Tools for Constraint Programming The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Germán Puebla, Francisco Bueno, Manuel V. Hermenegildo A Generic Processor for Program Validation and Debugging. Search on Bibsonomy Analysis and Visualization Tools for Constraint Programming The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Francisco 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. Search on Bibsonomy LOPSTR (LNCS 2042: Selected Papers) The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Francisco 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. Search on Bibsonomy LOPSTR The full citation details ... 2000 DBLP  BibTeX  RDF
1Kalyan 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. Search on Bibsonomy J. Log. Program. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Francisco Bueno, Maria J. García de la Banda, Manuel V. Hermenegildo Effectivness of Abstract Interpretation in Automatic Parallelization: A Case Study in Logic Programming. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF parallelism, logic programming, abstract interpretation, data flow analysis, automatic parallelization
1Manuel V. Hermenegildo, Germán Puebla, Francisco Bueno Using Global Analysis, Partial Specifications, and an Extensible Assertion Language for Program Validation and Debugging. Search on Bibsonomy The Logic Programming Paradigm The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Manuel V. Hermenegildo, Francisco Bueno, Germán Puebla, Pedro López-García 0001 Program Analysis, Debugging, and Optimization Using the Ciao System Preprocessor. Search on Bibsonomy ICLP The full citation details ... 1999 DBLP  BibTeX  RDF
1Germán Puebla, Francisco Bueno, Manuel V. Hermenegildo Combined Static and Dynamic Assertion-Based Debugging of Constraint Logic Programs. Search on Bibsonomy LOPSTR The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Francisco Bueno, Manuel V. Hermenegildo, Ugo Montanari, Francesca Rossi Partial Order and Contextual Net Semantics for Atomic and Locally Atomic CC Programs. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Germán Puebla, Francisco Bueno, Manuel V. Hermenegildo A Framework for Assertion-Based Debugging in Constraint Logic Programming. Search on Bibsonomy CP The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Francisco Bueno, Michael Codish, Vitaly Lagoon Sharing Analysis Using Set Logic Programs. Search on Bibsonomy ICLP The full citation details ... 1997 DBLP  BibTeX  RDF
1Francisco 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. Search on Bibsonomy AADEBUG The full citation details ... 1997 DBLP  BibTeX  RDF
1Michael Codish, Vitaly Lagoon, Francisco Bueno An Algebraic Approach to Sharing Analysis of Logic Programs. Search on Bibsonomy SAS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Michael Codish, Vitaly Lagoon, Francisco Bueno Sharing Analysis for Logic Programs using Set Logic Programs. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 1996 DBLP  BibTeX  RDF
1Manuel V. Hermenegildo, Francisco Bueno, Daniel Cabeza, Manuel Carro, Maria J. García de la Banda, Pedro López-García 0001, Germán Puebla The CIAO Multi-Dialect Compiler and System: An Experimentation Workbench for Future (C)LP Systems. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 1996 DBLP  BibTeX  RDF
1Maria J. García de la Banda, Francisco Bueno, Manuel V. Hermenegildo Towards Independent And-Parallelism in CLP. Search on Bibsonomy PLILP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Francisco Bueno, Daniel Cabeza Gras, Manuel V. Hermenegildo, Germán Puebla Global Analysis of Standard Prolog Programs. Search on Bibsonomy ESOP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF Optimization, Logic Programming, Abstract Interpretation
1Francisco Bueno, Maria J. García de la Banda, Manuel V. Hermenegildo Effectiveness of Global Analysis in Strict Independence-Based Automatic Parallelization. Search on Bibsonomy ILPS The full citation details ... 1994 DBLP  BibTeX  RDF
1Francisco Bueno Methods for Automatic Compile-time Parallelization of Logic Programs: the MEL, CDG and UDG Algorithms Revisited. Search on Bibsonomy GULP-PRODE (1) The full citation details ... 1994 DBLP  BibTeX  RDF
1Francisco Bueno, Manuel V. Hermenegildo, Ugo Montanari, Francesca Rossi From Eventual to Atomic Locally Atomic CC Programs: A Concurrent Semantics. Search on Bibsonomy ALP The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Ugo 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. Search on Bibsonomy PPCP The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Ugo Montanari, Francesca Rossi, Francisco Bueno, Maria J. García de la Banda, Manuel V. Hermenegildo Contextual Nets and Constraint Logic Programming. Search on Bibsonomy ICLP Workshop on Concurrent Constraint Programming The full citation details ... 1993 DBLP  BibTeX  RDF
1M. Olmedilla, Francisco Bueno, Manuel V. Hermenegildo Automatic Exploitation of Non-Determinate Independent And-Parallelism in the Basic Andorra Model. Search on Bibsonomy LOPSTR The full citation details ... 1993 DBLP  BibTeX  RDF
1Francisco Bueno, Manuel V. Hermenegildo An Automatic Translation Scheme from Prolog to the Andorra Kernel Language. Search on Bibsonomy FGCS The full citation details ... 1992 DBLP  BibTeX  RDF
Displaying result #1 - #54 of 54 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license