Associate Professor of Computer Science
Rafael Caballero Roldán
Department of Computer Systems and Computing
Faculty of Computer Science · Complutense University of Madrid
Research group
FADOSS · Diseño y análisis formal de sistemas de software
Group page ↗Publications
- 2026
Exploring the socioeconomic pattern of humans’ future orientation: a multi-method multi-study approach
A Díaz Guerra Romero, M Antino, A Rodríguez Muñoz, ... · American Psychological Association
- 2024
Offline topic detection and clustering for time limited events in Twitter
BJ Rafael Caballero · https://rafaelcaballero.github.io/papers/Offline_Twitter.pdf
- 2024
Do you really like me? A communication pattern for polarized Internet discussion fórums.
JMR Rafael Caballero, Beatriz Jiménez · https://rafaelcaballero.github.io/papers/Do_you_really_like_me.pdf
- 2023
- 2023
Análisis y Minería de Textos con Python
RC Roldán y Enrique Martín Martín · Ediciones RC
- 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
A Fernandez-Zubieta, JA Guevara Gil, R Caballero Roldan, ... · SSNR
- 2022
Las bases de Big Data y de la Inteligencia Artificial
R Caballero y Enrique Martín · Editorial La Catarata
- 2021
Love and hate during political campaigns in social networks
JC Losada, JM Robles, RM Benito, R Caballero · International Conference on Complex Networks and Their Applications, 66-77
- 2021
Iniciación a la programación en C# un enfoque práctico
Y Cerezo · Grupo Vanchri
- 2021
A unified framework for declarative debugging and testing
R Caballero, E Martin-Martin, A Riesco, S Tamarit · Information and Software Technology 129, 106427
- 2020
Predicting students' knowledge after playing a serious game based on learning analytics data: A case study
C Alonso‐Fernández, I Martínez‐Ortiz, R Caballero, M Freire, ... · Journal of Computer Assisted Learning 36 (3), 350-358
- 2020
Las bases de big data
R Caballero, E Martín · Los Libros de la Catarata
- 2020
A unified framework for declarative debugging and testing
R Caballero Roldán, A Riesco Rodríguez, E Martín Martín, S Tamarit · Elsevier
- 2020
Big data para científicos sociales. Una introducción
JM Robles, JT Rodríguez, R Caballero, D Gómez · CIS 60, 299
- 2019
Big data con Python: recolección, almacenamiento y proceso
RC Roldán, EM Martín, AR Rodríguez · Alpha Editorial
- 2019
A core Erlang semantics for declarative debugging
R Caballero, E Martin-Martin, A Riesco, S Tamarit · Journal of Logical and Algebraic Methods in Programming 107, 1-37
- 2019
Predicción de cambios en el rendimiento de futbolistas
A Gutiérrez Gallego, D Parra Rodríguez
- 2019
A core Erlang semantics for declarative debugging
R Caballero Roldán, E Martin-Martin, A Riesco Rodríguez, S Tamarit · Elsevier
- 2018
Short term cloud nowcasting for a solar power plant based on irradiance historical data
R Caballero, LF Zarzalejo, Á Otero, L Piñuel, S Wilbert · Journal of Computer Science and Technology 18 (03), e21-e21
- 2018
Declarative debugging of concurrent Erlang programs
R Caballero, E Martin-Martin, A Riesco, S Tamarit · Journal of logical and algebraic methods in programming 101, 22-41
- 2018
Mejora del aprendizaje de SQL con realimentación semántica
F Sáenz Pérez, R Caballero Roldán, Y García Ruiz, ...
- 2018
- 2018
- 2018
Big Data con Python
R Caballero, E Martín-Martín, A Riesco
- 2018
Predicción de nubes a corto plazo para una planta solar a partir de datos históricos
R Caballero, LF Zarzalejo, Á Otero, L Piñuel, S Wilbert · VI Jornadas de Cloud Computing & Big Data (JCC&BD)(La Plata, 2018)
- 2018
Detección offline de subtemas en Twitter durante eventos
B Jiménez del Olmo
- 2018
Detección de anomalías en datos de inspección de vehículos
D Salcedo Gutiérrez
- 2018
- 2017
A survey of algorithmic debugging
R Caballero, A Riesco, J Silva · ACM Computing Surveys (CSUR) 50 (4), 1-35
- 2017
Anticipating anonymity in screening program databases
R Caballero, S Sen, JF Nygård · International Journal of Medical Informatics 103, 20-31
- 2017
Behavior of health professionals concerning the recommendations for prophylaxis for infectious endocarditis in our setting: Are the guidelines followed?
P Anguita, F Castillo, P Gámez, F Carrasco, R Roldán, B Jurado, ... · Revista Clínica Española (English Edition) 217 (2), 79-86
- 2017
Clasificación supervisada para consulta temática en Twitter
S Jansa Sanz, E Ortiz Torralba
- 2016
Debugging meets testing in erlang
S Tamarit, A Riesco, E Martin-Martin, R Caballero · International Conference on Tests and Proofs, 171-180
- 2016
Morir de felicidad
R Caballero Roldán · Facultad de Informática, Universidad Complutense de Madrid
- 2016
Anonimización de bases de datos médicas
S Naji Jaffar, B Manjón Corrales
- 2016
Implementación de un entorno de aprendizaje colaborativo de lenguajes de programación mediante traducción
R Caballero Roldán, E Martín Martín, M Montenegro Montes, ...
- 2016
A program transformation for converting java assertions into control-flow statements
R Caballero, V von Hof, M Montenegro, H Kuchen · ERCIS Working Paper
- 2015
Two type extensions for the constraint modelling language MiniZinc
R Caballero Roldán, PJ Stuckey, Á Tenorio Fornés · Elsevier
- 2015
Two type extensions for the constraint modeling language MiniZinc
R Caballero, PJ Stuckey, A Tenorio-Fornes · Science of Computer Programming 111, 156-189
- 2015
A zoom-declarative debugger for sequential Erlang programs
R Caballero, E Martin-Martin, A Riesco, S Tamarit · Science of Computer Programming 110, 104-118
- 2015
Debugging of wrong and missing answers for Datalog programs with constraint handling rules
R Caballero, Y García-Ruiz, F Sáenz-Pérez · Proceedings of the 17th International Symposium on Principles and Practice …
- 2015
Checking java assertions using automated test-case generation
R Caballero, M Montenegro, H Kuchen, V von Hof · International Symposium on Logic-Based Program Synthesis and Transformation …
- 2015
New Common Proper-Motion Pairs with RA Between 00h and 01h
R Caballero · Journal of Double Star Observations 11 (3), 167-169
- 2015
Automatic falsification of Java assertions
R Caballero, M Montenegro, H Kuchen, V von Hof · Proceedings of the 7th International Conference in Advances in System …
- 2015
Constraint Programming Meets SQL
R Caballero, C Ieva · XV Jornadas sobre Programación y Lenguajes, PROLE 2015 (SISTEDES)
- 2014
A zoom-declarative debugger for sequential Erlang programs (extended version)
R Caballero, E Martin-Martin, A Riesco, S Tamarit · Departamento de Sistemas Informáticos y Computación
- 2014
EDD: A declarative debugger for sequential erlang programs
R Caballero, E Martin-Martin, A Riesco, S Tamarit · International Conference on Tools and Algorithms for the Construction and …
- 2014
Ray Bradbury, poeta
R Caballero Roldán · Facultad de Ciencias de la Información, Universidad Complutense de Madrid
- 2013
A declarative debugger for concurrent erlang programs (extended version)
R Caballero, E Martın-Martın, A Riesco, S Tamarit · Technical Report SIC-15/13, Dpto. Sistemas Informáticos y Computación …
- 2013
Finite type extensions in constraint programming
R Caballero, PJ Stuckey, A Tenorio-Fornés · Proceedings of the 15th Symposium on Principles and Practice of Declarative …
- 2013
A declarative debugger for sequential Erlang programs
R Caballero, E Martin-Martin, A Riesco, S Tamarit · International Conference on Tests and Proofs, 96-114
- 2013
Test-Case Generation for SQL Nested Queries with Existential Conditions
R Caballero, J Luzon-Martin, A Tenorio-Fornes · Electronic Communications of the EASST 55
- 2013
A calculus for sequential erlang programs
R Caballero, E Martin-Martin, A Riesco, S Tamarit · Technical Report 03/13, Departamento de Sistemas Informáticos y Computación …
- 2013
A calculus for zoom debugging sequential Erlang programs
R Caballero, E Martin-Martin, A Riesco, S Tamarit · Technical Report 07/13, Departamento de Sistemas Informáticos y Computación
- 2013
Finite type extensions in Constraint Programming (extended version)
R Caballero, PJ Stuckey, A Tenorio-Fornés · Technical Report SIC-05/13, Facultad de Informática, Universidad Complutense …
- 2013
Six Proper Motion Pairs Measured with the 2-meter Faulkes Telescope North
R Caballero, R Genet, JD Armstrong, S McGaughey, C Krach, A Leatualli, ... · Journal of Double Star Observations 9 (1), 61-68
- 2012
Internet Astrometry
R Caballero, RW Argyle · Observing and Measuring Visual Double Stars, 281-292
- 2012
Declarative debugging of wrong and missing answers for SQL views
R Caballero, Y García-Ruiz, F Sáenz-Pérez · International Symposium on Functional and Logic Programming, 73-87
- 2012
XPath query processing in a functional-logic language
JM Almendros-Jiménez, R Caballero, Y García-Ruiz, F Sáenz-Pérez · Electronic Notes in Theoretical Computer Science 282, 19-34
- 2012
A Transformation-based implementation for CLP with qualification and proximity
R Caballero, M Rodríguez-Artalejo, CA Romero-Díaz · arXiv preprint arXiv:1201.5418
- 2012
In memoriam Ray Bradbury
H Cortiguera, R Caballero Roldán · Facultad de Informática, Universidad Complutense de Madrid
- 2012
Gracias, Alan
R Caballero Roldán · Facultad de Informática, Universidad Complutense de Madrid
- 2012
Generación de casos de prueba para SQL
J Luzón Martín, Á Tenorio Fornés
- 2012
351 New Common Proper-Motion Pairs from the Sloan Digital Sky Survey
R Caballero · Journal of Double Star Observations 8 (1), 58-70
- 2012
Algorithmic debugging of SQL views
R Caballero, Y García-Ruiz, F Sáenz-Pérez · Perspectives of Systems Informatics, 77-85
- 2011
A deductive database with datalog and sql query languages
F Sáenz-Pérez, R Caballero, Y García-Ruiz · Asian Symposium on Programming Languages and Systems, 66-73
- 2011
Declarative debugging
R Caballero Roldán
- 2011
XQuery in the functional-logic language Toy
JM Almendros-Jiménez, R Caballero, Y García-Ruiz, F Sáenz-Pérez · International Workshop on Functional and Constraint Logic Programming, 35-51
- 2011
Simplifying questions in maude declarative debugger by transforming proof trees
R Caballero, A Riesco, A Verdejo, N Martí-Oliet · International Symposium on Logic-Based Program Synthesis and Transformation …
- 2011
A Declarative Embedding of XQuery in a Functional-Logic Language
JM Almendros-Jiménez, R Caballero, Y García-Ruiz, F Sáenz-Pérez · International Symposium on Logic-Based Program Synthesis and Transformation …
- 2011
Programación declarativa cualificada con restricciones
CA Romero Díaz · Universidad Complutense de Madrid, Servicio de Publicaciones
- 2011
Embedding XQuery in Toy
J Almendros-Jiménez, R Caballero, Y Garcıa-Ruiz, F Sáenz-Pérez
- 2011
Improving the debugging of membership equational logic specifications
R Caballero, N Martı-Oliet, A Riesco, A Verdejo · Technical Report SIC-02-11, Dpto. Sistemas Informáticos y Computación …
- 2011
A program transformation for returning states in functional-logic programs
R Caballero · Proceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and …
- 2011
Integrating XPath with the functional-logic language toy
R Caballero, Y García-Ruiz, F Sáenz-Pérez · International Symposium on Practical Aspects of Declarative Languages, 145-159
- 2011
A Generic Scheme for Qualified Constraint Functional Logic Progamming
R Caballero, M Rodríguez-Artalejo, CA Romero-Díaz · arXiv preprint arXiv:1101.2146
- 2010
New Common Proper-Motion Pairs from the PPMX Catalog
R Caballero, B Collado-Iglesias, S Pozuelo-González, ... · arXiv preprint arXiv:1007.0273
- 2010
Applying constraint logic programming to SQL test case generation
R Caballero, Y García-Ruiz, F Sáenz-Pérez · International Symposium on Functional and Logic Programming, 191-206
- 2010
New Common Proper-Motion Pairs from the IPHAS-POSS-I Survey
R Caballero, AA Hubble · Journal of Double Star Observations 6 (2), 160-167
- 2010
Proceedings of the 19th Workshop on Logic-based methods in Programming Environments (WLPE 2009)
R Caballero, J Gallagher · arXiv preprint arXiv:1002.4535
- 2010
Detección de pares de movimiento propio común mediante minería de datos
B Collado Iglesias, AJ Fernández Sánchez, S Pozuelo González
- 2010
Estrellas dobles: dobles nuevas sin telescopio
RC Roldán · Astronomía, 64-65
- 2010
New Northern Hemisphere Common Proper-Motion Pairs from the UCAC-3 Catalog
R Caballero · Journal of Double Star Observations 6 (1), 97-113
- 2009
A declarative debugger for Maude specifications-User guide
A Riesco, A Verdejo, R Caballero, N Martı-Oliet · Technical Report SIC-7-09, Dpto. Sistemas Informáticos y Computación …
- 2009
Qualified computations in functional logic programming
R Caballero, M Rodríguez-Artalejo, CA Romero-Díaz · International Conference on Logic Programming, 449-463
- 2009
Finding New Common Proper-Motion Binaries by Data Mining
R Caballero, AA Hubble · Journal of Double Star Observations 5 (3), 156-167
- 2009
A declarative debugger for Maude functional modules
R Caballero, N Martí-Oliet, A Riesco, A Verdejo · Electronic Notes in Theoretical Computer Science 238 (3), 63-81
- 2009
A Declarative Debugger for Maude Specifications: User Guide
A Riesco Rodríguez, JA Verdejo López, N Martí Oliet, R Caballero Roldán
- 2009
Similitary based reasoning in qualified logic programming
R Caballero, MR Artalejo, CAR Díaz · Programación y lenguajes: IX Jornadas sobre Programación y Lenguajes, PROLE …
- 2009
Declarative Debugging of Rewriting Logic Specifications, Recent Trends in Algebraic Development Techniques: 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16 …
A Riesco, A Verdejo, R Caballero, N Martí-Oliet · Springer-Verlag, Berlin, Heidelberg
- 2009
Declarative debugging of rewriting logic specifications
A Riesco, A Verdejo, R Caballero, N Martí-Oliet · Recent Trends in Algebraic Development Techniques, 308-325
- 2008
HJ 1853: Old Companion Lost, New Companion Found
R Caballero · Journal of Double Star Observations 4 (4), 164-167
- 2008
A declarative debugger for Maude
A Riesco, A Verdejo, N Martí-Oliet, R Caballero · International Conference on Algebraic Methodology and Software Technology …
- 2008
Similarity-based reasoning in qualified logic programming
R Caballero, M Rodríguez-Artalejo, CA Romero-Díaz · Proceedings of the 10th international ACM SIGPLAN conference on Principles …
- 2008
A new proposal for debugging datalog programs
R Caballero, Y García-Ruiz, F Sáenz-Pérez · Electronic Notes in Theoretical Computer Science 216, 79-92
- 2008
Declarative debugging of membership equational logic specifications
R Caballero, N Martí-Oliet, A Riesco, A Verdejo · Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the …
- 2008
Declarative diagnosis of missing answers in constraint functional-logic programming
R Caballero, M Rodríguez Artalejo, R del Vado Vírseda · International Symposium on Functional and Logic Programming, 305-321
- 2008
Declarative debugging of Maude modules
A Riesco, A Verdejo, R Caballero, N Martı-Oliet · Technical Report SIC-6-08, Dpto. Sistemas Informáticos y Computación …
- 2008
A theoretical framework for the declarative debugging of datalog programs
R Caballero, Y García-Ruiz, F Sáenz-Pérez · International Workshop on Semantics in Data and Knowledge Bases, 143-159
- 2008
Algorithmic debugging of missing answers in constraint functional-logic programming
R Caballero, M Rodrıguez-Artalejo, R del Vado-Vırseda · Technical Report DSIC 2/08, Universidad Complutense de Madrid
- 2007
Declarative debugging of Maude functional modules
R Caballero, N Martı-Oliet, A Riesco, A Verdejo · Technical Report 4/07, Dpto. Sistemas Informáticos y Computación …
- 2007
A Multiparadigm Declarative Language Version 2.3.
R Caballero, J Sánchez
- 2007
Declarative debugging of missing answers in constraint functional-logic programming
R Caballero, MR Artalejo, R del Vado Vírseda · ICLP 7, 425-427
- 2007
Implementing Dynamic-Cut in TOY
R Caballero, Y García-Ruiz · Electronic Notes in Theoretical Computer Science 177, 153-168
- 2007
Algorithmic debugging of Java programs
R Caballero, C Hermanns, H Kuchen · Electronic Notes in Theoretical Computer Science 177, 75-89
- 2007
Regular Talks-Poster Presentations-Declarative Debugging of Missing Answers in Constraint Functional-Logic Programming
R Caballero, MR Artalejo, RV Virseda · Lecture Notes in Computer Science 4670, 425-427
- 2007
T OY, a multiparadigm declarative language. version 2.3. 1. R. Caballero and J. Sánchez
P Arenas, AJ Fernández, A Gil, FJ López-Fraguas, M Rodrıguez-Artalejo, ...
- 2007
TOY: A Multiparadigm Declarative Language (version 2.3. 1)
R Caballero, J Sánchez · URL: http://toy. sourceforge. net
- 2007
Matemática discreta para informáticos: ejercicios resueltos
R Caballero Roldán · Matemática discreta para informáticos: Ejercicios resueltos
- 2006
- 2006
Declarative diagnosis of wrong answers in constraint functional-logic programming
R Caballero, MR Artalejo, R del Vado Vírseda · International Conference on Logic Programming, 421-422
- 2006
TOY: A multiparadigm declarative language
R Caballero, J Sánchez · version 2.2. 3. Technical report, Universidad Complutense de Madrid
- 2006
SOCLP: A Set Oriented Calculus for Logic Programming
R Caballero, Y Garcıa-Ruiz, F Sáenz-Pérez
- 2006
Depurador Declarativo de programas JAVA
F González-Blanch Rodríguez, R Miguel Roses, S Serrano Soria
- 2006
Towards a Set Oriented Calculus for Logic Programming 1
R Caballero, Y García-Ruiz, F Sáenz-Pérez
- 2005
A declarative debugger of incorrect answers for constraint functional-logic programs
R Caballero · Proceedings of the 2005 ACM SIGPLAN workshop on Curry and functional logic …
- 2005
Iniciación a la Programación en C#, Un enfoque práctico
CL Yolanda, PR Olga, CR Rafael · Delta Publicaciones. Madrid España
- 2005
A Declarative Debugger of Incorrect Answers for Constraint Functional-Logic Programs" System Demonstration
R Caballero · WCFLP...: Proceedings of the ACM SIGPLAN... Workshop on Curry and Functional …
- 2004
: a Declarative Debugging Tool for Functional-Logic Languages
R Caballero, M Rodríguez-Artalejo · International Symposium on Functional and Logic Programming, 70-84
- 2004
Técnicas de diagnóstico y depuración declarativa para lenguajes lógico-funcionales
R CABALLERO ROLDAN · Técnicas de diagnóstico y depuración declarativa para lenguajes lógico …
- 2004
Técnicas de diagnóstico y depuración declarativa para lenguajes lógico-funcionales
RC Roldán · Universidad Complutense de Madrid
- 2004
Constraint solving for generating glass-box test cases
C Lembeck, R Caballero, RA Müller, H Kuchen · Proceedings WFLP 4, 19-32
- 2003
Improving deterministic computations in lazy functional logic languages
R Caballero, FJ López-Fraguas · Journal of Functional and Logic Programming 1, 23
- 2002
Declarative debugging for encapsulated search
R Caballero, W Lux · Electronic Notes in Theoretical Computer Science 76, 52-64
- 2002
Dynamic-cut with definitional trees
R Caballero, FJ López-Fraguas · International Symposium on Functional and Logic Programming, 245-258
- 2002
A declarative debugging system for lazy functional logic programs
R Caballero, M Rodríguez-Artalejo · Electronic Notes in Theoretical Computer Science 64, 113-175
- 2002
Toy: A multiparadigm declarative language
M Abengózar-Carneros, P Arenas-Sánchez, R Caballero-Roldán, ... · Version 2.0. Technical Report, Dpto. Sistemas Informáticos y Programación …
- 2002
Duality in fractional programming involving locally arcwise connected and related functions
IM Stancu-Minasian, R Caballero Roldán, EJ Cerdá Tena, ... · Instituto Complutense de Análisis Económico. Universidad Complutense de Madrid
- 2001
Theoretical foundations for the declarative debugging of lazy functional logic programs
R Caballero, FJ López-Fraguas, M Rodríguez-Artalejo · International Symposium on Functional and Logic Programming, 170-184
- 2001
A declarative debugger of wrong answers for lazy functional logic programs
R Caballero, MR Artalejo · Primeras jornadas sobre programación y lenguajes:(Prole 2001):[celebradas en …
- 2001
A Declarative Debugger of Wrong Answers for Lazy Functional Logical Programs
MRA Rafael Caballero · International Workshop on Functional and (Constraint) Logic Programming, 1-14
- 2000
Efficient solution concepts and their relations in stochastic multiobjective programming
R Caballero Roldán, EJ Cerdá Tena, MM Muñoz Martos, L Rey, ... · Facultad de Ciencias Económicas y Empresariales. Instituto Complutense de …
- 2000
A Logical Framework for the Algorithmic Debugging of Lazy Functional-Logic Program.
R Caballero, FJ López-Fraguas, M Rodríguez-Artalejo · WFLP, 8-22
- 1999
A functional-logic perspective of parsing
R Caballero, FJ López-Fraguas · International Symposium on Functional and Logic Programming, 85-99
- 1999
Extensions: A technique for structuring functional-logic programs
R Caballero, FJ López-Fraguas · International Andrei Ershov Memorial Conference on Perspectives of System …
- 1998
A functional logic alternative to monads
R Caballero, FJ López · Proc. of Workshop on Component-Based Software Development in Computer Logic …
- 1998
Parsing with Non-Deterministic Functions.
R Caballero, FJ López-Fraguas · APPIA-GULP-PRODE, 87-100
- 1997
User’s manual for Toy
R Caballero-Roldán, FJ López-Fraguas, J Sánchez-Hernández · Tech. Rep. DIA 97/57
- 1997
The Stochastic Bottleneck Linear Programming Problem
IM Stancu-Minasian, R Caballero Roldán, EJ Cerdá Tena, ... · Facultad de Ciencias Económicas y Empresariales. Instituto Complutense de …
- 1997
User’s manual for T OY
R Caballero, F López-Fraguas, J Sánchez · Tech-nical report SIP-5797, Universidad Com-plutense de Madrid, Dpto …
- 1996
Acerca de una enumeración peirceana de los racionales
OFS Agreda, EO Rosero, R Caballero · Boletín de matemáticas 3 (2), 83-96
- —
Falsification of Java Assertions Using Automatic Test-Case Generators
R Caballero, M Montenegro, H Kuchen, V von Hof
- —
Declarative Debugging of Wrong and Missing Answers for SQL views
RC Roldán, YG Ruiz, FS Pérez
- —
PROMETIDOS SUMMER SCHOOL
RC Roldán
- —
A Declarative Debugger for Concurrent Erlang Programs
R Caballero, E Martin-Martin, A Riesco, S Tamarit
- —
Declarative Debugging of Wrong and Missing Answers for SQL Views (extended version)
R Caballero, Y García-Ruiz, F Sáenz-Pérez
- —
Debugging Datalog Programs Through CHRs (extended version)
R Caballero, Y Garcıa-Ruiz, F Sáenz-Pérez
- —
TOY: A Multiparadigm Declarative Language (version 2.3. 1), 2007
R Caballero, J Sanchez
- —
Dynamic Detection of Deterministic Computations in Non-Deterministic Functional-Logic Programs
R Caballero, FJ López-Fraguas
- —
A functional specification of declarative debugging for logic programming
R Caballero, FJ Lopez-Fraguas, M Rodrıguez-Artalejo · Proc. of the 8th International Workshop on Functional and Logic Programming …
- —
T OY, a multiparadigm declarative language. version 2.3. 1, R. Caballero and J. Sánchez (Eds.)(2007)
P Arenas, AJ Fernández, A Gil, FJ López-Fraguas, M Rodrıguez-Artalejo, ...
- —
Toy, a multiparadigm declarative language. version 2.3. 2, October 2011
R Caballero, J Sánchez, PA Sánchez, AJF Leiva, AG Luezas, FL Fraguas, ...
- —
T OY, a multiparadigm declarative language. version 2.3. 1, 2007. R. Caballero and J. Sánchez
P Arenas, AJ Fernández, A Gil, FJ López-Fraguas, M Rodrıguez-Artalejo, ...
- —
Algorithmic Debugging of Wrong Answers in Constraint Functional-Logic Programming
RC Roldán, MR Artalejo, R del Vado Vırseda
Books
- 40 conceptos clave sobre inteligencia artificialR. Caballero and E. Martín · Catarata, 2025 · ISBN 978-84-1067-413-4
- Análisis y minería de textos con PythonR. Caballero, E. Martín and A. Riesco · 2023
- Las bases de Big Data y de la Inteligencia ArtificialR. Caballero and E. Martín · Catarata, 2022
- Big data para científicos socialesJ. M. Robles, J. T. Rodríguez, R. Caballero and D. Gómez · CIS, 2020
- Big Data con Python: recolección, almacenamiento y procesoR. Caballero, E. Martín and A. Riesco · RC Libros, 2018
Contact
Calle Prof. José García Santesmases, s/n
28040 Madrid, Spain