Vasco Miguel Gomes Nunes Manquinho
AuthID: R-000-HE8
21
TITLE: Plant defensin PvD(1) modulates the membrane composition of breast tumour-derived exosomes Full Text
AUTHORS: Skalska, J; Oliveira, FD; Figueira, TN; Mello, EO; Gomes, VM; McNaughton Smith, G; Castanho, MARB ; Gaspar, D;
PUBLISHED: 2019, SOURCE: NANOSCALE, VOLUME: 11, ISSUE: 48
AUTHORS: Skalska, J; Oliveira, FD; Figueira, TN; Mello, EO; Gomes, VM; McNaughton Smith, G; Castanho, MARB ; Gaspar, D;
PUBLISHED: 2019, SOURCE: NANOSCALE, VOLUME: 11, ISSUE: 48
22
TITLE: Concurrency Debugging with MaxSMT
AUTHORS: Miguel Terra-Neves; Nuno Machado; Ines Lynce; Vasco Manquinho;
PUBLISHED: 2019, SOURCE: Proceedings of the AAAI Conference on Artificial Intelligence, VOLUME: 33, ISSUE: 01
AUTHORS: Miguel Terra-Neves; Nuno Machado; Ines Lynce; Vasco Manquinho;
PUBLISHED: 2019, SOURCE: Proceedings of the AAAI Conference on Artificial Intelligence, VOLUME: 33, ISSUE: 01
23
TITLE: Integrating Pseudo-Boolean Constraint Reasoning in Multi-Objective Evolutionary Algorithms
AUTHORS: Miguel Terra-Neves; Inês Lynce; Vasco Manquinho;
PUBLISHED: 2019, SOURCE: Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence
AUTHORS: Miguel Terra-Neves; Inês Lynce; Vasco Manquinho;
PUBLISHED: 2019, SOURCE: Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence
24
TITLE: Stable States of Boolean Regulatory Networks Composed Over Hexagonal Grids
AUTHORS: Varela, PL; Lynce, I ; Manquinho, V; Chaouiya, C; Monteiro, PT;
PUBLISHED: 2018, SOURCE: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 335
AUTHORS: Varela, PL; Lynce, I ; Manquinho, V; Chaouiya, C; Monteiro, PT;
PUBLISHED: 2018, SOURCE: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 335
25
TITLE: Stratification for Constraint-Based Multi-Objective Combinatorial Optimization
AUTHORS: Miguel Terra-Neves; Inês Lynce; Vasco Manquinho;
PUBLISHED: 2018, SOURCE: Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence
AUTHORS: Miguel Terra-Neves; Inês Lynce; Vasco Manquinho;
PUBLISHED: 2018, SOURCE: Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence
26
TITLE: Multi-Objective Optimization Through Pareto Minimal Correction Subsets
AUTHORS: Miguel Terra-Neves; Inês Lynce; Vasco Manquinho;
PUBLISHED: 2018, SOURCE: Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence
AUTHORS: Miguel Terra-Neves; Inês Lynce; Vasco Manquinho;
PUBLISHED: 2018, SOURCE: Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence
27
TITLE: Introducing Pareto Minimal Correction Subsets
AUTHORS: Terra Neves, M; Lynce, I ; Manquinho, V;
PUBLISHED: 2017, SOURCE: 20th International Conference on Theory and Applications of Satisfiability Testing, SAT 2017 in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING (SAT 2017), VOLUME: 10491
AUTHORS: Terra Neves, M; Lynce, I ; Manquinho, V;
PUBLISHED: 2017, SOURCE: 20th International Conference on Theory and Applications of Satisfiability Testing, SAT 2017 in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING (SAT 2017), VOLUME: 10491
28
TITLE: Logic-Based Encodings for Ricochet Robots
AUTHORS: Gouveia, F ; Monteiro, PT; Manquinho, V; Lynce, I ;
PUBLISHED: 2017, SOURCE: 18th EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE (EPIA 2017), VOLUME: 10423
AUTHORS: Gouveia, F ; Monteiro, PT; Manquinho, V; Lynce, I ;
PUBLISHED: 2017, SOURCE: 18th EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE (EPIA 2017), VOLUME: 10423
29
TITLE: Challenging metastatic breast cancer with the natural defensin PvD(1) Full Text
AUTHORS: Figueira, TN; Oliveira, FD; Almeida, I; Mello, EO; Gomes, VM; Castanho, MARB ; Gaspar, D;
PUBLISHED: 2017, SOURCE: NANOSCALE, VOLUME: 9, ISSUE: 43
AUTHORS: Figueira, TN; Oliveira, FD; Almeida, I; Mello, EO; Gomes, VM; Castanho, MARB ; Gaspar, D;
PUBLISHED: 2017, SOURCE: NANOSCALE, VOLUME: 9, ISSUE: 43
30
TITLE: On Incremental Core-Guided MaxSAT Solving
AUTHORS: Xujie J Si; Xin Zhang; Vasco Manquinho; Mikolas Janota; Alexey Ignatiev; Mayur Naik;
PUBLISHED: 2016, SOURCE: 22nd International Conference on the Principles and Practice of Constraint Programming (CP) in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2016, VOLUME: 9892
AUTHORS: Xujie J Si; Xin Zhang; Vasco Manquinho; Mikolas Janota; Alexey Ignatiev; Mayur Naik;
PUBLISHED: 2016, SOURCE: 22nd International Conference on the Principles and Practice of Constraint Programming (CP) in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2016, VOLUME: 9892
