Maria Ines Camarate de Campos Lynce de Faria
AuthID: R-000-BN4
1
TÃTULO: Proxy Attribute Discovery in Machine Learning Datasets via Inductive Logic Programming
AUTORES: Rafael Gonçalves; Filipe Gouveia; Inês Lynce; José Fragoso Santos;
PUBLICAÇÃO: 2025, FONTE: Tools and Algorithms for the Construction and Analysis of Systems - 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part II, VOLUME: 15697
AUTORES: Rafael Gonçalves; Filipe Gouveia; Inês Lynce; José Fragoso Santos;
PUBLICAÇÃO: 2025, FONTE: Tools and Algorithms for the Construction and Analysis of Systems - 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part II, VOLUME: 15697
2
TÃTULO: Hypergraph-Guided Regex Filter Synthesis for Event-Based Anomaly Detection
AUTORES: Margarida Ferreira; Victor Nicolet; Luan Pham; Joey Dodds; Daniel Kroening; Inês Lynce; Ruben Martins;
PUBLICAÇÃO: 2025, FONTE: CoRR, VOLUME: abs/2509.06911
AUTORES: Margarida Ferreira; Victor Nicolet; Luan Pham; Joey Dodds; Daniel Kroening; Inês Lynce; Ruben Martins;
PUBLICAÇÃO: 2025, FONTE: CoRR, VOLUME: abs/2509.06911
INDEXADO EM: 
DBLP
DBLP NO MEU: DBLP
DBLP3
TÃTULO: Slide&Drill, a New Approach for Multi-Objective Combinatorial Optimization Full Text
AUTORES: João Cortes; Inês Lynce; Vasco Manquinho;
PUBLICAÇÃO: 2024, FONTE: 30th International Conference on Principles and Practice of Constraint Programming, CP 2024 in 30th International Conference on Principles and Practice of Constraint Programming, CP 2024, September 2-6, 2024, Girona, Spain, VOLUME: 307
AUTORES: João Cortes; Inês Lynce; Vasco Manquinho;
PUBLICAÇÃO: 2024, FONTE: 30th International Conference on Principles and Practice of Constraint Programming, CP 2024 in 30th International Conference on Principles and Practice of Constraint Programming, CP 2024, September 2-6, 2024, Girona, Spain, VOLUME: 307
INDEXADO EM: 
Scopus DBLP
Scopus DBLP NO MEU: DBLP
DBLP4
TÃTULO: What roles can democracy labs play in co-creating democratic innovations for sustainability?
AUTORES: Inês Campos; Doris Fuchs; Petteri Repo; Wander Jager; Christian Klöckner; Shaoni Wang; David Lamas; Francesc Cots; Eugenio Barchiesi; Erica Löfström; Daniel Peniche; Yulia Sion; Vanessa Buth; João Limão; Sandra Oliveira; Claudia Reyes Diaz; Lidija Živčič;
PUBLICAÇÃO: 2024, FONTE: Socio-Ecological Practice Research
AUTORES: Inês Campos; Doris Fuchs; Petteri Repo; Wander Jager; Christian Klöckner; Shaoni Wang; David Lamas; Francesc Cots; Eugenio Barchiesi; Erica Löfström; Daniel Peniche; Yulia Sion; Vanessa Buth; João Limão; Sandra Oliveira; Claudia Reyes Diaz; Lidija Živčič;
PUBLICAÇÃO: 2024, FONTE: Socio-Ecological Practice Research
INDEXADO EM: Scopus
Scopus5
TÃTULO: How can energy prosumerism align with sufficiency and justice principles? A typology for policymakers, researchers and practitioners
AUTORES: Korsnes, Marius; Labanca, Nicola; Campos, Ines; Bertoldi, Paolo;
PUBLICAÇÃO: 2024, FONTE: ENERGY RESEARCH & SOCIAL SCIENCE, VOLUME: 118
AUTORES: Korsnes, Marius; Labanca, Nicola; Campos, Ines; Bertoldi, Paolo;
PUBLICAÇÃO: 2024, FONTE: ENERGY RESEARCH & SOCIAL SCIENCE, VOLUME: 118
INDEXADO EM: Scopus 
WOS
Scopus WOS6
TÃTULO: Integrating Pseudo-Boolean Constraint Reasoning in Multi-Objective Evolutionary Algorithms
AUTORES: Terra Neves, M; Lynce, I; Manquinho, V;
PUBLICAÇÃO: 2019, FONTE: 28th International Joint Conference on Artificial Intelligence, IJCAI 2019 in PROCEEDINGS OF THE TWENTY-EIGHTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLUME: 2019-August
AUTORES: Terra Neves, M; Lynce, I; Manquinho, V;
PUBLICAÇÃO: 2019, FONTE: 28th International Joint Conference on Artificial Intelligence, IJCAI 2019 in PROCEEDINGS OF THE TWENTY-EIGHTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLUME: 2019-August
INDEXADO EM: Scopus WOS DBLP
Scopus WOS DBLP NO MEU: DBLP
DBLP7
TÃTULO: Parallel Maximum Satisfiability
AUTORES: Inês Lynce; Vasco Manquinho; Ruben Martins;
PUBLICAÇÃO: 2018, FONTE: Handbook of Parallel Constraint Reasoning.
AUTORES: Inês Lynce; Vasco Manquinho; Ruben Martins;
PUBLICAÇÃO: 2018, FONTE: Handbook of Parallel Constraint Reasoning.
INDEXADO EM: Scopus DBLP
Scopus DBLP NO MEU: DBLP
DBLP8
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 PROCEEDINGS OF THE TWENTY-SEVENTH 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 PROCEEDINGS OF THE TWENTY-SEVENTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLUME: 2018-July
INDEXADO EM: Scopus WOS DBLP
Scopus WOS DBLP NO MEU: DBLP
DBLP9
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 PROCEEDINGS OF THE TWENTY-SEVENTH 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 PROCEEDINGS OF THE TWENTY-SEVENTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLUME: 2018-July
INDEXADO EM: Scopus WOS DBLP
Scopus WOS DBLP NO MEU: DBLP
DBLP10
TÃTULO: Non-Portfolio Approaches for Distributed Maximum Satisfiability
AUTORES: Miguel Terra-Neves; Ines Lynce; Vasco Manquinho ;
PUBLICAÇÃO: 2016, FONTE: 2016 IEEE 28th International Conference on Tools with Artificial Intelligence (ICTAI)
AUTORES: Miguel Terra-Neves; Ines Lynce; Vasco Manquinho ;
PUBLICAÇÃO: 2016, FONTE: 2016 IEEE 28th International Conference on Tools with Artificial Intelligence (ICTAI)
INDEXADO EM: 
CrossRef
CrossRef