Maria Ines Camarate de Campos Lynce de Faria
AuthID: R-000-BN4
31
TÃTULO: Renewable Energy Prosumers in Mediterranean Viticulture Social-Ecological Systems Full Text
AUTORES: Ines Campos; Esther Marin Gonzalez; Guilherme Luz; Joao Barroso; Nuno Oliveira;
PUBLICAÇÃO: 2019, FONTE: SUSTAINABILITY, VOLUME: 11, NÚMERO: 23
AUTORES: Ines Campos; Esther Marin Gonzalez; Guilherme Luz; Joao Barroso; Nuno Oliveira;
PUBLICAÇÃO: 2019, FONTE: SUSTAINABILITY, VOLUME: 11, NÚMERO: 23
INDEXADO EM: 
Scopus 
WOS
Scopus WOS32
TÃTULO: Theory and Applications of Satisfiability Testing - SAT 2019 - 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9-12, 2019, Proceedings
AUTORES: Mikolás Janota; Inês Lynce;
PUBLICAÇÃO: 2019, FONTE: SAT, VOLUME: 11628
AUTORES: Mikolás Janota; Inês Lynce;
PUBLICAÇÃO: 2019, FONTE: SAT, VOLUME: 11628
INDEXADO EM: 
DBLP
DBLP33
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
Scopus34
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
Scopus35
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
Scopus36
TÃTULO: Oculocutaneous Albinism in Mozambique
AUTORES: Faria, M; Fonseca, A;
PUBLICAÇÃO: 2018, FONTE: Ophthalmology Retina, VOLUME: 2, NÚMERO: 9
AUTORES: Faria, M; Fonseca, A;
PUBLICAÇÃO: 2018, FONTE: Ophthalmology Retina, VOLUME: 2, NÚMERO: 9
INDEXADO EM: Scopus
Scopus37
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
WOS38
TÃTULO: Model Revision of Logical Regulatory Networks Using Logic-Based Tools
AUTORES: Filipe Gouveia ; Inês Lynce; Pedro T Monteiro;
PUBLICAÇÃO: 2018, FONTE: Technical Communications of the 34th International Conference on Logic Programming, ICLP 2018, July 14-17, 2018, Oxford, United Kingdom, VOLUME: 64
AUTORES: Filipe Gouveia ; Inês Lynce; Pedro T Monteiro;
PUBLICAÇÃO: 2018, FONTE: Technical Communications of the 34th International Conference on Logic Programming, ICLP 2018, July 14-17, 2018, Oxford, United Kingdom, VOLUME: 64
INDEXADO EM: Scopus DBLP
Scopus DBLP39
TÃTULO: Introducing pareto minimal correction subsets
AUTORES: Terra Neves, M; Lynce, I; Manquinho, V;
PUBLICAÇÃO: 2017, FONTE: 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
AUTORES: Terra Neves, M; Lynce, I; Manquinho, V;
PUBLICAÇÃO: 2017, FONTE: 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
TÃTULO: Logic-Based Encodings for Ricochet Robots
AUTORES: Gouveia, F ; Monteiro, PT; Manquinho, V; Lynce, I;
PUBLICAÇÃO: 2017, FONTE: 18th EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE (EPIA 2017), VOLUME: 10423
AUTORES: Gouveia, F ; Monteiro, PT; Manquinho, V; Lynce, I;
PUBLICAÇÃO: 2017, FONTE: 18th EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE (EPIA 2017), VOLUME: 10423
