Maria Ines Camarate de Campos Lynce de Faria
AuthID: R-000-BN4
11
TÃTULO: Introducing UniCorT: an iterative university course timetabling tool with MaxSAT
AUTORES: Lemos, A; Monteiro, PT; Lynce, I;
PUBLICAÇÃO: 2021, FONTE: JOURNAL OF SCHEDULING, VOLUME: 25, NÚMERO: 4
AUTORES: Lemos, A; Monteiro, PT; Lynce, I;
PUBLICAÇÃO: 2021, FONTE: JOURNAL OF SCHEDULING, VOLUME: 25, NÚMERO: 4
12
TÃTULO: SOAR: A Synthesis Approach for Data Science API Refactoring
AUTORES: Ni, AS; Ramos, D; Yang, AZH; Lynce, I; Manquinho, V; Martins, R; Le Goues, C;
PUBLICAÇÃO: 2021, FONTE: 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)
AUTORES: Ni, AS; Ramos, D; Yang, AZH; Lynce, I; Manquinho, V; Martins, R; Le Goues, C;
PUBLICAÇÃO: 2021, FONTE: 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)
INDEXADO EM: 
Scopus 
WOS
Scopus WOS13
TÃTULO: Replication of SOAR: A Synthesis Approach for Data Science API Refactoring
AUTORES: Ni, AS; Ramos, D; Yang, AZH; Lynce, I; Manquinho, V; Martins, R; Le Goues, C;
PUBLICAÇÃO: 2021, FONTE: IEEE/ACM 43rd International Conference on Software Engineering (ICSE) in 2021 IEEE/ACM 43RD INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: COMPANION PROCEEDINGS (ICSE-COMPANION 2021)
AUTORES: Ni, AS; Ramos, D; Yang, AZH; Lynce, I; Manquinho, V; Martins, R; Le Goues, C;
PUBLICAÇÃO: 2021, FONTE: IEEE/ACM 43rd International Conference on Software Engineering (ICSE) in 2021 IEEE/ACM 43RD INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: COMPANION PROCEEDINGS (ICSE-COMPANION 2021)
INDEXADO EM: WOS
WOS14
TÃTULO: Chapter 4: Conflict-driven clause learning SAT solvers
AUTORES: Joao Marques Silva; Ines Lynce; Sharad Malik;
PUBLICAÇÃO: 2021, FONTE: Frontiers in Artificial Intelligence and Applications, VOLUME: 336
AUTORES: Joao Marques Silva; Ines Lynce; Sharad Malik;
PUBLICAÇÃO: 2021, FONTE: Frontiers in Artificial Intelligence and Applications, VOLUME: 336
INDEXADO EM: Scopus 
Unpaywall
Scopus Unpaywall15
TÃTULO: Chapter 4. Conflict-Driven Clause Learning SAT Solvers
AUTORES: Joao Marques-Silva; Ines Lynce; Sharad Malik;
PUBLICAÇÃO: 2021, FONTE: Frontiers in Artificial Intelligence and Applications - Handbook of Satisfiability
AUTORES: Joao Marques-Silva; Ines Lynce; Sharad Malik;
PUBLICAÇÃO: 2021, FONTE: Frontiers in Artificial Intelligence and Applications - Handbook of Satisfiability
16
TÃTULO: Collective Renewable Energy Prosumers and the Promises of the Energy Union: Taking Stock Full Text
AUTORES: Lanka Horstink; Julia M Wittmayer; Kiat Ng; Guilherme Pontes Luz; Esther Marin Gonzalez; Swantje Gaehrs; Ines Campos; Lars Holstenkamp; Sem Oxenaar; Donal Brown;
PUBLICAÇÃO: 2020, FONTE: ENERGIES, VOLUME: 13, NÚMERO: 2
AUTORES: Lanka Horstink; Julia M Wittmayer; Kiat Ng; Guilherme Pontes Luz; Esther Marin Gonzalez; Swantje Gaehrs; Ines Campos; Lars Holstenkamp; Sem Oxenaar; Donal Brown;
PUBLICAÇÃO: 2020, FONTE: ENERGIES, VOLUME: 13, NÚMERO: 2
INDEXADO EM: Scopus WOS
Scopus WOS17
TÃTULO: Revision of Boolean Models of Regulatory Networks Using Stable State Observations
AUTORES: Gouveia, F ; Lynce, I; Monteiro, PT;
PUBLICAÇÃO: 2020, FONTE: JOURNAL OF COMPUTATIONAL BIOLOGY, VOLUME: 27, NÚMERO: 2
AUTORES: Gouveia, F ; Lynce, I; Monteiro, PT;
PUBLICAÇÃO: 2020, FONTE: JOURNAL OF COMPUTATIONAL BIOLOGY, VOLUME: 27, NÚMERO: 2
18
TÃTULO: Regulatory challenges and opportunities for collective renewable energy prosumers in the EU Full Text
AUTORES: Campos Ines; Pontes Luz Guilherme; Marin Gonzalez Esther; Gaehrs Swantje; Hall Stephen; Holstenkamp Lars;
PUBLICAÇÃO: 2020, FONTE: ENERGY POLICY, VOLUME: 138
AUTORES: Campos Ines; Pontes Luz Guilherme; Marin Gonzalez Esther; Gaehrs Swantje; Hall Stephen; Holstenkamp Lars;
PUBLICAÇÃO: 2020, FONTE: ENERGY POLICY, VOLUME: 138
INDEXADO EM: WOS
WOS19
TÃTULO: People in transitions: Energy citizenship, prosumerism and social movements in Europe
AUTORES: Ines Campos; Esther Marin Gonzalez;
PUBLICAÇÃO: 2020, FONTE: ENERGY RESEARCH & SOCIAL SCIENCE, VOLUME: 69
AUTORES: Ines Campos; Esther Marin Gonzalez;
PUBLICAÇÃO: 2020, FONTE: ENERGY RESEARCH & SOCIAL SCIENCE, VOLUME: 69
INDEXADO EM: Scopus WOS
Scopus WOS20
TÃTULO: Disruptions in timetables: a case study at Universidade de Lisboa
AUTORES: Lemos, A; Monteiro, PT; Lynce, I;
PUBLICAÇÃO: 2020, FONTE: JOURNAL OF SCHEDULING, VOLUME: 24, NÚMERO: 1
AUTORES: Lemos, A; Monteiro, PT; Lynce, I;
PUBLICAÇÃO: 2020, FONTE: JOURNAL OF SCHEDULING, VOLUME: 24, NÚMERO: 1
