Vasco Miguel Gomes Nunes Manquinho


AuthID: R-000-HE8

Confirmed Publications: 67



1
TITLE: Computation of Immediate Neighbours of Monotone Boolean Functions
AUTHORS: Cury, Jose E. R.; Roxo, Patricia Tenera; Manquinho, Vasco ; Chaouiya, Claudine; Monteiro, Pedro T.;
PUBLISHED: 2026, SOURCE: 23rd International Conference on Computational Methods in Systems Biology-CMSB-Annual in COMPUTATIONAL METHODS IN SYSTEMS BIOLOGY, CMSB 2025, VOLUME: 15959
INDEXED IN: Scopus WOS CrossRef
2
TITLE: CFAULTS: Model-Based Diagnosis for Fault Localization in C with Multiple Test Cases
AUTHORS: Orvalho, Pedro; Janota, Mikolas; Manquinho, Vasco ;
PUBLISHED: 2025, SOURCE: 26th International Symposium on Formal Methods (FM) in FORMAL METHODS, PT I, FM 2024, VOLUME: 14933
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID | CIÊNCIAVITAE
3
TITLE: CUBES: A Parallel Synthesizer for SQL Using Examples  Full Text
AUTHORS: Ricardo Brancas; Miguel Terra-Neves; Miguel Ventura; Vasco Manquinho ; Ruben Martins;
PUBLISHED: 2025, SOURCE: Formal Aspects of Computing
INDEXED IN: CrossRef
IN MY: ORCID | CIÊNCIAVITAE
4
TITLE: InvAASTCluster: On Applying Invariant-Based Program Clustering to Introductory Programming Assignments
AUTHORS: Orvalho, Pedro; Janota, Mikolas; Manquinho, Vasco ;
PUBLISHED: 2025, SOURCE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 230
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID | CIÊNCIAVITAE
5
TITLE: BatFix: Repairing Language Model-based Transpilation  Full Text
AUTHORS: Ramos, Daniel; Lynce, Ines ; Manquinho, Vasco ; Martins, Ruben; Le Goues, Claire;
PUBLISHED: 2024, SOURCE: ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, VOLUME: 33, ISSUE: 6
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | CIÊNCIAVITAE
6
TITLE: C-Pack of IPAs: A C90 Program Benchmark of Introductory Programming Assignments
AUTHORS: Orvalho, Pedro; Janota, Mikolas; Manquinho, Vasco ;
PUBLISHED: 2024, SOURCE: 5th ACM/IEEE International Workshop on Automated Program Repair (APR) in 2024 ACM/IEEE INTERNATIONAL WORKSHOP ON AUTOMATED PROGRAM REPAIR, APR 2024, VOLUME: 10808
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID | CIÊNCIAVITAE
7
TITLE: GITSEED: A Git-backed Automated Assessment Tool for Software Engineering and Programming Education
AUTHORS: Orvalho, Pedro; Janota, Mikolas; Manquinho, Vasco ;
PUBLISHED: 2024, SOURCE: 1st ACM Virtual Global Computing Education Conference (SIGCSE) in PROCEEDINGS OF THE 2024 ACM VIRTUAL GLOBAL COMPUTING EDUCATION CONFERENCE V.1, SIGCSE VIRTUAL 2024
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID | CIÊNCIAVITAE
8
TITLE: Towards Reliable SQL Synthesis: Fuzzing-Based Evaluation and Disambiguation
AUTHORS: Brancas, Ricardo; Terra Neves, Miguel; Ventura, Miguel; Manquinho, Vasco ; Martins, Ruben;
PUBLISHED: 2024, SOURCE: 27th International Conference on Fundamental Approaches to Software Engineering (FASE) in FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, FASE 2024, VOLUME: 14573
INDEXED IN: Scopus WOS CrossRef: 1
IN MY: ORCID | CIÊNCIAVITAE
9
TITLE: Exact and approximate determination of the Pareto front using Minimal Correction Subsets  Full Text
AUTHORS: Guerreiro, A. P.; Cortes, J.; Vanderpooten, D.; Bazgan, C.; Lynce, I. ; Manquinho, V ; Figueira, J. R. ;
PUBLISHED: 2023, SOURCE: COMPUTERS & OPERATIONS RESEARCH, VOLUME: 153
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: ORCID | CIÊNCIAVITAE
10
TITLE: Graph Neural Networks for Mapping Variables Between Programs
AUTHORS: Pedro Orvalho; Jelle Piepenbrock; Mikoláš Janota; Vasco Manquinho ;
PUBLISHED: 2023, SOURCE: 26th European Conference on Artificial Intelligence, ECAI 2023 in Frontiers in Artificial Intelligence and Applications, VOLUME: 372
INDEXED IN: Scopus CrossRef
IN MY: ORCID | CIÊNCIAVITAE
Page 1 of 7. Total results: 67.

footer slogan

Useful Links

Get Help

© 2025 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service