Vasco Miguel Gomes Nunes Manquinho
AuthID: R-000-HE8
21
TITLE: Stable States of Boolean Regulatory Networks Composed Over Hexagonal Grids
AUTHORS: Pedro L Varela; Ines Lynce; Vasco Manquinho; Claudine Chaouiya; Pedro T Monteiro;
PUBLISHED: 2018, SOURCE: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 335
AUTHORS: Pedro L Varela; Ines Lynce; Vasco Manquinho; Claudine Chaouiya; Pedro T Monteiro;
PUBLISHED: 2018, SOURCE: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 335
INDEXED IN: 
Scopus 
WOS
Scopus WOS22
TITLE: Parallel maximum satisfiability
AUTHORS: Lynce, I; Manquinho, V; Martins, R;
PUBLISHED: 2018, SOURCE: Handbook of Parallel Constraint Reasoning
AUTHORS: Lynce, I; Manquinho, V; Martins, R;
PUBLISHED: 2018, SOURCE: Handbook of Parallel Constraint Reasoning
INDEXED IN: Scopus
Scopus23
TITLE: Stratification for constraint-based multi-objective combinatorial optimization
AUTHORS: Terra Neves, M; Lynce, I; Manquinho, V;
PUBLISHED: 2018, SOURCE: 27th International Joint Conference on Artificial Intelligence, IJCAI 2018 in IJCAI International Joint Conference on Artificial Intelligence, VOLUME: 2018-July
AUTHORS: Terra Neves, M; Lynce, I; Manquinho, V;
PUBLISHED: 2018, SOURCE: 27th International Joint Conference on Artificial Intelligence, IJCAI 2018 in IJCAI International Joint Conference on Artificial Intelligence, VOLUME: 2018-July
INDEXED IN: Scopus
Scopus24
TITLE: Multi-objective optimization through pareto minimal correction subsets
AUTHORS: Terra Neves, M; Lynce, I; Manquinho, V;
PUBLISHED: 2018, SOURCE: 27th International Joint Conference on Artificial Intelligence, IJCAI 2018 in IJCAI International Joint Conference on Artificial Intelligence, VOLUME: 2018-July
AUTHORS: Terra Neves, M; Lynce, I; Manquinho, V;
PUBLISHED: 2018, SOURCE: 27th International Joint Conference on Artificial Intelligence, IJCAI 2018 in IJCAI International Joint Conference on Artificial Intelligence, VOLUME: 2018-July
INDEXED IN: Scopus
Scopus25
TITLE: Enhancing Constraint-Based Multi-Objective Combinatorial Optimization
AUTHORS: Miguel Terra Neves; Ines Lynce; Vasco Manquinho;
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: Miguel Terra Neves; Ines Lynce; Vasco Manquinho;
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
WOS26
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
27
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
28
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
29
TITLE: Non-Portfolio Approaches for Distributed Maximum Satisfiability
AUTHORS: Miguel Terra Neves; Ines Lynce; Vasco Manquinho;
PUBLISHED: 2016, SOURCE: 28th IEEE International Conference on Tools with Artificial Intelligence (ICTAI) in 2016 IEEE 28TH INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI 2016)
AUTHORS: Miguel Terra Neves; Ines Lynce; Vasco Manquinho;
PUBLISHED: 2016, SOURCE: 28th IEEE International Conference on Tools with Artificial Intelligence (ICTAI) in 2016 IEEE 28TH INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI 2016)
INDEXED IN: WOS
WOS30
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 CrossRef