Vasco Miguel Gomes Nunes Manquinho
AuthID: R-000-HE8
11
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
12
TITLE: Parallel Maximum Satisfiability
AUTHORS: Inês Lynce; Vasco Manquinho; Ruben Martins;
PUBLISHED: 2018, SOURCE: Handbook of Parallel Constraint Reasoning.
AUTHORS: Inês Lynce; Vasco Manquinho; Ruben Martins;
PUBLISHED: 2018, SOURCE: Handbook of Parallel Constraint Reasoning.
INDEXED IN: 
Scopus 
DBLP
Scopus DBLP13
TITLE: Enhancing Constraint-Based Multi-Objective Combinatorial Optimization
AUTHORS: Terra Neves, M; Lynce, I ; Manquinho, V;
PUBLISHED: 2018, SOURCE: 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
AUTHORS: Terra Neves, M; Lynce, I ; Manquinho, V;
PUBLISHED: 2018, SOURCE: 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
INDEXED IN: 
WOS DBLP
WOS DBLP14
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
15
TITLE: Determination of sugar content in whole Port Wine grape berries combining hyperspectral imaging with neural networks methodologies
AUTHORS: Gomes, VM; Fernandes, AM; Faia, A; Melo Pinto, P ;
PUBLISHED: 2015, SOURCE: 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
AUTHORS: Gomes, VM; Fernandes, AM; Faia, A; Melo Pinto, P ;
PUBLISHED: 2015, SOURCE: 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
INDEXED IN: Scopus 
CrossRef
Scopus CrossRef16
TITLE: Improving linear search algorithms with model-based approaches for MaxSAT solving Full Text
AUTHORS: Martins, R; Manquinho, V; Lynce, I ;
PUBLISHED: 2015, SOURCE: 20th RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion in JOURNAL OF EXPERIMENTAL & THEORETICAL ARTIFICIAL INTELLIGENCE, VOLUME: 27, ISSUE: 5
AUTHORS: Martins, R; Manquinho, V; Lynce, I ;
PUBLISHED: 2015, SOURCE: 20th RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion in JOURNAL OF EXPERIMENTAL & THEORETICAL ARTIFICIAL INTELLIGENCE, VOLUME: 27, ISSUE: 5
INDEXED IN: Scopus WOS
Scopus WOS17
TITLE: Incremental Cardinality Constraints for MaxSAT PDF
AUTHORS: Martins, R; Joshi, S; Manquinho, V; Lynce, I ;
PUBLISHED: 2014, SOURCE: 20th International Conference on the Principles and Practice of Constraint Programming (CP) in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2014, VOLUME: 8656
AUTHORS: Martins, R; Joshi, S; Manquinho, V; Lynce, I ;
PUBLISHED: 2014, SOURCE: 20th International Conference on the Principles and Practice of Constraint Programming (CP) in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2014, VOLUME: 8656
INDEXED IN: WOS DBLP 
arXiv
WOS DBLP arXiv18
TITLE: Open-WBO: A Modular MaxSAT Solver
AUTHORS: Martins, R; Manquinho, V; Lynce, I ;
PUBLISHED: 2014, SOURCE: 17th International Conference on Theory and Applications of Satisfiability Testing (SAT) Held as Part of the Federated Logic Conference (FLoC) / Vienna Summer of Logic (VSL) Conference in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2014, VOLUME: 8561
AUTHORS: Martins, R; Manquinho, V; Lynce, I ;
PUBLISHED: 2014, SOURCE: 17th International Conference on Theory and Applications of Satisfiability Testing (SAT) Held as Part of the Federated Logic Conference (FLoC) / Vienna Summer of Logic (VSL) Conference in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2014, VOLUME: 8561
INDEXED IN: WOS
WOS19
TITLE: Optimally Solving the MCM Problem Using Pseudo-Boolean Satisfiability PDF
AUTHORS: Nuno P Lopes ; Levent Aksoy; Vasco M Manquinho; José Monteiro;
PUBLISHED: 2010, SOURCE: CoRR, VOLUME: abs/1011.2685
AUTHORS: Nuno P Lopes ; Levent Aksoy; Vasco M Manquinho; José Monteiro;
PUBLISHED: 2010, SOURCE: CoRR, VOLUME: abs/1011.2685
INDEXED IN: DBLP arXiv
DBLP arXiv20
TITLE: Algorithms for Weighted Boolean Optimization PDF
AUTHORS: Vasco M Manquinho; João P Marques Silva; Jordi Planes;
PUBLISHED: 2009, SOURCE: CoRR, VOLUME: abs/0903.0843
AUTHORS: Vasco M Manquinho; João P Marques Silva; Jordi Planes;
PUBLISHED: 2009, SOURCE: CoRR, VOLUME: abs/0903.0843
INDEXED IN: DBLP arXiv
DBLP arXiv