2024
- Do you really like me? A communication pattern for polarized Internet discussion fórums.
Rafael Caballero, Beatriz Jiménez, José Manuel Robles Morales.
PDF
- Offline topic detection and clustering for time limited events in Twitter.
Rafael Caballero, Beatriz Jiménez.
PDF
2023
- Digital Activism Masked. The Fridays for Future Movement and the “Global Day of Climate Action”: Testing Social
Function and Framing Typologies of Claims on Twitter.
.
Ana Fernandez-Zubieta, Juan Antonio Guevara Gil, Rafael Caballero Roldan, José Manuel Robles Morales.
Social Sciences, Pages: 25
2022
- Digital Activism Masked. The Fridays for Future Movement and the ‘Global Day of Climate Action’: Testing Social Function and Framing Typologies of Claims on Twitter.
(PDF)
Ana Fernandez-Zubieta, Juan Antonio Guevara Gil, Rafael Caballero Roldan, José Manuel Robles Morales.
SSNR, Elsevier, 2022, Pages: 28
2021
- Love and Hate During Political Campaigns in Social Networks
(BibTex).
(PDF)
Juan Carlos Losada, José Manuel Robles, Rosa María Benito, Rafael Caballero
Complex Networks and Their Applications X. Springer International Publishing, SCI,volume 1016 pp. 66-77. DOI: 10.1007/978-3-030-93413-2_6
- A unified framework for declarative debugging and testing
(BibTex).
(PDF)
Rafael Caballero, Enrique Martín-Martín, Adrián Riesco, Salvador Tamarit (2021)
Information and Software Technology, vol. 129, January 2021. DOI 10.1016/j.infsof.2020.106427
2020
- Predicting students’ knowledge after playing a serious game based on learning analytics data: A case study.
(BibTex).
(PDF)
Cristina Alonso-Fernández, Iván Martínez-Ortiz, Rafael Caballero, Manuel Freire, Baltasar Fernández-Manjón (2020)
Journal of Computer Assisted Learning, vol. 36, no. 3, pp. 350-358, June 2020. [JCR 2018, Impact Factor: 2.451, Q1, 41/243 in Education & Educational Research]. DOI: 10.1111/jcal.12405.
2019
2018
2017
2016
2015
- Automatic Falsification of Java Assertions
Rafael
Caballero, Manuel Montenegro, Herbert Kuchen, Vincent Von Hof
The Seventh International Conference on Advances in System Testing and Validation Lifecycle
(VALID 2015). 6 pages.
Best paper award
- Two type extensions for the constraint modeling language MiniZinc
(PDF (draft)) (BibTex)
Rafael
Caballero, Peter Stuckey, Antonio Tenorio-Fornés
Science of Computer Programming.
.
Volume 111, Part 1, 1 November 2015, Pages 156–189.
- Debugging of Wrong and Missing Answers for
Datalog Programs with Constraint Handling Rules (PDF)
(BibTex)
Rafael
Caballero, Yolanda García-Ruiz, Fernando Sáenz-Pérez
17th International Symposium on
Principles and Practice of Declarative Programming
(PPDP 2015). 12 pages.
Pages 55-66.
ACM ©2015. ISBN: 978-1-4503-3516-4
- Checking Java Assertions Using Automated
Test-Case Generation (BibTex)
Rafael
Caballero, Manuel Montenegro, Herbert Kuchen, Vincent Von Hof
25th International Symposium on
Logic-Based Program Synthesis and Transformation
(LOPSTR 2015).
Lecture Notes in Computer Science. Vol. 7927, pages 221-226
- A Zoom-Declarative Debugger for Sequential Erlang Programs (PDF) (BibTex)
Rafael
Caballero, Enrique Martín-Martín, Salvador Tamarit and Adrián Riesco
Science of Computer Programming.
Volume 110, 15 October 2015, Pages 104–118
- A Declarative Debugger for Concurrent Erlang Programs ( conference presentation )
Rafael
Caballero, Enrique Martín-Martín, Salvador Tamarit and Adrián Riesco
XV Jornadas sobre Programación y Lenguajes (PROLE 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. (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. (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. (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).
(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.
- Análisis y minería de textos con Python
Rafael Caballero, Enrique Martín y Adrián Riesco. Ed. Catarata. 2023. ISBN 978-84-125467-3-6
- Las bases de Big Data y de la Inteligencia Artificial.
Rafael Caballero y Enrique Martín. Ed. Catarata. Mayo 2022. ISBN 978-8413524894
- Big data para científicos sociales. Una introducción
Robles, José Manuel; Rodríguez, J. Tinguaro; Caballero, Rafael; Gómez, Daniel
Cuadernos metodológicos, volumen 60. Centro de Investigaciones Sociológicas. 2020. 299 páginas. ISBN 978-8474768435.
- BIG DATA con PYTHON. Recolección, almacenamiento y proceso
Rafael Caballero, Enrique Martín y Adrián Riesco. RC libros. 2018. 268 páginas.
ISBN 978-8494897207
- 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.
- Books:
- Papers:
- New Common Proper-Motion Pairs with R.A. Between 00h and 01h(PDF)
Rafael Caballero.
- Six Proper Motion Pairs Measured
with the 2-meter Faulkes Telescope North
(PDF)
Rafael Caballero , Russell Genet, J.D. Armstrong, Steve McGaughey,
Cindy Krach, Audreanna Leatualli, Aaron Rohzinski, Coleen Rohzinski,
Eric Rohzinski, Noah Rohzinski, McKayla Wandell, John Martinez, and
Thomas Smith.
- 351 New Common Proper-Motion
Pairs from the
Sloan Digital Sky Survey
(PDF)
Rafael Caballero.
- New
Northern Hemisphere Common Proper-
Motion Pairs from the UCAC-3 Catalog
(PDF)
Rafael Caballero.
- Finding
New Common Proper-Motion Binaries by Data Mining
(PDF)
Rafael Caballero.
- HJ1853:
Old companion Lost, New Companion Found (PDF)
Rafael Caballero.
- Double Star
Observations (in Spanish)