Vasco Miguel Gomes Nunes Manquinho
AuthID: R-000-HE8
21
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
22
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
23
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
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
24
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
AUTORES: Miguel Terra-Neves; Inês Lynce; Vasco Manquinho;
PUBLICAÇÃO: 2019, FONTE: Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence
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
AUTORES: Varela, PL; Lynce, I; Manquinho, V; Chaouiya, C; Monteiro, PT;
PUBLICAÇÃO: 2018, FONTE: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 335
26
TÃTULO: Parallel maximum satisfiability
AUTORES: Lynce, I; Manquinho, V; Martins, R;
PUBLICAÇÃO: 2018, FONTE: Handbook of Parallel Constraint Reasoning
AUTORES: Lynce, I; Manquinho, V; Martins, R;
PUBLICAÇÃO: 2018, FONTE: Handbook of Parallel Constraint Reasoning
INDEXADO EM: Scopus
27
TÃTULO: Stratification for constraint-based multi-objective combinatorial optimization
AUTORES: Terra Neves, M; Lynce, I; Manquinho, V;
PUBLICAÇÃO: 2018, FONTE: 27th International Joint Conference on Artificial Intelligence, IJCAI 2018 in IJCAI International Joint Conference on Artificial Intelligence, VOLUME: 2018-July
AUTORES: Terra Neves, M; Lynce, I; Manquinho, V;
PUBLICAÇÃO: 2018, FONTE: 27th International Joint Conference on Artificial Intelligence, IJCAI 2018 in IJCAI International Joint Conference on Artificial Intelligence, VOLUME: 2018-July
INDEXADO EM: Scopus
28
TÃTULO: Multi-objective optimization through pareto minimal correction subsets
AUTORES: Terra Neves, M; Lynce, I; Manquinho, V;
PUBLICAÇÃO: 2018, FONTE: 27th International Joint Conference on Artificial Intelligence, IJCAI 2018 in IJCAI International Joint Conference on Artificial Intelligence, VOLUME: 2018-July
AUTORES: Terra Neves, M; Lynce, I; Manquinho, V;
PUBLICAÇÃO: 2018, FONTE: 27th International Joint Conference on Artificial Intelligence, IJCAI 2018 in IJCAI International Joint Conference on Artificial Intelligence, VOLUME: 2018-July
INDEXADO EM: Scopus
29
TÃTULO: Enhancing Constraint-Based Multi-Objective Combinatorial Optimization
AUTORES: Miguel Terra Neves; Ines Lynce; Vasco Manquinho;
PUBLICAÇÃO: 2018, FONTE: 32nd AAAI Conference on Artificial Intelligence / 30th Innovative Applications of Artificial Intelligence Conference / 8th AAAI Symposium on Educational Advances in Artificial Intelligence in THIRTY-SECOND AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE / THIRTIETH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE / EIGHTH AAAI SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE
AUTORES: Miguel Terra Neves; Ines Lynce; Vasco Manquinho;
PUBLICAÇÃO: 2018, FONTE: 32nd AAAI Conference on Artificial Intelligence / 30th Innovative Applications of Artificial Intelligence Conference / 8th AAAI Symposium on Educational Advances in Artificial Intelligence in THIRTY-SECOND AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE / THIRTIETH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE / EIGHTH AAAI SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE
INDEXADO EM: WOS
30
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
AUTORES: Miguel Terra-Neves; Inês Lynce; Vasco Manquinho;
PUBLICAÇÃO: 2018, FONTE: Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence