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