Vasco Miguel Gomes Nunes Manquinho
AuthID: R-000-HE8
1
TITLE: Exact and approximate determination of the Pareto front using Minimal Correction Subsets Full Text
AUTHORS: Guerreiro, A. P.; Cortes, J.; Vanderpooten, D.; Bazgan, C.; Lynce, I.; Manquinho, V; Figueira, J. R.;
PUBLISHED: 2023, SOURCE: COMPUTERS & OPERATIONS RESEARCH, VOLUME: 153
AUTHORS: Guerreiro, A. P.; Cortes, J.; Vanderpooten, D.; Bazgan, C.; Lynce, I.; Manquinho, V; Figueira, J. R.;
PUBLISHED: 2023, SOURCE: COMPUTERS & OPERATIONS RESEARCH, VOLUME: 153
INDEXED IN: 
Scopus 
WOS
Scopus WOS2
TITLE: UpMax: User Partitioning for MaxSAT
AUTHORS: Pedro Orvalho; Vasco Manquinho; Ruben Martins;
PUBLISHED: 2023, SOURCE: 26th International Conference on Theory and Applications of Satisfiability Testing, SAT 2023 in Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 271
AUTHORS: Pedro Orvalho; Vasco Manquinho; Ruben Martins;
PUBLISHED: 2023, SOURCE: 26th International Conference on Theory and Applications of Satisfiability Testing, SAT 2023 in Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 271
INDEXED IN: Scopus
Scopus3
TITLE: Multiple-input neural networks for time series forecasting incorporating historical and prospective context Full Text
AUTHORS: Palet, Joao; Manquinho, Vasco; Henriques, Rui;
PUBLISHED: 2023, SOURCE: DATA MINING AND KNOWLEDGE DISCOVERY
AUTHORS: Palet, Joao; Manquinho, Vasco; Henriques, Rui;
PUBLISHED: 2023, SOURCE: DATA MINING AND KNOWLEDGE DISCOVERY
INDEXED IN: Scopus WOS
Scopus WOS4
TITLE: Graph Neural Networks for Mapping Variables Between Programs
AUTHORS: Pedro Orvalho; Jelle Piepenbrock; Mikoláš Janota; Vasco Manquinho;
PUBLISHED: 2023, SOURCE: 26th European Conference on Artificial Intelligence, ECAI 2023 in Frontiers in Artificial Intelligence and Applications, VOLUME: 372
AUTHORS: Pedro Orvalho; Jelle Piepenbrock; Mikoláš Janota; Vasco Manquinho;
PUBLISHED: 2023, SOURCE: 26th European Conference on Artificial Intelligence, ECAI 2023 in Frontiers in Artificial Intelligence and Applications, VOLUME: 372
INDEXED IN: Scopus
Scopus5
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
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
Scopus WOS6
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
AUTHORS: Almeida, Tiago; Manquinho, Vasco;
PUBLISHED: 2022, SOURCE: COMPUTERS & OPERATIONS RESEARCH, VOLUME: 146
INDEXED IN: Scopus WOS
Scopus WOS7
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
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
Scopus WOS8
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
INDEXED IN: Scopus WOS
Scopus WOS9
TITLE: SOAR: A Synthesis Approach for Data Science API Refactoring
AUTHORS: Ni, AS; Ramos, D; Yang, AZH; Lynce, I; Manquinho, V; Martins, R; Le Goues, C;
PUBLISHED: 2021, SOURCE: 43rd IEEE/ACM International Conference on Software Engineering - Software Engineering in Practice (ICSE-SEIP) / 43rd ACM/IEEE International Conference on Software Engineering - New Ideas and Emerging Results (ICSE-NIER) in 2021 IEEE/ACM 43RD INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE 2021)
AUTHORS: Ni, AS; Ramos, D; Yang, AZH; Lynce, I; Manquinho, V; Martins, R; Le Goues, C;
PUBLISHED: 2021, SOURCE: 43rd IEEE/ACM International Conference on Software Engineering - Software Engineering in Practice (ICSE-SEIP) / 43rd ACM/IEEE International Conference on Software Engineering - New Ideas and Emerging Results (ICSE-NIER) in 2021 IEEE/ACM 43RD INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE 2021)
INDEXED IN: Scopus WOS
Scopus WOS10
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
INDEXED IN: WOS
WOS