Francisco Bueno
According to our database1,
Francisco Bueno
authored at least 50 papers
between 1992 and 2018.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2018
Interval-based resource usage verification by translation into Horn clauses and an application to energy consumption.
Theory Pract. Log. Program., 2018
2013
2012
2011
Proceedings of the Rule-Based Reasoning, Programming, and Applications, 2011
Proceedings of the Foundational and Practical Aspects of Resource Analysis, 2011
2010
Automatic Inference of Determinacy and Mutual Exclusion for Logic Programs Using Mode and Type Analyses.
New Gener. Comput., 2010
Enrichment of text documents using information retrieval techniques in a distributed environment.
Expert Syst. Appl., 2010
A Framework for Verification and Debugging of Resource Usage Properties: Resource Usage Verification.
Proceedings of the Technical Communications of the 26th International Conference on Logic Programming, 2010
2008
An Overview of the Ciao Multiparadigm Language and Program Development Environment and Its Design Philosophy.
Proceedings of the Concurrency, 2008
2006
Proceedings of the Practical Aspects of Declarative Languages, 8th International Symposium, 2006
2005
Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor).
Sci. Comput. Program., 2005
Proceedings of the 15th International Workshop on Logic Programming Environments, 2005
Proceedings of the Logic Based Program Synthesis and Transformation, 2005
2004
Proceedings of the Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development, 2004
Proceedings of the Logic Based Program Synthesis and Transformation, 2004
Proceedings of the Functional and Logic Programming, 7th International Symposium, 2004
Proceedings of the Functional and Logic Programming, 7th International Symposium, 2004
2003
Program Development Using Abstract Interpretation (And The Ciao System Preprocessor).
Proceedings of the Static Analysis, 10th International Symposium, 2003
2002
Proceedings of the Static Analysis, 9th International Symposium, 2002
Program Debugging and Validation Using Semantic Approximations and Partial Specifications.
Proceedings of the Automata, Languages and Programming, 29th International Colloquium, 2002
Proceedings of the Recent Advances in Constraints, 2002
2001
Proceedings of the Progress in Artificial Intelligence, 2001
2000
Proceedings of the Logic Based Program Synthesis and Transformation, 2000
Proceedings of the Analysis and Visualization Tools for Constraint Programming, 2000
Proceedings of the Analysis and Visualization Tools for Constraint Programming, 2000
1999
Effectivness of Abstract Interpretation in Automatic Parallelization: A Case Study in Logic Programming.
ACM Trans. Program. Lang. Syst., 1999
Automatic Compile-Time Parallelization of Logic Programs for Restricted, Goal Level, Independent and Parallelism.
J. Log. Program., 1999
Proceedings of the Logic Programming Synthesis and Transformation, 1999
Program Analysis, Debugging, and Optimization Using the Ciao System Preprocessor.
Proceedings of the Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29, 1999
Using Global Analysis, Partial Specifications, and an Extensible Assertion Language for Program Validation and Debugging.
Proceedings of the Logic Programming Paradigm - A 25-Year Perspective, 1999
1998
Partial Order and Contextual Net Semantics for Atomic and Locally Atomic CC Programs.
Sci. Comput. Program., 1998
Proceedings of the Principles and Practice of Constraint Programming, 1998
1997
Sharing Analysis Using Set Logic Programs.
Proceedings of the Logic Programming, 1997
On the Role of Semantic Approximations on Validation and Diagnosis of Contraint Logic Programs.
Proceedings of the Third International Workshop on Automated Debugging, 1997
1996
Proceedings of the Programming Languages: Implementations, 1996
Proceedings of the Programming Languages and Systems, 1996
The CIAO Multi-Dialect Compiler and System: An Experimentation Workbench for Future (C)LP Systems.
Proceedings of the 1996 Joint Conf. on Declarative Programming, 1996
Sharing Analysis for Logic Programs using Set Logic Programs.
Proceedings of the 1996 Joint Conf. on Declarative Programming, 1996
1994
Effectiveness of Global Analysis in Strict Independence-Based Automatic Parallelization.
Proceedings of the Logic Programming, 1994
Proceedings of the Principles and Practice of Constraint Programming, 1994
A Comparative Study of Methods for Automatic Compile-time Parallelization of Logic Programs.
Proceedings of the First International Symposium on Parallel Symbolic Computation, 1994
Proceedings of the Algebraic and Logic Programming, 4th International Conference, 1994
Methods for Automatic Compile-time Parallelization of Logic Programs: the MEL, CDG and UDG Algorithms Revisited.
Proceedings of the 1994 Joint Conference on Declarative Programming, 1994
1993
Automatic Exploitation of Non-Determinate Independent And-Parallelism in the Basic Andorra Model.
Proceedings of the Logic Program Synthesis and Transformation, 1993
Contextual Nets and Constraint Logic Programming.
Proceedings of the ICLP'93 Post-Conference Workshop on Concurrent Constraint Programming, 1993
1992
An Automatic Translation Scheme from Prolog to the Andorra Kernel Language.
Proceedings of the International Conference on Fifth Generation Computer Systems. FGCS 1992, 1992