Vasco Miguel Gomes Nunes Manquinho


AuthID: R-000-HE8

Publicações Confirmadas: 67



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

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2026 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service