Vasco Miguel Gomes Nunes Manquinho
AuthID: R-000-HE8
1
TITLE: C-Pack of IPAs: A C90 Program Benchmark of Introductory Programming Assignments
AUTHORS: Orvalho, Pedro; Janota, Mikolas; Manquinho, Vasco;
PUBLISHED: 2024, SOURCE: 5th ACM/IEEE International Workshop on Automated Program Repair (APR) in 2024 ACM/IEEE INTERNATIONAL WORKSHOP ON AUTOMATED PROGRAM REPAIR, APR 2024, VOLUME: 10808
AUTHORS: Orvalho, Pedro; Janota, Mikolas; Manquinho, Vasco;
PUBLISHED: 2024, SOURCE: 5th ACM/IEEE International Workshop on Automated Program Repair (APR) in 2024 ACM/IEEE INTERNATIONAL WORKSHOP ON AUTOMATED PROGRAM REPAIR, APR 2024, VOLUME: 10808
2
TITLE: Slide&Drill, a New Approach for Multi-Objective Combinatorial Optimization Full Text
AUTHORS: João Cortes; Inês Lynce; Vasco Manquinho;
PUBLISHED: 2024, SOURCE: 30th International Conference on Principles and Practice of Constraint Programming, CP 2024 in 30th International Conference on Principles and Practice of Constraint Programming, CP 2024, September 2-6, 2024, Girona, Spain, VOLUME: 307
AUTHORS: João Cortes; Inês Lynce; Vasco Manquinho;
PUBLISHED: 2024, SOURCE: 30th International Conference on Principles and Practice of Constraint Programming, CP 2024 in 30th International Conference on Principles and Practice of Constraint Programming, CP 2024, September 2-6, 2024, Girona, Spain, VOLUME: 307
INDEXED IN: 
Scopus 
DBLP
Scopus DBLP3
TITLE: BugOut: Automated Test Generation and Bug Detection for Low-Code
AUTHORS: Coutinho, Joana; Lemos, Alexandre; Terra Neves, Miguel; Ribeiro, Andre; Manquinho, Vasco; Quintino, Rui; Matejczyk, Bartlomiej;
PUBLISHED: 2024, SOURCE: 17th IEEE International Conference on Software Testing, Verification, and Validation (ICST) in 2024 IEEE CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION, ICST 2024
AUTHORS: Coutinho, Joana; Lemos, Alexandre; Terra Neves, Miguel; Ribeiro, Andre; Manquinho, Vasco; Quintino, Rui; Matejczyk, Bartlomiej;
PUBLISHED: 2024, SOURCE: 17th IEEE International Conference on Software Testing, Verification, and Validation (ICST) in 2024 IEEE CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION, ICST 2024
INDEXED IN: Scopus 
WOS
Scopus WOS4
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
5
TITLE: New Core-Guided and Hitting Set Algorithms for Multi-Objective Combinatorial Optimization
AUTHORS: Cortes, Joao; Lynce, Ines ; Manquinho, Vasco;
PUBLISHED: 2023, SOURCE: 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
AUTHORS: Cortes, Joao; Lynce, Ines ; Manquinho, Vasco;
PUBLISHED: 2023, SOURCE: 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
6
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
Scopus7
TITLE: Multiple-input neural networks for time series forecasting incorporating historical and prospective context
AUTHORS: Palet, Joao; Manquinho, Vasco; Henriques, Rui;
PUBLISHED: 2023, SOURCE: DATA MINING AND KNOWLEDGE DISCOVERY, VOLUME: 38, ISSUE: 1
AUTHORS: Palet, Joao; Manquinho, Vasco; Henriques, Rui;
PUBLISHED: 2023, SOURCE: DATA MINING AND KNOWLEDGE DISCOVERY, VOLUME: 38, ISSUE: 1
8
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
9
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
10
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
