Maria Ines Camarate de Campos Lynce de Faria
AuthID: R-000-BN4
1
TÃTULO: Can renewable energy prosumerism cater for sufficiency and inclusion? Full Text
AUTORES: Campos, Ines; Korsnes, Marius; Labanca, Nicola; Bertoldi, Paolo;
PUBLICAÇÃO: 2024, FONTE: RENEWABLE & SUSTAINABLE ENERGY REVIEWS, VOLUME: 197
AUTORES: Campos, Ines; Korsnes, Marius; Labanca, Nicola; Bertoldi, Paolo;
PUBLICAÇÃO: 2024, FONTE: RENEWABLE & SUSTAINABLE ENERGY REVIEWS, VOLUME: 197
INDEXADO EM: 
Scopus 
WOS
Scopus WOS2
TÃTULO: BatFix: Repairing Language Model-based Transpilation Full Text
AUTORES: Ramos, Daniel; Lynce, Ines; Manquinho, Vasco; Martins, Ruben; Le Goues, Claire;
PUBLICAÇÃO: 2024, FONTE: ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, VOLUME: 33, NÚMERO: 6
AUTORES: Ramos, Daniel; Lynce, Ines; Manquinho, Vasco; Martins, Ruben; Le Goues, Claire;
PUBLICAÇÃO: 2024, FONTE: ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, VOLUME: 33, NÚMERO: 6
3
TÃTULO: Scales of solar energy: Exploring citizen satisfaction, interest, and values in a comparison of regions in Portugal and Spain
AUTORES: Campos, Ines; Brito, Miguel; Luz, Guilherme;
PUBLICAÇÃO: 2023, FONTE: ENERGY RESEARCH & SOCIAL SCIENCE, VOLUME: 97
AUTORES: Campos, Ines; Brito, Miguel; Luz, Guilherme;
PUBLICAÇÃO: 2023, FONTE: ENERGY RESEARCH & SOCIAL SCIENCE, VOLUME: 97
INDEXADO EM: Scopus WOS
Scopus WOS4
TÃTULO: Exact and approximate determination of the Pareto front using Minimal Correction Subsets
AUTORES: Guerreiro, A. P.; Cortes, J.; Vanderpooten, D.; Bazgan, C.; Lynce, I.; Manquinho, V; Figueira, J. R.;
PUBLICAÇÃO: 2023, FONTE: COMPUTERS & OPERATIONS RESEARCH, VOLUME: 153
AUTORES: Guerreiro, A. P.; Cortes, J.; Vanderpooten, D.; Bazgan, C.; Lynce, I.; Manquinho, V; Figueira, J. R.;
PUBLICAÇÃO: 2023, FONTE: COMPUTERS & OPERATIONS RESEARCH, VOLUME: 153
5
TÃTULO: New Core-Guided and Hitting Set Algorithms for Multi-Objective Combinatorial Optimization
AUTORES: Cortes, Joao; Lynce, Ines; Manquinho, Vasco;
PUBLICAÇÃO: 2023, FONTE: 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) in TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PT II, TACAS 2023, VOLUME: 13994
AUTORES: Cortes, Joao; Lynce, Ines; Manquinho, Vasco;
PUBLICAÇÃO: 2023, FONTE: 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) in TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PT II, TACAS 2023, VOLUME: 13994
6
TÃTULO: Renewable energy Living Labs through the lenses of responsible innovation: building an inclusive, reflexive, and sustainable energy transition
AUTORES: Campos, Ines; Marin Gonzalez, Esther;
PUBLICAÇÃO: 2023, FONTE: JOURNAL OF RESPONSIBLE INNOVATION
AUTORES: Campos, Ines; Marin Gonzalez, Esther;
PUBLICAÇÃO: 2023, FONTE: JOURNAL OF RESPONSIBLE INNOVATION
INDEXADO EM: Scopus WOS
Scopus WOS7
TÃTULO: MELT: Mining Effective Lightweight Transformations from Pull Requests
AUTORES: Ramos, Daniel; Mitchell, Hailie; Lynce, Ines; Manquinho, Vasco; Martins, Ruben; Le Goues, Claire;
PUBLICAÇÃO: 2023, FONTE: 38th IEEE/ACM International Conference on Automated Software Engineering (ASE) in 2023 38TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, ASE
AUTORES: Ramos, Daniel; Mitchell, Hailie; Lynce, Ines; Manquinho, Vasco; Martins, Ruben; Le Goues, Claire;
PUBLICAÇÃO: 2023, FONTE: 38th IEEE/ACM International Conference on Automated Software Engineering (ASE) in 2023 38TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, ASE
8
TÃTULO: Thinking, doing, organising: Prefiguring just and sustainable energy systems via collective prosumer ecosystems in Europe
AUTORES: Wittmayer, JM; Campos, I; Avelino, F; Brown, D; Doracic, B; Fraaije, M; Gahrs, S; Hinsch, A; Assalini, S; Becker, T; Marin Gonzalez, E; Holstenkamp, L; Bedoic, R; Duic, N; Oxenaar, S; Puksec, T;
PUBLICAÇÃO: 2022, FONTE: ENERGY RESEARCH & SOCIAL SCIENCE, VOLUME: 86
AUTORES: Wittmayer, JM; Campos, I; Avelino, F; Brown, D; Doracic, B; Fraaije, M; Gahrs, S; Hinsch, A; Assalini, S; Becker, T; Marin Gonzalez, E; Holstenkamp, L; Bedoic, R; Duic, N; Oxenaar, S; Puksec, T;
PUBLICAÇÃO: 2022, FONTE: ENERGY RESEARCH & SOCIAL SCIENCE, VOLUME: 86
INDEXADO EM: Scopus WOS
Scopus WOS9
TÃTULO: DeepData: Machine learning in the marine ecosystems
AUTORES: Oliveira e Silva, Leonor; Resende, Magda; Galhardas, Helena; Manquinho, Vasco; Lynce, Ines;
PUBLICAÇÃO: 2022, FONTE: EXPERT SYSTEMS WITH APPLICATIONS, VOLUME: 206
AUTORES: Oliveira e Silva, Leonor; Resende, Magda; Galhardas, Helena; Manquinho, Vasco; Lynce, Ines;
PUBLICAÇÃO: 2022, FONTE: EXPERT SYSTEMS WITH APPLICATIONS, VOLUME: 206
10
TÃTULO: Conflict-Driven clause learning SAT solvers
AUTORES: Joao Marques Silva; Ines Lynce; Sharad Malik;
PUBLICAÇÃO: 2021, FONTE: Handbook of Satisfiability: Second Edition
AUTORES: Joao Marques Silva; Ines Lynce; Sharad Malik;
PUBLICAÇÃO: 2021, FONTE: Handbook of Satisfiability: Second Edition
INDEXADO EM: Scopus
Scopus