Francisco Bueno

	2011
47		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
46		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)
	2010
45		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
44		Francisco Bueno, Jorge A. Navas, Manuel V. Hermenegildo: Towards Parameterized Regular Type Inference Using Set Constraints CoRR abs/1002.1836: (2010)
43		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)
42		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)
	2008
41		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
	2006
40		Jorge A. Navas, Francisco Bueno, Manuel V. Hermenegildo: Efficient Top-Down Set-Sharing Analysis Using Cliques. PADL 2006: 183-198
	2005
39		Jesús Correas, Germán Puebla, Manuel V. Hermenegildo, Francisco Bueno: Experiments in Context-Sensitive Analysis of Modular Programs. LOPSTR 2005: 163-178
38		Jorge A. Navas, Francisco Bueno, Manuel V. Hermenegildo: A Study of Set-Sharing Analysis via Clique. WLPE 2005: 31-45
37		Jorge A. Navas, Francisco Bueno, Manuel V. Hermenegildo: A study of set-sharing analysis via cliques CoRR abs/cs/0508112: (2005)
36		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)
	2004
35		Francisco Bueno, Pedro López-García, Manuel V. Hermenegildo: Multivariant Non-failure Analysis via Standard Abstract Interpretation. FLOPS 2004: 100-116
34		Francisco Bueno, Maria J. García de la Banda: Set-Sharing Is Not Always Redundant for Pair-Sharing. FLOPS 2004: 117-131
33		Pedro López-García, Francisco Bueno, Manuel V. Hermenegildo: Determinacy Analysis for Logic Programs Using Mode and Type Information. LOPSTR 2004: 19-35
32		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
	2003
31		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
	2002
30		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
29		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
28		Claudio Vaucheret, Francisco Bueno: More Precise Yet Efficient Type Inference for Logic Programs. SAS 2002: 102-116
27		Claudio Vaucheret, Francisco Bueno: More Precise Yet Efficient Type Inference for Logic Programs. WLPE 2002: 63-76
26		Claudio Vaucheret, Francisco Bueno: More Precise Yet Efficient Type Inference for Logic Programs CoRR cs.SE/0207049: (2002)
	2001
25		Francisco Bueno: Agent Programming in Ciao Prolog. EPIA 2001: 1-2
	2000
24		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
23		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
22		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
21		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
20		Michael Codish, Vitaly Lagoon, Francisco Bueno: An Algebraic Approach to Sharing Analysis of Logic Programs. J. Log. Program. 42(2): 111-149 (2000)
	1999
19		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
18		Germán Puebla, Francisco Bueno, Manuel V. Hermenegildo: Combined Static and Dynamic Assertion-Based Debugging of Constraint Logic Programs. LOPSTR 1999: 273-292
17		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)
16		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)
	1998
15		Germán Puebla, Francisco Bueno, Manuel V. Hermenegildo: A Framework for Assertion-Based Debugging in Constraint Logic Programming. CP 1998: 472
14		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)
	1997
13		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
12		Francisco Bueno, Michael Codish, Vitaly Lagoon: Sharing Analysis Using Set Logic Programs. ICLP 1997: 417
11		Michael Codish, Vitaly Lagoon, Francisco Bueno: An Algebraic Approach to Sharing Analysis of Logic Programs. SAS 1997: 68-82
	1996
10		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
9		Michael Codish, Vitaly Lagoon, Francisco Bueno: Sharing Analysis for Logic Programs using Set Logic Programs. APPIA-GULP-PRODE 1996: 29-40
8		Francisco Bueno, Daniel Cabeza Gras, Manuel V. Hermenegildo, Germán Puebla: Global Analysis of Standard Prolog Programs. ESOP 1996: 108-124
7		Maria J. García de la Banda, Francisco Bueno, Manuel V. Hermenegildo: Towards Independent And-Parallelism in CLP. PLILP 1996: 77-91
	1994
6		Francisco Bueno, Manuel V. Hermenegildo, Ugo Montanari, Francesca Rossi: From Eventual to Atomic Locally Atomic CC Programs: A Concurrent Semantics. ALP 1994: 114-132
5		Francisco Bueno: Methods for Automatic Compile-time Parallelization of Logic Programs: the MEL, CDG and UDG Algorithms Revisited. GULP-PRODE (1) 1994: 281-295
4		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
3		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
	1993
2		M. Olmedilla, Francisco Bueno, Manuel V. Hermenegildo: Automatic Exploitation of Non-Determinate Independent And-Parallelism in the Basic Andorra Model. LOPSTR 1993: 177-195
	1992
1		Francisco Bueno, Manuel V. Hermenegildo: An Automatic Translation Scheme from Prolog to the Andorra Kernel Language. FGCS 1992: 759-769

Coauthor Index

1	Maria Garcia de la Banda (Maria J. García de la Banda)	[3] [4] [7] [10] [16] [17] [21] [22] [32] [34]
2	Daniel Cabeza (Daniel Cabeza Gras)	[8] [10]
3	Manuel Carro	[10] [41] [46] [47]
4	Michael Codish	[9] [11] [12] [20]
5	Jesús Correas	[32] [39]
6	Luthfi Darmawan	[45]
7	Pierre Deransart	[13]
8	Wlodzimierz Drabent (Wlodek Drabent)	[13]
9	Gérard Ferrand	[13]
10	Ana M. García-Serrano (Ana García-Serrano)	[43]
11	Rémy Haemmerlé	[47]
12	Manuel V. Hermenegildo	[1] [2] [3] [4] [6] [7] [8] [10] [13] [14] [15] [16] [17] [18] [19] [21] [22] [23] [24] [29] [30] [31] [32] [33] [35] [36] [37] [38] [39] [40] [41] [42] [44] [46] [47]
13	Vitaly Lagoon	[9] [11] [12] [20]
14	Pedro López-García	[10] [19] [29] [30] [31] [33] [35] [36] [41] [42] [45] [46] [47]
15	Jan Maluszynski	[13]
16	Kim Marriott	[21] [22] [32]
17	José Luis Martínez-Fernández	[43]
18	Edison Mera	[46] [47]
19	Ugo Montanari	[4] [6] [14]
20	José F. Morales	[41] [46] [47]
21	Kalyan Muthukumar	[16]
22	Jorge A. Navas	[37] [38] [40] [44]
23	M. Olmedilla	[2]
24	Germán Puebla (German Puebla)	[8] [10] [13] [15] [18] [19] [21] [22] [23] [24] [29] [30] [31] [32] [36] [39] [41] [46] [47]
25	Francesca Rossi	[4] [6] [14]
26	Peter J. Stuckey	[21] [22] [32]
27	Claudio Vaucheret	[26] [27] [28]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page