Maria Ines Camarate de Campos Lynce de Faria


AuthID: R-000-BN4

Publicações Confirmadas: 155



21
TÍTULO: SOAR: A Synthesis Approach for Data Science API Refactoring PDF
AUTORES: Ansong Ni; Daniel Ramos; Aidan Z H Yang; Inês Lynce ; Vasco Manquinho; Ruben Martins; Claire Le Goues;
PUBLICAÇÃO: 2021, FONTE: CoRR, VOLUME: abs/2102.06726
INDEXADO EM: DBLP arXiv
NO MEU: DBLP
22
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)
INDEXADO EM: Scopus WOS DBLP
NO MEU: DBLP
23
TÍTULO: FOREST: An Interactive Multi-tree Synthesizer for Regular Expressions PDF
AUTORES: Margarida Ferreira; Miguel Terra Neves; Miguel Ventura; Inês Lynce ; Ruben Martins;
PUBLICAÇÃO: 2020, FONTE: CoRR, VOLUME: abs/2012.14235
INDEXADO EM: DBLP arXiv
NO MEU: DBLP
24
TÍTULO: Minimal Perturbation in University Timetabling with Maximum Satisfiability
AUTORES: Lemos, A; Monteiro, PT; Lynce, I ;
PUBLICAÇÃO: 2020, FONTE: 17th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, CPAIOR 2020 in INTEGRATION OF CONSTRAINT PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND OPERATIONS RESEARCH, CPAIOR 2020, VOLUME: 12296
INDEXADO EM: Scopus WOS DBLP CrossRef: 5
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
25
TÍTULO: ModRev - Model Revision Tool for Boolean Logical Models of Biological Regulatory Networks
AUTORES: Filipe Gouveia ; Inês Lynce ; Pedro T Monteiro;
PUBLICAÇÃO: 2020, FONTE: 18th International Conference on Computational Methods in Systems Biology, CMSB 2020 in Computational Methods in Systems Biology - 18th International Conference, CMSB 2020, Konstanz, Germany, September 23-25, 2020, Proceedings, VOLUME: 12314
INDEXADO EM: Scopus DBLP CrossRef: 1
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
26
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
INDEXADO EM: Scopus WOS DBLP CrossRef: 6
NO MEU: DBLP | CIÊNCIAVITAE
27
28
TÍTULO: UnchartIt. an interactive framework for program recovery from charts
AUTORES: Daniel Ramos; Jorge Pereira; Inês Lynce ; Vasco Manquinho ; Ruben Martins;
PUBLICAÇÃO: 2020, FONTE: Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering
INDEXADO EM: CrossRef: 3
NO MEU: ORCID | CIÊNCIAVITAE
29
TÍTULO: UNCHARTIT: An Interactive Framework for Program Recovery from Charts
AUTORES: Ramos, D; Pereira, J; Lynce, I ; Manquinho, V; Martins, R;
PUBLICAÇÃO: 2020, FONTE: 35th IEEE/ACM International Conference on Automated Software Engineering (ASE) in 2020 35TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE 2020)
INDEXADO EM: Scopus WOS DBLP
NO MEU: DBLP
30
TÍTULO: Concurrency Debugging with MaxSMT
AUTORES: Miguel Terra-Neves; Nuno Machado; Ines Lynce ; Vasco Manquinho ;
PUBLICAÇÃO: 2019, FONTE: Proceedings of the AAAI Conference on Artificial Intelligence, VOLUME: 33, NÚMERO: 01
INDEXADO EM: CrossRef: 3
NO MEU: CIÊNCIAVITAE
Página 3 de 16. Total de resultados: 155.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2025 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service