Vasco Miguel Gomes Nunes Manquinho


AuthID: R-000-HE8

Confirmed Publications: 69



11
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
12
TITLE: Exact and approximate determination of the Pareto front using Minimal Correction Subsets
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: 8
13
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
14
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: 5
15
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
16
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: 4
17
TITLE: Associative Analysis of Inefficiencies and Station Activity Levels in Emergency Response
AUTHORS: Tiam Lee, Thomas James; Henriques, Rui; Manquinho, Vasco ;
PUBLISHED: 2022, SOURCE: ISPRS INTERNATIONAL JOURNAL OF GEO-INFORMATION, VOLUME: 11, ISSUE: 7
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID | CIÊNCIAVITAE
18
TITLE: Constraint-based electoral districting using a new compactness measure: Anapplication to Portugal br
AUTHORS: Almeida, Tiago; Manquinho, Vasco ;
PUBLISHED: 2022, SOURCE: COMPUTERS & OPERATIONS RESEARCH, VOLUME: 146
INDEXED IN: Scopus WOS CrossRef: 3
IN MY: ORCID | CIÊNCIAVITAE
19
TITLE: DeepData: Machine learning in the marine ecosystems
AUTHORS: Oliveira e Silva, Leonor; Resende, Magda; Galhardas, Helena ; Manquinho, Vasco ; Lynce, Ines ;
PUBLISHED: 2022, SOURCE: EXPERT SYSTEMS WITH APPLICATIONS, VOLUME: 206
INDEXED IN: Scopus WOS DBLP CrossRef: 13
20
TITLE: MultIPAs: applying program transformations to introductory programming assignments for data augmentation
AUTHORS: Pedro Orvalho; Mikoláš Janota; Vasco Manquinho ;
PUBLISHED: 2022, SOURCE: Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering
INDEXED IN: CrossRef: 1
IN MY: ORCID | CIÊNCIAVITAE
Page 2 of 7. Total results: 69.

footer slogan

Useful Links

Get Help

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