CUBES: A Parallel Synthesizer for SQL Using Examples. - Ricardo Brancas; Miguel Terra-Neves; Miguel Ventura; Vasco Manquinho; Ruben Martins (CoRR, 2022)

On Repairing Natural Language to SQL Queries. - Aidan Z. H. Yang; Ricardo Brancas; Pedro Esteves; Sofia Aparicio; João Pedro Nadkarni; Miguel Terra-Neves; Vasco Manquinho; Ruben Martins (CoRR, 2023)

Towards Reliable SQL Synthesis: Fuzzing-Based Evaluation and Disambiguation. - Ricardo Brancas; Miguel Terra-Neves; Miguel Ventura; Vasco Manquinho; Ruben Martins (FASE, 2024)

Combining Logic with Large Language Models for Automatic Debugging and Repair of ASP Programs. - Ricardo Brancas; Vasco Manquinho; Ruben Martins (CoRR, 2024)

Combining Logic and Large Language Models for Assisted Debugging and Repair of ASP Programs. - Ricardo Brancas; Vasco Manquinho; Ruben Martins (ICST, 2025)

Can Automated Feedback Turn Students into Happy Prologians? - Ricardo Brancas; Pedro Orvalho; Carolina Carreira; Vasco Manquinho; Ruben Martins (CoRR, 2025)