Vasco Miguel Gomes Nunes Manquinho


AuthID: R-000-HE8

Publicações Confirmadas: 64



11
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
12
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
13
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
14
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
15
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
16
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
17
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
18
TÍTULO: Concurrency Debugging with MaxSMT
AUTORES: Miguel Terra-Neves; Nuno Machado; Ines Lynce ; Vasco Manquinho ;
PUBLICAÇÃO: 2019, FONTE: Proceedings of the AAAI Conference on Artificial Intelligence, VOLUME: 33, NÚMERO: 01
INDEXADO EM: CrossRef: 3
NO MEU: ORCID | CIÊNCIAVITAE
19
TÍTULO: Integrating Pseudo-Boolean Constraint Reasoning in Multi-Objective Evolutionary Algorithms
AUTORES: Miguel Terra-Neves; Inês Lynce ; Vasco Manquinho ;
PUBLICAÇÃO: 2019, FONTE: Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence
INDEXADO EM: CrossRef: 1
NO MEU: ORCID | CIÊNCIAVITAE
20
TÍTULO: Virtual machine consolidation using constraint-based multi-objective optimization  Full Text
AUTORES: Terra Neves, M; Lynce, I ; Manquinho, V ;
PUBLICAÇÃO: 2019, FONTE: JOURNAL OF HEURISTICS, VOLUME: 25, NÚMERO: 3
INDEXADO EM: Scopus WOS DBLP CrossRef: 8
NO MEU: ORCID | CIÊNCIAVITAE
Página 2 de 7. Total de resultados: 64.

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

Links Úteis

Ajuda

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