Maria Ines Camarate de Campos Lynce de Faria
AuthID: R-000-BN4
1
TITLE: Green, innovative, and unfair: The case of unjust energy transitions and civic resistance and opposition in Portugal
AUTHORS: Campos, Ines; Maraschin, Sergio; Schwemmlein, Kaya Maria;
PUBLISHED: 2025, SOURCE: ENERGY RESEARCH & SOCIAL SCIENCE, VOLUME: 124
AUTHORS: Campos, Ines; Maraschin, Sergio; Schwemmlein, Kaya Maria;
PUBLISHED: 2025, SOURCE: ENERGY RESEARCH & SOCIAL SCIENCE, VOLUME: 124
INDEXED IN: 
Scopus 
WOS
Scopus WOS2
TITLE: What roles can democracy labs play in co-creating democratic innovations for sustainability?
AUTHORS: 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č;
PUBLISHED: 2024, SOURCE: Socio-Ecological Practice Research
AUTHORS: 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č;
PUBLISHED: 2024, SOURCE: Socio-Ecological Practice Research
INDEXED IN: Scopus
Scopus3
TITLE: How can energy prosumerism align with sufficiency and justice principles? A typology for policymakers, researchers and practitioners
AUTHORS: Korsnes, Marius; Labanca, Nicola; Campos, Ines; Bertoldi, Paolo;
PUBLISHED: 2024, SOURCE: ENERGY RESEARCH & SOCIAL SCIENCE, VOLUME: 118
AUTHORS: Korsnes, Marius; Labanca, Nicola; Campos, Ines; Bertoldi, Paolo;
PUBLISHED: 2024, SOURCE: ENERGY RESEARCH & SOCIAL SCIENCE, VOLUME: 118
INDEXED IN: Scopus WOS
Scopus WOS4
TITLE: Parallel Maximum Satisfiability
AUTHORS: Inês Lynce; Vasco Manquinho; Ruben Martins;
PUBLISHED: 2018, SOURCE: Handbook of Parallel Constraint Reasoning
AUTHORS: Inês Lynce; Vasco Manquinho; Ruben Martins;
PUBLISHED: 2018, SOURCE: Handbook of Parallel Constraint Reasoning
INDEXED IN: Scopus 
DBLP
Scopus DBLP IN MY: DBLP
DBLP5
TITLE: Non-Portfolio Approaches for Distributed Maximum Satisfiability
AUTHORS: Miguel Terra-Neves; Ines Lynce; Vasco Manquinho ;
PUBLISHED: 2016, SOURCE: 2016 IEEE 28th International Conference on Tools with Artificial Intelligence (ICTAI)
AUTHORS: Miguel Terra-Neves; Ines Lynce; Vasco Manquinho ;
PUBLISHED: 2016, SOURCE: 2016 IEEE 28th International Conference on Tools with Artificial Intelligence (ICTAI)
INDEXED IN: 
CrossRef
CrossRef6
TITLE: Refutation by Randomised General Resolution
AUTHORS: Steven Prestwich; Inês Lynce;
PUBLISHED: 2007, SOURCE: 22nd AAAI Conference on Artificial Intelligence, AAAI 2007 in Proceedings of the 22nd AAAI Conference on Artificial Intelligence, AAAI 2007
AUTHORS: Steven Prestwich; Inês Lynce;
PUBLISHED: 2007, SOURCE: 22nd AAAI Conference on Artificial Intelligence, AAAI 2007 in Proceedings of the 22nd AAAI Conference on Artificial Intelligence, AAAI 2007
INDEXED IN: Scopus
Scopus