Vasco Miguel Gomes Nunes Manquinho
AuthID: R-000-HE8
1
TÃTULO: Exact and approximate determination of the Pareto front using Minimal Correction Subsets
AUTORES: Guerreiro, A. P.; Cortes, J.; Vanderpooten, D.; Bazgan, C.; Lynce, I.; Manquinho, V; Figueira, J. R.;
PUBLICAÇÃO: 2023, FONTE: COMPUTERS & OPERATIONS RESEARCH, VOLUME: 153
AUTORES: Guerreiro, A. P.; Cortes, J.; Vanderpooten, D.; Bazgan, C.; Lynce, I.; Manquinho, V; Figueira, J. R.;
PUBLICAÇÃO: 2023, FONTE: COMPUTERS & OPERATIONS RESEARCH, VOLUME: 153
2
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
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
3
TÃTULO: UpMax: User Partitioning for MaxSAT
AUTORES: Pedro Orvalho; Vasco Manquinho; Ruben Martins;
PUBLICAÇÃO: 2023, FONTE: 26th International Conference on Theory and Applications of Satisfiability Testing, SAT 2023 in Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 271
AUTORES: Pedro Orvalho; Vasco Manquinho; Ruben Martins;
PUBLICAÇÃO: 2023, FONTE: 26th International Conference on Theory and Applications of Satisfiability Testing, SAT 2023 in Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 271
INDEXADO EM: Scopus
4
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
AUTORES: Palet, Joao; Manquinho, Vasco; Henriques, Rui;
PUBLICAÇÃO: 2023, FONTE: DATA MINING AND KNOWLEDGE DISCOVERY, VOLUME: 38, NÚMERO: 1
5
TÃTULO: Graph Neural Networks for Mapping Variables Between Programs
AUTORES: Pedro Orvalho; Jelle Piepenbrock; Mikoláš Janota; Vasco Manquinho;
PUBLICAÇÃO: 2023, FONTE: 26th European Conference on Artificial Intelligence, ECAI 2023 in Frontiers in Artificial Intelligence and Applications, VOLUME: 372
AUTORES: Pedro Orvalho; Jelle Piepenbrock; Mikoláš Janota; Vasco Manquinho;
PUBLICAÇÃO: 2023, FONTE: 26th European Conference on Artificial Intelligence, ECAI 2023 in Frontiers in Artificial Intelligence and Applications, VOLUME: 372
6
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
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
7
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
AUTORES: Almeida, Tiago; Manquinho, Vasco;
PUBLICAÇÃO: 2022, FONTE: COMPUTERS & OPERATIONS RESEARCH, VOLUME: 146
8
TÃTULO: DeepData: Machine learning in the marine ecosystems
AUTORES: Oliveira e Silva, Leonor; Resende, Magda; Galhardas, Helena; Manquinho, Vasco; Lynce, Ines;
PUBLICAÇÃO: 2022, FONTE: EXPERT SYSTEMS WITH APPLICATIONS, VOLUME: 206
AUTORES: Oliveira e Silva, Leonor; Resende, Magda; Galhardas, Helena; Manquinho, Vasco; Lynce, Ines;
PUBLICAÇÃO: 2022, FONTE: EXPERT SYSTEMS WITH APPLICATIONS, VOLUME: 206
9
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
AUTORES: Tiam Lee, Thomas James; Henriques, Rui; Manquinho, Vasco;
PUBLICAÇÃO: 2022, FONTE: ISPRS INTERNATIONAL JOURNAL OF GEO-INFORMATION, VOLUME: 11, NÚMERO: 7
10
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
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