![Foto de RAFAEL](/img/uploaded/812112BF3FDD83D50F07EA6415F849D7.jpg)
RAFAEL
CABALLERO ROLDÁN
Profesor titular de universidad
Publicaciones (51) Publicaciones de RAFAEL CABALLERO ROLDÁN
2023
2022
-
Love and Hate During Political Campaigns in Social Networks
Studies in Computational Intelligence
2021
-
A unified framework for declarative debugging and testing
Information and Software Technology, Vol. 129
2020
-
Big data para científicos sociales: una introducción
Centro de Investigaciones Sociológicas (CIS)
2019
-
A core Erlang semantics for declarative debugging
Journal of Logical and Algebraic Methods in Programming, Vol. 107, pp. 1-37
2018
-
Declarative debugging of concurrent Erlang programs
Journal of Logical and Algebraic Methods in Programming, Vol. 101, pp. 22-41
2017
-
A survey of algorithmic debugging
ACM Computing Surveys, Vol. 50, Núm. 4
-
Anticipating anonymity in screening program databases
International Journal of Medical Informatics, Vol. 103, pp. 20-31
2016
-
Debugging meets testing in Erlang
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2015
-
A zoom-declarative debugger for sequential Erlang programs
Science of Computer Programming, Vol. 110, pp. 104-118
-
Checking Java assertions using automated test-case generation
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Debugging of wrong and missing answers for datalog programs with constraint handling rules
Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, PPDP 2015
-
Las bases de Big Data
Ediciones Complutense
-
Two type extensions for the constraint modeling language MiniZinc
Science of Computer Programming, Vol. 111, Núm. P1, pp. 156-189
2014
-
A Transformation-based implementation for CLP with qualification and proximity
Theory and Practice of Logic Programming, Vol. 14, Núm. 1, pp. 1-63
-
EDD: A declarative debugger for sequential Erlang programs
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2013
-
A declarative debugger for sequential Erlang programs
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Finite type extensions in constraint programming
Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming, PPDP 2013
2012
-
A declarative embedding of XQuery in a functional-logic language
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Algorithmic debugging of SQL views
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)