Postal address
Rafael Caballero
Dpto. Sistemas Informáticos y Programación.
Universidad Complutense de Madrid
Calle Prof. José García Santesmases, s/n.
28040 Madrid, Spain



Office
Room 345 - Facultad de Informática - UCM

Phone: +34-913 947 553
email: rafacr@ucm.es

2016

2015

2014

2013

  • Finite Type Extensions in Constraint Programming (PDF) (BibTex) 
    Rafael Caballero, Peter Stuckey, Antonio Tenorio-Fornés
    15th Symposium on Principles and Practice of Declarative Programming PPDP 13. Pages 217-227.
    ACM ©2013. ISBN: 978-1-4503-2154-9

  • A Declarative Debugger for Sequential Erlang Programs (BibTex) 
    Rafael Caballero, Enrique Martín-Martín, Salvador Tamarit y Adrián Riesco
    7th International Conference on Tests & Proofs, TAP 13

  • Declarative debugging of rewriting logic specifications (PDF)  (BibTex) 
    Adrián Riesco, Alberto Verdejo,  Narciso Martí-Oliet,   Rafael Caballero
    The Journal of Logic and Algebraic Programming (JLAP). Elsevier. ISSN 1567-8326

2012

  • Test-Case Generation for SQL Nested Queries with Existential Conditions (PDF) (BibTex) 
    Rafael Caballero, José Luzón-Martín, Antonio Tenorio
    XII Jornadas sobre Programaci\ón y Lenguajes, PROLE 2012 (SISTEDES)

  • A Transformation-based Implementation for CLP with Qualification and Proximity (Firstview,online) (BibTex) 
    Rafael Caballero, Mario Rodríguez-Artalejo and Carlos Romero-Díaz
    Theory and Practice of Logic Programming (TPLP). Cambridge University Press. ISSN 1471-0684.

  • Declarative Debugging of Wrong and Missing Answers for SQL Views (BibTex) 
    R. Caballero, Y. García-Ruiz, F. Sáenz Pérez
    Eleventh International Symposium on Functional and Logic Programming (FLOPS 2012 )
    Lecture Notes in Computer Science. Vol. 7294.

2011

  • Simplifying Questions in Maude Declarative Debugger by Transforming Proof Trees  (BibTex) 
    Rafael Caballero, Adrian Riesco, Alberto Verdejo and Narciso Marti-Oliet
    21st International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2011)
    Lecture Notes in Computer Science. Vol. 7225, pages 73-89

  • A Declarative Embedding of XQuery in a Functional-Logic Language  (BibTex) 
    J.Almendros-Jiménez, R. Caballero, Y. García-Ruiz, F. Sáenz Pérez
    21st International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2011)
    Lecture Notes in Computer Science. Vol. 7225, pages 42-56.

  • XQuery in the Functional-Logic language Toy (PDF) (BibTex) 
    J.Almendros-Jiménez, R. Caballero, Y. García-Ruiz, F. Sáenz Pérez
    20th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2011)
    Lecture Notes in Computer Science, Vol 6186, pages 35-51.

  • Algorithmic Debugging of SQL Views  (PDF) (BibTex)  R. Caballero, Y. García-Ruiz, F. Sáenz Pérez
    Eighth International Andrei Ershov Memorial Conference Perspectives of Systems Informatics (PSI 2011)
    Lecture Notes in Computer Science, Vol 7162, pages 77-85. 2012.

  • A program transformation for returning states in functional-logic programs (PDF) (BibTex) 
    R. Caballero
    Proceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and program manipulation (PEPM 2011). Pages 111-120
    ACM ©2011. ISBN: 978-1-4503-0485-6

  • Integrating XPath with the Functional-Logic Language Toy (PDF) (BibTex) 
    R. Caballero, Y. García-Ruiz and F. Sáenz-Pérez.
    Proceedings of the Thirteenth International Symposium on Practical Aspects of Declarative Languages (PADL 2011)
    Lecture Notes in Computer Science, Volume 6539/2011, pages 145-159

2004-2010

  • Applying Constraint  Logic Programming to SQL Test Case Generation. (PDF) (BibTex) 
    R. Caballero, Y. García-Ruiz and F. Sáenz-Pérez.
    In Matthias Blume and Germán Vidal, editors, Tenth International Symposium on Functional and Logic Programming (FLOPS 2010)
    Springer-Verlag LNCS 2010, Volume 6009,  Pages 191-206

  • Qualified Computations in Functional Logic Progamming. (PDF) (BibTex).
    R. Caballero, M. Rodríguez-Artalejo and C. A. Romero-Díaz.
    In P. Hill and D. Warren, editors, Logic Programming (ICLP’09)
    Springer-Verlag LNCS  volume 5649, pages 449-463.

  • Declarative debugging of rewriting logic specifications. (PDF) (BibTex).
    A. Riesco, A. Verdejo, R. Caballero, N. Martí-Oliet.
    In Recent Trends in Algebraic Development Techniques (WADT 2008).
    Springer-Verlag LNCS  volume 5486, pages 308-325.

  • Declarative debugging of membership equational logic specifications (PDF) (BibTex).
    R. Caballero, N. Martí-Oliet, A. Riesco, and A. Verdejo.
    In P. Degano, R. D. Nicola and J. Meseguer, editors, Concurrency, Graphs and Models. Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday.
    Springer-Verlag LNCS  volume 5065, pages 147-163.

  • A declarative debugger for Maude (PDF) (BibTex).
    A. Riesco, A. Verdejo, N. Martí-Oliet, and R. Caballero.
    In J. Meseguer and G. Rosu, editors, Algebraic Methodology and Software Technology - 12th International Conference, AMAST 2008.
    Springer-Verlag LNCS  volume 5140, pages 116-221.

  • Similarity-based Reasoning in Qualified Logic Programming (PDF) (BibTex).
    R. Caballero, M. Rodríguez-Artalejo and C. A. Romero-Díaz.
    In Proceedings of the 10th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP'08).
    Pages 185-194. Valencia, Spain. ACM

  • A Theoretical Framework for the Declarative Debugging of Datalog Programs (PDF) (BibTex).
    R. Caballero, Y. García-Ruiz and F. Sáenz-Pérez.
    Semantics in Data and Knowledge Bases  SDKB 2008.
     Springer-Verlag LNCS. DOI. Vol. 4925. Pages 143-159. ISBN 978-3-540-88593-1

  • Declarative Diagnosis of Missing Answers in Constraint Functional-Logic Programming (PDF) (BibTex).
    Rafael Caballero, Mario Rodríguez Artalejo and Rafael del Vado Vírseda.
    In J. Garrigue and M. Hermenegildo (Eds.): Proceedings of FLOPS 2008.
    Springer-Verlag LNCS . Vol. 4989. Pages 305-321. ISBN 978-3-540-78968-0

  • A declarative debugger for Maude functional modules. (PDF) (BibTex).
    Rafael Caballero, Narciso Martí-Oliet, Adrián Riesco and Alberto Verdejo.
    In 7th International Workshop on Rewriting Logic and its Applications, WRLA 2008.
    Electronic Notes in Computer Science. Volume 238(3), Pages 63-81, ISSN: 1571-0661

  • A new proposal for debugging datalog programs. (PDF) (BibTex).
    R. Caballero, Y. García-Ruiz and F. Sáenz-Pérez.
    In 16th International Workshop on Functional and (Constraint) Logic Programming (WFLP’07), June.
    Electronic Notes in Computer Science. Volume 216.  Pages 79-92, ISSN: 1571-0661

  • Declarative Debugging of Missing Answers in Constraint Functional-Logic Programming. (PDF) (BibTex).
    R. Caballero, M. Rodríguez Artalejo and R. del Vado Vírseda.
    23rd International Conference on Logic Programming (ICLP 2007). September 2007.
    Springer-Verlag LNCS. DOI. Volume 4670. ISBN: 978-3-540-74608-9. ISSN: 0302-9743 (Print) 1611-3349 (Online)

  • Implementing Dynamic Cut in Toy. (PDF) (BibTex).
    Rafael Caballero and Yolanda García Ruíz
    WFLP 2006 - 15th Workshop on Functional and (Constraint) Logic Programming,
    Electronic Notes in Computer Science. DOI Volume 177 , (June 2007), ISSN:1571-0661.

  • Algorithmic Debugging of Java Programs. (PDF) (BibTex).
    Rafael Caballero, Christian Hermanns, and Herbert Kuchen
    WFLP 2006 - 15th Workshop on Functional and (Constraint) Logic Programming,
    Electronic Notes in Computer Science. Volume 177 , (June 2007), ISSN:1571-0661.

  • Declarative Diagnosis of Wrong Answers in Constraint Functional-Logic Programming. (PDF) (BibTex).
    Rafael Caballero, Mario Rodríguez-Artalejo, and Rafael del Vado Vírseda
    Proc. of the Twenty Second International Conference on Logic Programming (ICLP 2006),
    LNCS Vol. 4079, Springer-Verlag, 2006.

  • A declarative debugger of incorrect answers for constraint functional-logic programs (PDF) (BibTex)
    Rafael Caballero. Proc. of WCFLP'05 (ISBN 1-59593-069-8). ACM
    © ACM, (2005). This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution.
    The definitive version was published in WCFLP '05: Proceedings of the 2005 ACM SIGPLAN workshop on Curry and functional logic programming, (2005) http://doi.acm.org/10.1145/1085099.1085102


  • Constraint solving for generating glass-box test cases. (PS) (PDF).
    R. Caballero, C. Lembeck, R.A. Müller and H. Kuchen. Proc. of WFLP'04 (ISSN 0935-3232)
    Aachener Informatik Berichte.

  • DDT: A Declarative Debugging Tool for Functional-Logic Languages. (PS) (PDF).
    Rafael Caballero and Mario Rodríguez-Artalejo.
    7th Int Symp. FLOPS'04.
    LNCS Vol. 2998 (ISBN 3-540-21402-X), Springer-Verlag, 2004.

  • Improving Deterministic Computations in Lazy Functional Logic Languages (PS) (PDF).
    Rafael Caballero and Francisco J. López-Fraguas.
    Special Issue on the Sixth International Symposium on Functional and Logic Programming.
    The Journal of Functional and Logic Programming (ISSN 1080-5230), Vol. 2003, Special Issue 1.
    Published by EAPLS, 2003.

  • Declarative Debugging for Encapsulated Search. (PS) (PDF).
    Rafael Caballero and Wolfgang Lux.
    Electronic Theoretical Notes in Computer Science, Vol. 76. (ISSN 1571-0661), 13 pages. Elsevier, 2003.

  • Dynamic Cut with Definitional Trees. (PS) (PDF).
    Rafael Caballero and Francisco J. López-Fraguas.
    6th Int Symp. FLOPS'02.
    LNCS Vol. 2441 (ISBN 3-540-44233-2), pp. 245-258, Springer-Verlag, 2002.

  • A Declarative Debugging System for Lazy Functional-Logic Programs. (PS) (PDF).
    Rafael Caballero and Mario Rodríguez-Artalejo.
    Electronic Notes in Computer Science, Vol. 64. (ISSN 1571-0661). 63 pages. Elsevier, 2002.

  • Theoretical Foundations for the declarative debugging of lazy functional-logic programs. (PS) (PDF).
    Rafael Caballero, Francisco J. López-Fraguas, and Mario Rodríguez-Artalejo.
    5th Int Symp. FLOPS'01.
    LNCS Vol. 2024 (ISBN 3-540-41739-7), pp. 170-184, Springer-Verlag, 2001.

  • A Declarative Debugger of Wrong Answers for Lazy Functional Logical Programs. (PDF)
    Rafael Caballero, and Mario Rodríguez-Artalejo.
    In Proc. of the International Workshop on Functional and (Constraint) Logic Programming (WFLP 2001)
    Report No. 2017, University of Kiel

  • Extensions: A technique for structuring functional-logic programs. (PS) (PDF).
    Rafael Caballero and Francisco J. López-Fraguas.
    Third. Int. Andrei Ershov Memorial Conf. on Perspectives of System Informatics (PSI),
    LNCS Vol. 1755 (ISBN 3-540-67102-1 ), pp. 297-310. Springer-Verlag, 2000.

  • A functional-logic perspective of parsing. (PS) (PDF).
    Rafael Caballero and Francisco J. López-Fraguas.
    4th Int Symp. FLOPS'99.
    LNCS Vol. 1722 (ISBN 3-540-66677-X), pp. 85-99, Springer-Verlag, 1999.

  • Functional-Logic Parsers in Toy. (PS) (PDF).
    Rafael Caballero and Francisco J. López-Fraguas.
    Technical Report SIP-7498. Univ. Complutense de Madrid, 1998.

  • Acerca de una Enumeración Peirceana de los Naturales (in Spanish). (PS) (PDF).
    Fernando Soto, Edgar Osejo, and Rafael Caballero.
    Boletín de Matemáticas (ISSN 0120-0380), Nueva Serie, Vol. III, pp. 83-96. Colombia, 1996.

  • Técnicas de diagnóstico y depuración declarativa para lenguajes lógico-funcionales (Ph. D. in Spanish). (PDF).
    Rafael Caballero. Tesis Doctoral. Junio 2004.

  • Las bases de Big Data.
    Rafael Caballero y Enrique Martín. Ed. Catarata. ISBN 978-84-9097-086-7

  • Matemática Discreta para Informáticos. Ejercicios resueltos.
    Rafael Caballero Roldán, Teresa Hortalá González, Narciso Martí Oliet, Susana Nieva Soto, Antonio Pareja Lora, Mario Rodríguez Artalejo. Pearson Publicaciones. ISBN 978-84-8322-394-9

  • Iniciación a la programación en C#, un enfoque práctico.
    Yolanda Cerezo López,Olga Peñalba Rodríguez, Rafael Caballero Roldán Delta Publicaciones. ISBN 84-96477-53-3.