Vasco Miguel Gomes Nunes Manquinho
AuthID: R-000-HE8
1
TÃTULO: Counterexample Guided Program Repair Using Zero-Shot Learning and MaxSAT-based Fault Localization
AUTORES: Orvalho, Pedro; Janota, Mikolas; Manquinho, Vasco M.;
PUBLICAÇÃO: 2025, FONTE: 39th AAAI Conference on Artificial Intelligence in THIRTY-NINTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, AAAI-25, VOL 39 NO 1, VOLUME: 39, NÚMERO: 1
AUTORES: Orvalho, Pedro; Janota, Mikolas; Manquinho, Vasco M.;
PUBLICAÇÃO: 2025, FONTE: 39th AAAI Conference on Artificial Intelligence in THIRTY-NINTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, AAAI-25, VOL 39 NO 1, VOLUME: 39, NÚMERO: 1
INDEXADO EM: 
Scopus 
WOS
Scopus WOS2
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: 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
WOS5
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 WOS6
TÃTULO: Plant defensin PvD(1) modulates the membrane composition of breast tumour-derived exosomes Full Text
AUTORES: Skalska, J; Oliveira, FD; Figueira, TN; Mello, EO; Gomes, VM; McNaughton Smith, G; Castanho, MARB ; Gaspar, D;
PUBLICAÇÃO: 2019, FONTE: NANOSCALE, VOLUME: 11, NÚMERO: 48
AUTORES: Skalska, J; Oliveira, FD; Figueira, TN; Mello, EO; Gomes, VM; McNaughton Smith, G; Castanho, MARB ; Gaspar, D;
PUBLICAÇÃO: 2019, FONTE: NANOSCALE, VOLUME: 11, NÚMERO: 48
7
TÃTULO: Parallel Maximum Satisfiability
AUTORES: Inês Lynce; Vasco Manquinho; Ruben Martins;
PUBLICAÇÃO: 2018, FONTE: Handbook of Parallel Constraint Reasoning
AUTORES: Inês Lynce; Vasco Manquinho; Ruben Martins;
PUBLICAÇÃO: 2018, FONTE: Handbook of Parallel Constraint Reasoning
INDEXADO EM: Scopus 
DBLP
Scopus DBLP8
TÃTULO: Challenging metastatic breast cancer with the natural defensin PvD(1) Full Text
AUTORES: Figueira, TN; Oliveira, FD; Almeida, I; Mello, EO; Gomes, VM; Castanho, MARB ; Gaspar, D;
PUBLICAÇÃO: 2017, FONTE: NANOSCALE, VOLUME: 9, NÚMERO: 43
AUTORES: Figueira, TN; Oliveira, FD; Almeida, I; Mello, EO; Gomes, VM; Castanho, MARB ; Gaspar, D;
PUBLICAÇÃO: 2017, FONTE: NANOSCALE, VOLUME: 9, NÚMERO: 43
9
TÃTULO: Determination of sugar content in whole Port Wine grape berries combining hyperspectral imaging with neural networks methodologies
AUTORES: Gomes, VM; Fernandes, AM; Faia, A; Melo Pinto, P ;
PUBLICAÇÃO: 2015, FONTE: 2014 IEEE Symposium on Computational Intelligence for Engineering Solutions, CIES 2014 in IEEE SSCI 2014 - 2014 IEEE Symposium Series on Computational Intelligence - CIES 2014: 2014 IEEE Symposium on Computational Intelligence for Engineering Solutions, Proceedings
AUTORES: Gomes, VM; Fernandes, AM; Faia, A; Melo Pinto, P ;
PUBLICAÇÃO: 2015, FONTE: 2014 IEEE Symposium on Computational Intelligence for Engineering Solutions, CIES 2014 in IEEE SSCI 2014 - 2014 IEEE Symposium Series on Computational Intelligence - CIES 2014: 2014 IEEE Symposium on Computational Intelligence for Engineering Solutions, Proceedings
INDEXADO EM: Scopus 
CrossRef
Scopus CrossRef10
TÃTULO: Improving linear search algorithms with model-based approaches for MaxSAT solving Full Text
AUTORES: Martins, R; Manquinho, V; Lynce, I ;
PUBLICAÇÃO: 2015, FONTE: 20th RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion in JOURNAL OF EXPERIMENTAL & THEORETICAL ARTIFICIAL INTELLIGENCE, VOLUME: 27, NÚMERO: 5
AUTORES: Martins, R; Manquinho, V; Lynce, I ;
PUBLICAÇÃO: 2015, FONTE: 20th RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion in JOURNAL OF EXPERIMENTAL & THEORETICAL ARTIFICIAL INTELLIGENCE, VOLUME: 27, NÚMERO: 5
INDEXADO EM: Scopus WOS
Scopus WOS