Vasco Miguel Gomes Nunes Manquinho


AuthID: R-000-HE8

Confirmed Publications: 64



1
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
2
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
3
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
4
TITLE: GitSEED: A Git-backed Automated Assessment Tool for Software Engineering and Programming Education
AUTHORS: Pedro Orvalho; Mikolás Janota; Vasco Manquinho ;
PUBLISHED: 2024, SOURCE: 1st ACM Virtual Global Computing Education Conference V. 1, SIGCSE Virtual 2024 in SIGCSE Virtual 2024 - Proceedings of the 2024 ACM Virtual Global Computing Education Conference V. 1
INDEXED IN: Scopus CrossRef
IN MY: ORCID | CIÊNCIAVITAE
5
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
6
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
7
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
8
TITLE: MELT: Mining Effective Lightweight Transformations from Pull Requests
AUTHORS: Ramos, Daniel; Mitchell, Hailie; Lynce, Ines ; Manquinho, Vasco ; Martins, Ruben; Le Goues, Claire;
PUBLISHED: 2023, SOURCE: 38th IEEE/ACM International Conference on Automated Software Engineering (ASE) in 2023 38TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, ASE
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: ORCID | CIÊNCIAVITAE
9
TITLE: Multiple-input neural networks for time series forecasting incorporating historical and prospective context
AUTHORS: Palet, Joao; Manquinho, Vasco ; Henriques, Rui;
PUBLISHED: 2023, SOURCE: DATA MINING AND KNOWLEDGE DISCOVERY, VOLUME: 38, ISSUE: 1
INDEXED IN: Scopus WOS CrossRef: 2
IN MY: ORCID | CIÊNCIAVITAE
10
TITLE: New Core-Guided and Hitting Set Algorithms for Multi-Objective Combinatorial Optimization
AUTHORS: Cortes, Joao; Lynce, Ines ; Manquinho, Vasco ;
PUBLISHED: 2023, SOURCE: 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) in TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PT II, TACAS 2023, VOLUME: 13994
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID | CIÊNCIAVITAE
Page 1 of 7. Total results: 64.

footer slogan

Useful Links

Get Help

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