Maria Ines Camarate de Campos Lynce de Faria
AuthID: R-000-BN4
11
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
WOS12
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 Unpaywall13
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
14
TITLE: Assessing the impacts of driving environment on driving behavior patterns Full Text
AUTHORS: Marta V Faria; Patricia C Baptista; Tiago L Farias; Joao M S Pereira;
PUBLISHED: 2020, SOURCE: TRANSPORTATION, VOLUME: 47, ISSUE: 3
AUTHORS: Marta V Faria; Patricia C Baptista; Tiago L Farias; Joao M S Pereira;
PUBLISHED: 2020, SOURCE: TRANSPORTATION, VOLUME: 47, ISSUE: 3
INDEXED IN: Scopus WOS
Scopus WOS15
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 WOS16
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
17
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
WOS18
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 WOS19
TITLE: Disruptions in timetables: a case study at Universidade de Lisboa Full Text
AUTHORS: Alexandre Lemos; Pedro T Monteiro; Ines Lynce;
PUBLISHED: 2020, SOURCE: JOURNAL OF SCHEDULING
AUTHORS: Alexandre Lemos; Pedro T Monteiro; Ines Lynce;
PUBLISHED: 2020, SOURCE: JOURNAL OF SCHEDULING
INDEXED IN: Scopus WOS
Scopus WOS20
TITLE: Minimal Perturbation in University Timetabling with Maximum Satisfiability
AUTHORS: Lemos, A; Monteiro, PT; Lynce, I;
PUBLISHED: 2020, SOURCE: 17th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, CPAIOR 2020 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 12296 LNCS
AUTHORS: Lemos, A; Monteiro, PT; Lynce, I;
PUBLISHED: 2020, SOURCE: 17th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, CPAIOR 2020 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 12296 LNCS
INDEXED IN: Scopus
Scopus