All Stories

  1. LearnSQL: Impact of an Automatic Judge in Database Learning

    Article • Digital Threats Research and Practice, November 2025, ACM (Association for Computing Machinery)

    Adrian Riesco

  2. Proof Scores: A Survey

    Article • ACM Computing Surveys, April 2025, ACM (Association for Computing Machinery)

    Adrian Riesco

  3. Optimization Techniques for Model Checking Leads-to Properties in a Stratified Way

    Article • ACM Transactions on Software Engineering and Methodology, June 2023, ACM (Association for Computing Machinery)

    Adrian Riesco

  4. A Survey of Algorithmic Debugging

    Article • ACM Computing Surveys, July 2018, ACM (Association for Computing Machinery)

    Adrian Riesco, Josep Silva Galiana

  5. Prove it! Inferring Formal Proof Scripts from CafeOBJ Proof Scores

    Article • ACM Transactions on Software Engineering and Methodology, April 2018, ACM (Association for Computing Machinery)

    Adrian Riesco

  6. Introducing MOOC-like methodologies in a face-to-face undergraduate course: a detailed case study

    Article • Interactive Learning Environments, March 2018, Taylor & Francis

    Adrian Riesco