Publications (51) Publications de RAFAEL CABALLERO ROLDÁN

2023

  1. 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

    Social Sciences, Vol. 12, Núm. 12

2022

  1. Love and Hate During Political Campaigns in Social Networks

    Studies in Computational Intelligence

2021

  1. A unified framework for declarative debugging and testing

    Information and Software Technology, Vol. 129

2020

  1. Big data para científicos sociales: una introducción

    Centro de Investigaciones Sociológicas (CIS)

2019

  1. A core Erlang semantics for declarative debugging

    Journal of Logical and Algebraic Methods in Programming, Vol. 107, pp. 1-37

2018

  1. Declarative debugging of concurrent Erlang programs

    Journal of Logical and Algebraic Methods in Programming, Vol. 101, pp. 22-41

2017

  1. A survey of algorithmic debugging

    ACM Computing Surveys, Vol. 50, Núm. 4

  2. Anticipating anonymity in screening program databases

    International Journal of Medical Informatics, Vol. 103, pp. 20-31

2016

  1. Debugging meets testing in Erlang

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2015

  1. A zoom-declarative debugger for sequential Erlang programs

    Science of Computer Programming, Vol. 110, pp. 104-118

  2. 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)

  3. 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

  4. Las bases de Big Data

    Ediciones Complutense

  5. Two type extensions for the constraint modeling language MiniZinc

    Science of Computer Programming, Vol. 111, Núm. P1, pp. 156-189

2014

  1. A Transformation-based implementation for CLP with qualification and proximity

    Theory and Practice of Logic Programming, Vol. 14, Núm. 1, pp. 1-63

  2. 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

  1. A declarative debugger for sequential Erlang programs

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  2. Finite type extensions in constraint programming

    Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming, PPDP 2013

2012

  1. 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)

  2. Algorithmic debugging of SQL views

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)