Maria Ines Camarate de Campos Lynce de Faria
AuthID: R-000-BN4
1
TITLE: Can renewable energy prosumerism cater for sufficiency and inclusion? Full Text
AUTHORS: Campos, Ines; Korsnes, Marius; Labanca, Nicola; Bertoldi, Paolo;
PUBLISHED: 2024, SOURCE: RENEWABLE & SUSTAINABLE ENERGY REVIEWS, VOLUME: 197
AUTHORS: Campos, Ines; Korsnes, Marius; Labanca, Nicola; Bertoldi, Paolo;
PUBLISHED: 2024, SOURCE: RENEWABLE & SUSTAINABLE ENERGY REVIEWS, VOLUME: 197
INDEXED IN: 
Scopus 
WOS
Scopus WOS2
TITLE: BatFix: Repairing Language Model-based Transpilation Full Text
AUTHORS: Ramos, Daniel; Lynce, Ines; Manquinho, Vasco; Martins, Ruben; Le Goues, Claire;
PUBLISHED: 2024, SOURCE: ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, VOLUME: 33, ISSUE: 6
AUTHORS: Ramos, Daniel; Lynce, Ines; Manquinho, Vasco; Martins, Ruben; Le Goues, Claire;
PUBLISHED: 2024, SOURCE: ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, VOLUME: 33, ISSUE: 6
3
TITLE: Scales of solar energy: Exploring citizen satisfaction, interest, and values in a comparison of regions in Portugal and Spain
AUTHORS: Campos, Ines; Brito, Miguel; Luz, Guilherme;
PUBLISHED: 2023, SOURCE: ENERGY RESEARCH & SOCIAL SCIENCE, VOLUME: 97
AUTHORS: Campos, Ines; Brito, Miguel; Luz, Guilherme;
PUBLISHED: 2023, SOURCE: ENERGY RESEARCH & SOCIAL SCIENCE, VOLUME: 97
INDEXED IN: Scopus WOS
Scopus WOS4
TITLE: Exact and approximate determination of the Pareto front using Minimal Correction Subsets
AUTHORS: Guerreiro, A. P.; Cortes, J.; Vanderpooten, D.; Bazgan, C.; Lynce, I.; Manquinho, V; Figueira, J. R.;
PUBLISHED: 2023, SOURCE: COMPUTERS & OPERATIONS RESEARCH, VOLUME: 153
AUTHORS: Guerreiro, A. P.; Cortes, J.; Vanderpooten, D.; Bazgan, C.; Lynce, I.; Manquinho, V; Figueira, J. R.;
PUBLISHED: 2023, SOURCE: COMPUTERS & OPERATIONS RESEARCH, VOLUME: 153
5
TITLE: New Core-Guided and Hitting Set Algorithms for Multi-Objective Combinatorial Optimization
AUTHORS: Cortes, Joao; Lynce, Ines; Manquinho, Vasco;
PUBLISHED: 2023, SOURCE: 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
AUTHORS: Cortes, Joao; Lynce, Ines; Manquinho, Vasco;
PUBLISHED: 2023, SOURCE: 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
TITLE: Renewable energy Living Labs through the lenses of responsible innovation: building an inclusive, reflexive, and sustainable energy transition
AUTHORS: Campos, Ines; Marin Gonzalez, Esther;
PUBLISHED: 2023, SOURCE: JOURNAL OF RESPONSIBLE INNOVATION
AUTHORS: Campos, Ines; Marin Gonzalez, Esther;
PUBLISHED: 2023, SOURCE: JOURNAL OF RESPONSIBLE INNOVATION
INDEXED IN: Scopus WOS
Scopus WOS7
TITLE: MELT: Mining Effective Lightweight Transformations from Pull Requests
AUTHORS: Ramos, Daniel; Mitchell, Hailie; Lynce, Ines; Manquinho, Vasco; Martins, Ruben; Le Goues, Claire;
PUBLISHED: 2023, SOURCE: 38th IEEE/ACM International Conference on Automated Software Engineering (ASE) in 2023 38TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, ASE
AUTHORS: Ramos, Daniel; Mitchell, Hailie; Lynce, Ines; Manquinho, Vasco; Martins, Ruben; Le Goues, Claire;
PUBLISHED: 2023, SOURCE: 38th IEEE/ACM International Conference on Automated Software Engineering (ASE) in 2023 38TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, ASE
8
TITLE: Thinking, doing, organising: Prefiguring just and sustainable energy systems via collective prosumer ecosystems in Europe
AUTHORS: 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;
PUBLISHED: 2022, SOURCE: ENERGY RESEARCH & SOCIAL SCIENCE, VOLUME: 86
AUTHORS: 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;
PUBLISHED: 2022, SOURCE: ENERGY RESEARCH & SOCIAL SCIENCE, VOLUME: 86
INDEXED IN: Scopus WOS
Scopus WOS9
TITLE: DeepData: Machine learning in the marine ecosystems
AUTHORS: Oliveira e Silva, Leonor; Resende, Magda; Galhardas, Helena; Manquinho, Vasco; Lynce, Ines;
PUBLISHED: 2022, SOURCE: EXPERT SYSTEMS WITH APPLICATIONS, VOLUME: 206
AUTHORS: Oliveira e Silva, Leonor; Resende, Magda; Galhardas, Helena; Manquinho, Vasco; Lynce, Ines;
PUBLISHED: 2022, SOURCE: EXPERT SYSTEMS WITH APPLICATIONS, VOLUME: 206
10
TITLE: Conflict-Driven clause learning SAT solvers
AUTHORS: Joao Marques Silva; Ines Lynce; Sharad Malik;
PUBLISHED: 2021, SOURCE: Handbook of Satisfiability: Second Edition
AUTHORS: Joao Marques Silva; Ines Lynce; Sharad Malik;
PUBLISHED: 2021, SOURCE: Handbook of Satisfiability: Second Edition
INDEXED IN: Scopus
Scopus