Francisco Bueno
发表
Interval-based resource usage verification by translation into Horn clauses and an application to energy consumption
pdf
Manuel V. Hermenegildo,
Maximiliano Klemen,
Umer Liqat,
2018,
Theory and Practice of Logic Programming.
Francisco Bueno,
Claudio Vaucheret,
Claudio Vaucheret,
2002,
SAS.
Manuel V. Hermenegildo,
Maria Garcia de la Banda,
Francisco Bueno,
1996,
PLILP.
Manuel V. Hermenegildo,
Manuel Carro,
Maria Garcia de la Banda,
1995,
APPIA-GULP-PRODE.
Manuel V. Hermenegildo,
Germán Puebla,
Francisco Bueno,
1999,
The Logic Programming Paradigm.
Manuel V. Hermenegildo,
Francisco Bueno,
M. Olmedilla,
1993,
LOPSTR.
Jorge A. Navas,
Elvira Albert,
Manuel Carro,
2010
.
Manuel V. Hermenegildo,
Pedro López-García,
Germán Puebla,
2002,
International Workshop on Constraint Solving and Constraint Logic Programming.
M. García de la Banda,
Francisco Bueno,
Manuel V. Hermenegildo,
1992
.
Manuel V. Hermenegildo,
Germán Puebla,
Francisco Bueno,
2005,
LOPSTR.
A Framework for Verification and Debugging of Resource Usage Properties: Resource Usage Verification
Pedro López-García,
Luthfi Darmawan,
Francisco Bueno,
2010,
ICLP.
Manuel V. Hermenegildo,
Germán Puebla,
Francisco Bueno,
1998,
CP.
Manuel V. Hermenegildo,
Maria Garcia de la Banda,
Francisco Bueno,
1999,
J. Log. Program..
Michael Codish,
Vitaly Lagoon,
Francisco Bueno,
1997,
SAS.
Manuel V. Hermenegildo,
Germán Puebla,
Francisco Bueno,
1996,
ESOP.
Manuel V. Hermenegildo,
Pedro López-García,
Luthfi Darmawan,
2011,
FOPARA.
Michael Codish,
Vitaly Lagoon,
Francisco Bueno,
1997,
ICLP.
Francesca Rossi,
Ugo Montanari,
Manuel V. Hermenegildo,
1994,
PPCP.
Manuel V. Hermenegildo,
Maria Garcia de la Banda,
Francisco Bueno,
1994,
ILPS.
Francesca Rossi,
Ugo Montanari,
Manuel V. Hermenegildo,
1993,
ICLP Workshop on Concurrent Constraint Programming.
Manuel V. Hermenegildo,
Pedro López-García,
Germán Puebla,
2002,
ICALP.
Manuel V. Hermenegildo,
Pedro López-García,
Germán Puebla,
1999,
ICLP.
Francisco Bueno,
2001,
EPIA.
Manuel V. Hermenegildo,
Pedro López-García,
Germán Puebla,
2003,
SAS.
Peter J. Stuckey,
Kim Marriott,
Manuel V. Hermenegildo,
2004,
Program Development in Computational Logic.
Michael Codish,
Vitaly Lagoon,
Francisco Bueno,
1996,
APPIA-GULP-PRODE.
Jorge A. Navas,
Manuel V. Hermenegildo,
Francisco Bueno,
2006,
PADL.
Peter J. Stuckey,
Kim Marriott,
Manuel V. Hermenegildo,
2000,
LOPSTR.
Wlodzimierz Drabent,
Jan Maluszynski,
Manuel V. Hermenegildo,
1997,
AADEBUG.
Manuel V. Hermenegildo,
Francisco Bueno,
1992,
FGCS.
José Luis Martínez-Fernández,
Ana M. García-Serrano,
Francisco Bueno,
2010,
Expert Syst. Appl..
Manuel V. Hermenegildo,
Pedro López-García,
Francisco Bueno,
2004,
FLOPS.
Manuel V. Hermenegildo,
Germán Puebla,
Francisco Bueno,
2000,
Analysis and Visualization Tools for Constraint Programming.
Manuel V. Hermenegildo,
Germán Puebla,
Francisco Bueno,
1999,
LOPSTR.
Jorge A. Navas,
Manuel V. Hermenegildo,
Francisco Bueno,
2005,
WLPE.
Manuel V. Hermenegildo,
Pedro López-García,
Francisco Bueno,
2008,
New Generation Computing.
José Carlos González,
Julio Villena-Román,
Ana M. García-Serrano,
2002,
Proces. del Leng. Natural.
Maria Garcia de la Banda,
Francisco Bueno,
M. G. D. L. Banda,
2004,
FLOPS.
Francesca Rossi,
Ugo Montanari,
Manuel V. Hermenegildo,
1998,
Sci. Comput. Program..
Manuel V. Hermenegildo,
Maria Garcia de la Banda,
Francisco Bueno,
1999,
TOPL.
Michael Codish,
Vitaly Lagoon,
Francisco Bueno,
1997,
SAS.
Manuel V. Hermenegildo,
Germán Puebla,
Francisco Bueno,
2000,
Analysis and Visualization Tools for Constraint Programming.
Francisco Bueno,
1994,
GULP-PRODE.
Francesca Rossi,
Ugo Montanari,
Manuel V. Hermenegildo,
1994,
ALP.
Jorge A. Navas,
Manuel V. Hermenegildo,
Francisco Bueno,
2010,
ArXiv.
Manuel V. Hermenegildo,
Pedro López-García,
Germán Puebla,
2005,
Sci. Comput. Program..