Maria Ines Camarate de Campos Lynce de Faria


AuthID: R-000-BN4

Publicações a aguardar confirmação

1
TÍTULO: SPELL: Synthesis of Programmatic Edits using LLMs
AUTORES: Daniel Ramos; Catarina Gamboa; Inês Lynce; Vasco Manquinho; Ruben Martins; Claire Le Goues;
PUBLICAÇÃO: 2026, FONTE: CoRR, VOLUME: abs/2602.01107
INDEXADO EM: DBLP
NO MEU: DBLP
2
TÍTULO: Green, innovative, and unfair: The case of unjust energy transitions and civic resistance and opposition in Portugal
AUTORES: Campos, Ines; Maraschin, Sergio; Schwemmlein, Kaya Maria;
PUBLICAÇÃO: 2025, FONTE: ENERGY RESEARCH & SOCIAL SCIENCE, VOLUME: 124
INDEXADO EM: Scopus WOS
3
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
INDEXADO EM: DBLP
NO MEU: DBLP
4
TÍTULO: ECAI 2025 - 28th European Conference on Artificial Intelligence, 25-30 October 2025, Bologna, Italy - Including 14th Conference on Prestigious Applications of Intelligent Systems (PAIS 2025)
AUTORES: Inês Lynce; Nello Murano; Mauro Vallati; Serena Villata; Federico Chesani; Michela Milano; Andrea Omicini; Mehdi Dastani;
PUBLICAÇÃO: 2025, FONTE: ECAI, VOLUME: 413
INDEXADO EM: DBLP
NO MEU: DBLP
5
TÍTULO: Slide&Drill, a New Approach for Multi-Objective Combinatorial Optimization
AUTORES: Cortes, Joao; Lynce, Ines; Manquinho, Vasco;
PUBLICAÇÃO: 2024, FONTE: 30th International Conference on Principles and Practice of Constraint Programming-CP in 30TH INTERNATIONAL CONFERENCE ON PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2024, VOLUME: 307
INDEXADO EM: Scopus WOS DBLP
NO MEU: DBLP
6
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
INDEXADO EM: Scopus
7
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
INDEXADO EM: Scopus WOS
8
TÍTULO: Parallel Maximum Satisfiability
AUTORES: Inês Lynce; Vasco Manquinho; Ruben Martins;
PUBLICAÇÃO: 2018, FONTE: Handbook of Parallel Constraint Reasoning
INDEXADO EM: Scopus DBLP
NO MEU: DBLP
9
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)
INDEXADO EM: CrossRef
10
TÍTULO: Refutation by Randomised General Resolution
AUTORES: Steven Prestwich; Inês Lynce;
PUBLICAÇÃO: 2007, FONTE: 22nd AAAI Conference on Artificial Intelligence, AAAI 2007 in Proceedings of the 22nd AAAI Conference on Artificial Intelligence, AAAI 2007
INDEXADO EM: Scopus

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2026 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service