Maria Ines Camarate de Campos Lynce de Faria


AuthID: R-000-BN4

Confirmed Publications: 140



11
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
INDEXED IN: Scopus WOS DBLP CrossRef: 13
12
TITLE: Introducing <i>UniCorT</i>: an iterative university course timetabling tool with MaxSAT
AUTHORS: Lemos, A; Monteiro, PT; Lynce, I ;
PUBLISHED: 2022, SOURCE: JOURNAL OF SCHEDULING, VOLUME: 25, ISSUE: 4
INDEXED IN: WOS DBLP CrossRef: 8
13
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
INDEXED IN: CrossRef: 31
14
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
INDEXED IN: Scopus Unpaywall
15
TITLE: Conflict-Driven Clause Learning SAT Solvers
AUTHORS: João Marques Silva; Inês Lynce ; Sharad Malik;
PUBLISHED: 2021, SOURCE: Handbook of Satisfiability
INDEXED IN: Scopus DBLP
16
TITLE: Counterfeiting Congestion Control Algorithms
AUTHORS: Ferreira, M; Narayan, A; Lynce, I ; Martins, R; Sherry, J;
PUBLISHED: 2021, SOURCE: PROCEEDINGS OF THE THE 20TH ACM WORKSHOP ON HOT TOPICS IN NETWORKS, HOTNETS 2021
INDEXED IN: WOS DBLP
17
TITLE: Disruptions in timetables: a case study at Universidade de Lisboa
AUTHORS: Lemos, A; Monteiro, PT; Lynce, I ;
PUBLISHED: 2021, SOURCE: JOURNAL OF SCHEDULING, VOLUME: 24, ISSUE: 1
INDEXED IN: Scopus WOS DBLP CrossRef: 4
18
TITLE: FOREST: An Interactive Multi-tree Synthesizer for Regular Expressions
AUTHORS: Ferreira, M; Terra Neves, M; Ventura, M; Lynce, I ; Martins, R;
PUBLISHED: 2021, SOURCE: TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PT I, TACAS 2021, VOLUME: 12651
INDEXED IN: WOS DBLP
19
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)
INDEXED IN: WOS DBLP
20
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)
INDEXED IN: Scopus WOS DBLP
Page 2 of 14. Total results: 140.

footer slogan

Useful Links

Get Help

© 2026 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service