Vasco Miguel Gomes Nunes Manquinho


AuthID: R-000-HE8

Publicações Confirmadas: 67



21
TÍTULO: Concurrency Debugging with MaxSMT
AUTORES: Miguel Terra-Neves; Nuno Machado; Ines Lynce ; Vasco Manquinho ;
PUBLICAÇÃO: 2019, FONTE: Proceedings of the AAAI Conference on Artificial Intelligence, VOLUME: 33, NÚMERO: 01
INDEXADO EM: CrossRef: 3
NO MEU: ORCID | CIÊNCIAVITAE
22
TÍTULO: Integrating Pseudo-Boolean Constraint Reasoning in Multi-Objective Evolutionary Algorithms
AUTORES: Miguel Terra-Neves; Inês Lynce ; Vasco Manquinho ;
PUBLICAÇÃO: 2019, FONTE: Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence
INDEXADO EM: CrossRef: 1
NO MEU: ORCID | CIÊNCIAVITAE
23
TÍTULO: Virtual machine consolidation using constraint-based multi-objective optimization  Full Text
AUTORES: Terra Neves, M; Lynce, I ; Manquinho, V ;
PUBLICAÇÃO: 2019, FONTE: JOURNAL OF HEURISTICS, VOLUME: 25, NÚMERO: 3
INDEXADO EM: Scopus WOS DBLP CrossRef: 8
NO MEU: ORCID | CIÊNCIAVITAE
24
TÍTULO: Multi-Objective Optimization Through Pareto Minimal Correction Subsets
AUTORES: Miguel Terra-Neves; Inês Lynce ; Vasco Manquinho ;
PUBLICAÇÃO: 2018, FONTE: Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence
INDEXADO EM: CrossRef: 2
NO MEU: ORCID | CIÊNCIAVITAE
25
TÍTULO: Stable States of Boolean Regulatory Networks Composed Over Hexagonal Grids
AUTORES: Varela, PL; Lynce, I ; Manquinho, V ; Chaouiya, C; Monteiro, PT;
PUBLICAÇÃO: 2018, FONTE: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 335
INDEXADO EM: Scopus WOS DBLP CrossRef: 5
NO MEU: ORCID | CIÊNCIAVITAE
26
TÍTULO: Stratification for Constraint-Based Multi-Objective Combinatorial Optimization
AUTORES: Miguel Terra-Neves; Inês Lynce ; Vasco Manquinho ;
PUBLICAÇÃO: 2018, FONTE: Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence
INDEXADO EM: CrossRef: 2
NO MEU: ORCID | CIÊNCIAVITAE
27
TÍTULO: Introducing Pareto Minimal Correction Subsets
AUTORES: Terra Neves, M; Lynce, I ; Manquinho, V ;
PUBLICAÇÃO: 2017, FONTE: 20th International Conference on Theory and Applications of Satisfiability Testing, SAT 2017 in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING (SAT 2017), VOLUME: 10491
INDEXADO EM: Scopus WOS DBLP CrossRef: 5
NO MEU: ORCID | CIÊNCIAVITAE
28
TÍTULO: Logic-Based Encodings for Ricochet Robots
AUTORES: Gouveia, F ; Monteiro, PT; Manquinho, V ; Lynce, I ;
PUBLICAÇÃO: 2017, FONTE: 18th EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE (EPIA 2017), VOLUME: 10423
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
29
TÍTULO: Non-Portfolio Approaches for Distributed Maximum Satisfiability
AUTORES: Miguel Terra-Neves; Ines Lynce; Vasco Manquinho ;
PUBLICAÇÃO: 2016, FONTE: 2016 IEEE 28th International Conference on Tools with Artificial Intelligence (ICTAI)
INDEXADO EM: CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
30
TÍTULO: On Incremental Core-Guided MaxSAT Solving
AUTORES: Xujie J Si; Xin Zhang; Vasco Manquinho ; Mikolas Janota; Alexey Ignatiev; Mayur Naik;
PUBLICAÇÃO: 2016, FONTE: 22nd International Conference on the Principles and Practice of Constraint Programming (CP) in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2016, VOLUME: 9892
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
Página 3 de 7. Total de resultados: 67.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2026 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service