Maria Ines Camarate de Campos Lynce de Faria
AuthID: R-000-BN4
1
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 WOS2
TITLE: Exact and approximate determination of the Pareto front using Minimal Correction Subsets Full Text
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
INDEXED IN: Scopus WOS
Scopus WOS3
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 WOS4
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
INDEXED IN: Scopus WOS
Scopus WOS5
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 WOS6
TITLE: Structuring the problem of an inclusive and sustainable energy transition - A pilot study Full Text
AUTHORS: Campos, Ines; Brito, Miguel; De Souza, Debora; Santino, Aias; Luz, Guilherme; Pera, David;
PUBLISHED: 2022, SOURCE: JOURNAL OF CLEANER PRODUCTION, VOLUME: 365
AUTHORS: Campos, Ines; Brito, Miguel; De Souza, Debora; Santino, Aias; Luz, Guilherme; Pera, David;
PUBLISHED: 2022, SOURCE: JOURNAL OF CLEANER PRODUCTION, VOLUME: 365
INDEXED IN: Scopus WOS
Scopus WOS7
TITLE: DeepData: Machine learning in the marine ecosystems Full Text
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
INDEXED IN: Scopus WOS
Scopus WOS8
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
Scopus9
TITLE: Introducing UniCorT: an iterative university course timetabling tool with MaxSAT Full Text
AUTHORS: Lemos, A; Monteiro, PT; Lynce, I;
PUBLISHED: 2021, SOURCE: JOURNAL OF SCHEDULING
AUTHORS: Lemos, A; Monteiro, PT; Lynce, I;
PUBLISHED: 2021, SOURCE: JOURNAL OF SCHEDULING
INDEXED IN: WOS
WOS10
TITLE: SOAR: A Synthesis Approach for Data Science API Refactoring
AUTHORS: Ni, AS; Ramos, D; Yang, AZH; Lynce, I; Manquinho, V; Martins, R; Le Goues, C;
PUBLISHED: 2021, SOURCE: 43rd IEEE/ACM International Conference on Software Engineering - Software Engineering in Practice (ICSE-SEIP) / 43rd ACM/IEEE International Conference on Software Engineering - New Ideas and Emerging Results (ICSE-NIER) in 2021 IEEE/ACM 43RD INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE 2021)
AUTHORS: Ni, AS; Ramos, D; Yang, AZH; Lynce, I; Manquinho, V; Martins, R; Le Goues, C;
PUBLISHED: 2021, SOURCE: 43rd IEEE/ACM International Conference on Software Engineering - Software Engineering in Practice (ICSE-SEIP) / 43rd ACM/IEEE International Conference on Software Engineering - New Ideas and Emerging Results (ICSE-NIER) in 2021 IEEE/ACM 43RD INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE 2021)
INDEXED IN: Scopus WOS
Scopus WOS