Vasco Miguel Gomes Nunes Manquinho
AuthID: R-000-HE8
1
TÃTULO: Slide&Drill, a New Approach for Multi-Objective Combinatorial Optimization Full Text
AUTORES: João Cortes; Inês Lynce; Vasco Manquinho;
PUBLICAÇÃO: 2024, FONTE: 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
AUTORES: João Cortes; Inês Lynce; Vasco Manquinho;
PUBLICAÇÃO: 2024, FONTE: 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
INDEXADO EM: 
Scopus 
DBLP
Scopus DBLP2
TÃTULO: BugOut: Automated Test Generation and Bug Detection for Low-Code
AUTORES: Coutinho, Joana; Lemos, Alexandre; Terra Neves, Miguel; Ribeiro, Andre; Manquinho, Vasco; Quintino, Rui; Matejczyk, Bartlomiej;
PUBLICAÇÃO: 2024, FONTE: 17th IEEE International Conference on Software Testing, Verification, and Validation (ICST) in 2024 IEEE CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION, ICST 2024
AUTORES: Coutinho, Joana; Lemos, Alexandre; Terra Neves, Miguel; Ribeiro, Andre; Manquinho, Vasco; Quintino, Rui; Matejczyk, Bartlomiej;
PUBLICAÇÃO: 2024, FONTE: 17th IEEE International Conference on Software Testing, Verification, and Validation (ICST) in 2024 IEEE CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION, ICST 2024
INDEXADO EM: Scopus 
WOS
Scopus WOS3
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
Scopus4
TÃTULO: SOAR: A Synthesis Approach for Data Science API Refactoring
AUTORES: Ni, AS; Ramos, D; Yang, AZH; Lynce, I ; Manquinho, V; Martins, R; Le Goues, C;
PUBLICAÇÃO: 2021, FONTE: 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)
AUTORES: Ni, AS; Ramos, D; Yang, AZH; Lynce, I ; Manquinho, V; Martins, R; Le Goues, C;
PUBLICAÇÃO: 2021, FONTE: 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)
INDEXADO EM: Scopus WOS DBLP
Scopus WOS DBLP5
TÃTULO: Replication of SOAR: A Synthesis Approach for Data Science API Refactoring
AUTORES: Ni, AS; Ramos, D; Yang, AZH; Lynce, I ; Manquinho, V; Martins, R; Le Goues, C;
PUBLICAÇÃO: 2021, FONTE: IEEE/ACM 43rd International Conference on Software Engineering (ICSE) in 2021 IEEE/ACM 43RD INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: COMPANION PROCEEDINGS (ICSE-COMPANION 2021)
AUTORES: Ni, AS; Ramos, D; Yang, AZH; Lynce, I ; Manquinho, V; Martins, R; Le Goues, C;
PUBLICAÇÃO: 2021, FONTE: IEEE/ACM 43rd International Conference on Software Engineering (ICSE) in 2021 IEEE/ACM 43RD INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: COMPANION PROCEEDINGS (ICSE-COMPANION 2021)
INDEXADO EM: WOS DBLP
WOS DBLP6
TÃTULO: The Seesaw Algorithm: Function Optimization Using Implicit Hitting Sets
AUTORES: Mikolás Janota; Morgado, António ; José Fragoso Santos; Vasco M Manquinho;
PUBLICAÇÃO: 2021, FONTE: 27th International Conference on Principles and Practice of Constraint Programming, CP 2021, Montpellier, France (Virtual Conference), October 25-29, 2021., VOLUME: 210
AUTORES: Mikolás Janota; Morgado, António ; José Fragoso Santos; Vasco M Manquinho;
PUBLICAÇÃO: 2021, FONTE: 27th International Conference on Principles and Practice of Constraint Programming, CP 2021, Montpellier, France (Virtual Conference), October 25-29, 2021., VOLUME: 210
INDEXADO EM: Scopus DBLP
Scopus DBLP7
TÃTULO: UNCHARTIT: An Interactive Framework for Program Recovery from Charts
AUTORES: Ramos, D; Pereira, J; Lynce, I ; Manquinho, V; Martins, R;
PUBLICAÇÃO: 2020, FONTE: 35th IEEE/ACM International Conference on Automated Software Engineering (ASE) in 2020 35TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE 2020)
AUTORES: Ramos, D; Pereira, J; Lynce, I ; Manquinho, V; Martins, R;
PUBLICAÇÃO: 2020, FONTE: 35th IEEE/ACM International Conference on Automated Software Engineering (ASE) in 2020 35TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE 2020)
INDEXADO EM: Scopus WOS DBLP
Scopus WOS DBLP8
TÃTULO: SQUARES : A SQL Synthesizer Using Query Reverse Engineering Full Text
AUTORES: Pedro Orvalho; Miguel Terra Neves; Miguel Ventura; Ruben Martins; Vasco Manquinho;
PUBLICAÇÃO: 2020, FONTE: PROCEEDINGS OF THE VLDB ENDOWMENT, VOLUME: 13, NÚMERO: 12
AUTORES: Pedro Orvalho; Miguel Terra Neves; Miguel Ventura; Ruben Martins; Vasco Manquinho;
PUBLICAÇÃO: 2020, FONTE: PROCEEDINGS OF THE VLDB ENDOWMENT, VOLUME: 13, NÚMERO: 12
INDEXADO EM: WOS
WOS9
TÃTULO: Constraint-Based Techniques in Stochastic Local Search MaxSAT Solving
AUTORES: Guerreiro, AP; Terra Neves, M; Lynce, I ; Figueira, JR ; Manquinho, V;
PUBLICAÇÃO: 2019, FONTE: 25th International Conference on the Principles and Practice of Constraint Programming (CP) in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2019, VOLUME: 11802
AUTORES: Guerreiro, AP; Terra Neves, M; Lynce, I ; Figueira, JR ; Manquinho, V;
PUBLICAÇÃO: 2019, FONTE: 25th International Conference on the Principles and Practice of Constraint Programming (CP) in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2019, VOLUME: 11802
10
TÃTULO: Encodings for Enumeration-Based Program Synthesis
AUTORES: Pedro Orvalho; Miguel Terra Neves; Miguel Ventura; Ruben Martins; Vasco Manquinho;
PUBLICAÇÃO: 2019, FONTE: 25th International Conference on the Principles and Practice of Constraint Programming (CP) in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2019, VOLUME: 11802
AUTORES: Pedro Orvalho; Miguel Terra Neves; Miguel Ventura; Ruben Martins; Vasco Manquinho;
PUBLICAÇÃO: 2019, FONTE: 25th International Conference on the Principles and Practice of Constraint Programming (CP) in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2019, VOLUME: 11802
INDEXADO EM: Scopus WOS
Scopus WOS