Vasco Miguel Gomes Nunes Manquinho


AuthID: R-000-HE8

Confirmed Publications: 64



11
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
12
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
13
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
14
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
15
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
16
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
17
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
18
TITLE: Concurrency Debugging with MaxSMT
AUTHORS: Miguel Terra-Neves; Nuno Machado; Ines Lynce ; Vasco Manquinho ;
PUBLISHED: 2019, SOURCE: Proceedings of the AAAI Conference on Artificial Intelligence, VOLUME: 33, ISSUE: 01
INDEXED IN: CrossRef: 3
IN MY: ORCID | CIÊNCIAVITAE
19
TITLE: Integrating Pseudo-Boolean Constraint Reasoning in Multi-Objective Evolutionary Algorithms
AUTHORS: Miguel Terra-Neves; Inês Lynce ; Vasco Manquinho ;
PUBLISHED: 2019, SOURCE: Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence
INDEXED IN: CrossRef: 1
IN MY: ORCID | CIÊNCIAVITAE
20
TITLE: Virtual machine consolidation using constraint-based multi-objective optimization  Full Text
AUTHORS: Terra Neves, M; Lynce, I ; Manquinho, V ;
PUBLISHED: 2019, SOURCE: JOURNAL OF HEURISTICS, VOLUME: 25, ISSUE: 3
INDEXED IN: Scopus WOS DBLP CrossRef: 8
IN MY: ORCID | CIÊNCIAVITAE
Page 2 of 7. Total results: 64.

footer slogan

Useful Links

Get Help

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