Maria Ines Camarate de Campos Lynce de Faria
AuthID: R-000-BN4
31
TITLE: Preface
AUTHORS: Janota, M; Lynce, I;
PUBLISHED: 2019, SOURCE: 22nd International Conference on Theory and Applications of Satisfiability Testing, SAT 2019 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 11628 LNCS
AUTHORS: Janota, M; Lynce, I;
PUBLISHED: 2019, SOURCE: 22nd International Conference on Theory and Applications of Satisfiability Testing, SAT 2019 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 11628 LNCS
INDEXED IN: 
Scopus
Scopus32
TITLE: Concurrency Debugging with MaxSMT
AUTHORS: Miguel Terra Neves; Nuno Machado ; Ines Lynce; Vasco Manquinho;
PUBLISHED: 2019, SOURCE: 33rd AAAI Conference on Artificial Intelligence / 31st Innovative Applications of Artificial Intelligence Conference / 9th AAAI Symposium on Educational Advances in Artificial Intelligence in THIRTY-THIRD AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE / THIRTY-FIRST INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE / NINTH AAAI SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE
AUTHORS: Miguel Terra Neves; Nuno Machado ; Ines Lynce; Vasco Manquinho;
PUBLISHED: 2019, SOURCE: 33rd AAAI Conference on Artificial Intelligence / 31st Innovative Applications of Artificial Intelligence Conference / 9th AAAI Symposium on Educational Advances in Artificial Intelligence in THIRTY-THIRD AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE / THIRTY-FIRST INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE / NINTH AAAI SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE
INDEXED IN: 
WOS
WOS33
TITLE: Constraint-Based Techniques in Stochastic Local Search MaxSAT Solving
AUTHORS: Andreia P Guerreiro; Miguel Terra Neves; Ines Lynce; Jose Rui Figueira; Vasco Manquinho;
PUBLISHED: 2019, SOURCE: 25th International Conference on the Principles and Practice of Constraint Programming (CP) in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2019, VOLUME: 11802
AUTHORS: Andreia P Guerreiro; Miguel Terra Neves; Ines Lynce; Jose Rui Figueira; Vasco Manquinho;
PUBLISHED: 2019, SOURCE: 25th International Conference on the Principles and Practice of Constraint Programming (CP) in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2019, VOLUME: 11802
INDEXED IN: Scopus WOS
Scopus WOS34
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 WOS35
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
DBLP36
TITLE: Assessing energy consumption impacts of traffic shifts based on real-world driving data Full Text
AUTHORS: Marta Faria; Catarina Rolim; Goncalo Duarte; Tiago Farias; Patricia Baptista;
PUBLISHED: 2018, SOURCE: TRANSPORTATION RESEARCH PART D-TRANSPORT AND ENVIRONMENT, VOLUME: 62
AUTHORS: Marta Faria; Catarina Rolim; Goncalo Duarte; Tiago Farias; Patricia Baptista;
PUBLISHED: 2018, SOURCE: TRANSPORTATION RESEARCH PART D-TRANSPORT AND ENVIRONMENT, VOLUME: 62
INDEXED IN: Scopus WOS
Scopus WOS37
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 WOS38
TITLE: Thinking outside the thorax for patients difficult to wean from non-invasive ventilation: amyotrophic lateral sclerosis diagnosis and management in a Respiratory Intermediate Care Unit
AUTHORS: Dias, A; Faria, I; Santos, AC; Bárbara, C;
PUBLISHED: 2018, SOURCE: Pulmonology, VOLUME: 24, ISSUE: 1
AUTHORS: Dias, A; Faria, I; Santos, AC; Bárbara, C;
PUBLISHED: 2018, SOURCE: Pulmonology, VOLUME: 24, ISSUE: 1
INDEXED IN: Scopus
Scopus39
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
Scopus40
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
Scopus