Vasco Miguel Gomes Nunes Manquinho


AuthID: R-000-HE8

Confirmed Publications: 67



11
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
12
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
13
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
14
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
15
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
16
TITLE: DeepData: Machine learning in the marine ecosystems  Full Text
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: 7
IN MY: ORCID | CIÊNCIAVITAE
17
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
18
TITLE: AlloyMax: Bringing Maximum Satisfaction to Relational Specifications
AUTHORS: Zhang, CJ; Wagner, R; Orvalho, P; Garlan, D; Manquinho, V ; Martins, R; Kang, E;
PUBLISHED: 2021, SOURCE: 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) in PROCEEDINGS OF THE 29TH ACM JOINT MEETING ON EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING (ESEC/FSE '21)
INDEXED IN: Scopus WOS CrossRef: 5
IN MY: ORCID | CIÊNCIAVITAE
19
TITLE: Exact hypervolume subset selection through incremental computations
AUTHORS: Guerreiro, AP; Manquinho, V ; Figueira, JR ;
PUBLISHED: 2021, SOURCE: COMPUTERS & OPERATIONS RESEARCH, VOLUME: 136
INDEXED IN: Scopus WOS CrossRef: 6
IN MY: ORCID | CIÊNCIAVITAE
20
TITLE: UnchartIt. an interactive framework for program recovery from charts
AUTHORS: Daniel Ramos; Jorge Pereira; Inês Lynce ; Vasco Manquinho ; Ruben Martins;
PUBLISHED: 2020, SOURCE: Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering
INDEXED IN: CrossRef: 3
IN MY: ORCID | CIÊNCIAVITAE
Page 2 of 7. Total results: 67.

footer slogan

Useful Links

Get Help

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