Vasco Miguel Gomes Nunes Manquinho
AuthID: R-000-HE8
11
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
AUTHORS: Oliveira e Silva, Leonor; Resende, Magda; Galhardas, Helena; Manquinho, Vasco; Lynce, Ines ;
PUBLISHED: 2022, SOURCE: EXPERT SYSTEMS WITH APPLICATIONS, VOLUME: 206
12
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
AUTHORS: Tiam Lee, Thomas James; Henriques, Rui; Manquinho, Vasco;
PUBLISHED: 2022, SOURCE: ISPRS INTERNATIONAL JOURNAL OF GEO-INFORMATION, VOLUME: 11, ISSUE: 7
13
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
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
14
TITLE: Exact hypervolume subset selection through incremental computations
AUTHORS: Guerreiro, AP; Manquinho, V; Figueira, JR;
PUBLISHED: 2021, SOURCE: COMPUTERS & OPERATIONS RESEARCH, VOLUME: 136
AUTHORS: Guerreiro, AP; Manquinho, V; Figueira, JR;
PUBLISHED: 2021, SOURCE: COMPUTERS & OPERATIONS RESEARCH, VOLUME: 136
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)
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)
16
TITLE: The Seesaw Algorithm: Function Optimization Using Implicit Hitting Sets
AUTHORS: Mikolás Janota; Morgado, António ; José Fragoso Santos; Vasco M Manquinho;
PUBLISHED: 2021, SOURCE: 27th International Conference on Principles and Practice of Constraint Programming, CP 2021, Montpellier, France (Virtual Conference), October 25-29, 2021., VOLUME: 210
AUTHORS: Mikolás Janota; Morgado, António ; José Fragoso Santos; Vasco M Manquinho;
PUBLISHED: 2021, SOURCE: 27th International Conference on Principles and Practice of Constraint Programming, CP 2021, Montpellier, France (Virtual Conference), October 25-29, 2021., VOLUME: 210
INDEXED IN: 
Scopus 
DBLP
Scopus DBLP17
TITLE: SQUARES : A SQL Synthesizer Using Query Reverse Engineering Full Text
AUTHORS: Pedro Orvalho; Miguel Terra Neves; Miguel Ventura; Ruben Martins; Vasco Manquinho;
PUBLISHED: 2020, SOURCE: PROCEEDINGS OF THE VLDB ENDOWMENT, VOLUME: 13, ISSUE: 12
AUTHORS: Pedro Orvalho; Miguel Terra Neves; Miguel Ventura; Ruben Martins; Vasco Manquinho;
PUBLISHED: 2020, SOURCE: PROCEEDINGS OF THE VLDB ENDOWMENT, VOLUME: 13, ISSUE: 12
INDEXED IN: 
WOS
WOS18
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
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
19
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
AUTHORS: Terra Neves, M; Lynce, I ; Manquinho, V;
PUBLISHED: 2019, SOURCE: JOURNAL OF HEURISTICS, VOLUME: 25, ISSUE: 3
20
TITLE: Encodings for Enumeration-Based Program Synthesis
AUTHORS: Pedro Orvalho; Miguel Terra Neves; Miguel Ventura; Ruben Martins; Vasco Manquinho;
PUBLISHED: 2019, SOURCE: 25th International Conference on the Principles and Practice of Constraint Programming (CP) in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2019, VOLUME: 11802
AUTHORS: Pedro Orvalho; Miguel Terra Neves; Miguel Ventura; Ruben Martins; Vasco Manquinho;
PUBLISHED: 2019, SOURCE: 25th International Conference on the Principles and Practice of Constraint Programming (CP) in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2019, VOLUME: 11802
INDEXED IN: Scopus WOS
Scopus WOS