Vasco Miguel Gomes Nunes Manquinho


AuthID: R-000-HE8

Publicações Confirmadas: 67



11
TÍTULO: MELT: Mining Effective Lightweight Transformations from Pull Requests
AUTORES: Ramos, Daniel; Mitchell, Hailie; Lynce, Ines ; Manquinho, Vasco ; Martins, Ruben; Le Goues, Claire;
PUBLICAÇÃO: 2023, FONTE: 38th IEEE/ACM International Conference on Automated Software Engineering (ASE) in 2023 38TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, ASE
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
NO MEU: ORCID | CIÊNCIAVITAE
12
TÍTULO: Multiple-input neural networks for time series forecasting incorporating historical and prospective context
AUTORES: Palet, Joao; Manquinho, Vasco ; Henriques, Rui;
PUBLICAÇÃO: 2023, FONTE: DATA MINING AND KNOWLEDGE DISCOVERY, VOLUME: 38, NÚMERO: 1
INDEXADO EM: Scopus WOS CrossRef: 2
NO MEU: ORCID | CIÊNCIAVITAE
13
TÍTULO: New Core-Guided and Hitting Set Algorithms for Multi-Objective Combinatorial Optimization
AUTORES: Cortes, Joao; Lynce, Ines ; Manquinho, Vasco ;
PUBLICAÇÃO: 2023, FONTE: 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
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
NO MEU: ORCID | CIÊNCIAVITAE
14
TÍTULO: Associative Analysis of Inefficiencies and Station Activity Levels in Emergency Response
AUTORES: Tiam Lee, Thomas James; Henriques, Rui; Manquinho, Vasco ;
PUBLICAÇÃO: 2022, FONTE: ISPRS INTERNATIONAL JOURNAL OF GEO-INFORMATION, VOLUME: 11, NÚMERO: 7
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
15
TÍTULO: Constraint-based electoral districting using a new compactness measure: Anapplication to Portugal br
AUTORES: Almeida, Tiago; Manquinho, Vasco ;
PUBLICAÇÃO: 2022, FONTE: COMPUTERS & OPERATIONS RESEARCH, VOLUME: 146
INDEXADO EM: Scopus WOS CrossRef: 3
NO MEU: ORCID | CIÊNCIAVITAE
16
TÍTULO: DeepData: Machine learning in the marine ecosystems  Full Text
AUTORES: Oliveira e Silva, Leonor; Resende, Magda; Galhardas, Helena ; Manquinho, Vasco ; Lynce, Ines ;
PUBLICAÇÃO: 2022, FONTE: EXPERT SYSTEMS WITH APPLICATIONS, VOLUME: 206
INDEXADO EM: Scopus WOS DBLP CrossRef: 7
NO MEU: ORCID | CIÊNCIAVITAE
17
TÍTULO: MultIPAs: applying program transformations to introductory programming assignments for data augmentation
AUTORES: Pedro Orvalho; Mikoláš Janota; Vasco Manquinho ;
PUBLICAÇÃO: 2022, FONTE: Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering
INDEXADO EM: CrossRef: 1
NO MEU: ORCID | CIÊNCIAVITAE
18
TÍTULO: AlloyMax: Bringing Maximum Satisfaction to Relational Specifications
AUTORES: Zhang, CJ; Wagner, R; Orvalho, P; Garlan, D; Manquinho, V ; Martins, R; Kang, E;
PUBLICAÇÃO: 2021, FONTE: 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)
INDEXADO EM: Scopus WOS CrossRef: 5
NO MEU: ORCID | CIÊNCIAVITAE
19
TÍTULO: Exact hypervolume subset selection through incremental computations
AUTORES: Guerreiro, AP; Manquinho, V ; Figueira, JR ;
PUBLICAÇÃO: 2021, FONTE: COMPUTERS & OPERATIONS RESEARCH, VOLUME: 136
INDEXADO EM: Scopus WOS CrossRef: 6
NO MEU: ORCID | CIÊNCIAVITAE
20
TÍTULO: UnchartIt. an interactive framework for program recovery from charts
AUTORES: Daniel Ramos; Jorge Pereira; Inês Lynce ; Vasco Manquinho ; Ruben Martins;
PUBLICAÇÃO: 2020, FONTE: Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering
INDEXADO EM: CrossRef: 3
NO MEU: ORCID | CIÊNCIAVITAE
Página 2 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