Maria Ines Camarate de Campos Lynce de Faria
AuthID: R-000-BN4
31
TITLE: Renewable Energy Prosumers in Mediterranean Viticulture Social-Ecological Systems Full Text
AUTHORS: Ines Campos; Esther Marin Gonzalez; Guilherme Luz; Joao Barroso; Nuno Oliveira;
PUBLISHED: 2019, SOURCE: SUSTAINABILITY, VOLUME: 11, ISSUE: 23
AUTHORS: Ines Campos; Esther Marin Gonzalez; Guilherme Luz; Joao Barroso; Nuno Oliveira;
PUBLISHED: 2019, SOURCE: SUSTAINABILITY, VOLUME: 11, ISSUE: 23
INDEXED IN: 
Scopus 
WOS
Scopus WOS32
TITLE: Theory and Applications of Satisfiability Testing - SAT 2019 - 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9-12, 2019, Proceedings
AUTHORS: Mikolás Janota; Inês Lynce;
PUBLISHED: 2019, SOURCE: SAT, VOLUME: 11628
AUTHORS: Mikolás Janota; Inês Lynce;
PUBLISHED: 2019, SOURCE: SAT, VOLUME: 11628
INDEXED IN: 
DBLP
DBLP33
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
Scopus34
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
Scopus35
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
Scopus36
TITLE: Oculocutaneous Albinism in Mozambique
AUTHORS: Faria, M; Fonseca, A;
PUBLISHED: 2018, SOURCE: Ophthalmology Retina, VOLUME: 2, ISSUE: 9
AUTHORS: Faria, M; Fonseca, A;
PUBLISHED: 2018, SOURCE: Ophthalmology Retina, VOLUME: 2, ISSUE: 9
INDEXED IN: Scopus
Scopus37
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
WOS38
TITLE: Model Revision of Logical Regulatory Networks Using Logic-Based Tools
AUTHORS: Filipe Gouveia ; Inês Lynce; Pedro T Monteiro;
PUBLISHED: 2018, SOURCE: Technical Communications of the 34th International Conference on Logic Programming, ICLP 2018, July 14-17, 2018, Oxford, United Kingdom, VOLUME: 64
AUTHORS: Filipe Gouveia ; Inês Lynce; Pedro T Monteiro;
PUBLISHED: 2018, SOURCE: Technical Communications of the 34th International Conference on Logic Programming, ICLP 2018, July 14-17, 2018, Oxford, United Kingdom, VOLUME: 64
INDEXED IN: Scopus DBLP
Scopus DBLP39
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 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 10491 LNCS
AUTHORS: Terra Neves, M; Lynce, I; Manquinho, V;
PUBLISHED: 2017, SOURCE: 20th International Conference on Theory and Applications of Satisfiability Testing, SAT 2017 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 10491 LNCS
40
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
