Maria Ines Camarate de Campos Lynce de Faria


AuthID: R-000-BN4

Publicações Confirmadas: 140



21
TÍTULO: Minimal Perturbation in University Timetabling with Maximum Satisfiability
AUTORES: Lemos, A; Monteiro, PT; Lynce, I ;
PUBLICAÇÃO: 2020, FONTE: INTEGRATION OF CONSTRAINT PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND OPERATIONS RESEARCH, CPAIOR 2020, VOLUME: 12296
INDEXADO EM: Scopus WOS DBLP CrossRef: 8
NO MEU: DBLP
22
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: CMSB, VOLUME: 12314 LNBI
INDEXADO EM: Scopus DBLP CrossRef: 3
NO MEU: ORCID | DBLP
23
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: 7
NO MEU: ORCID | DBLP
24
25
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
26
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
27
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: ORCID | CIÊNCIAVITAE
28
TÍTULO: Concurrency Debugging with MaxSMT
AUTORES: Terra Neves, M; Machado, N ; Lynce, I ; Manquinho, V;
PUBLICAÇÃO: 2019, FONTE: 33rd AAAI Conference on Artificial Intelligence / 31st Innovative Applications of Artificial Intelligence Conference / 9th AAAI Symposium on Educational Advances in Artificial Intelligence in THIRTY-THIRD AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE / THIRTY-FIRST INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE / NINTH AAAI SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE
INDEXADO EM: WOS DBLP
NO MEU: DBLP
29
TÍTULO: Constraint-Based Techniques in Stochastic Local Search MaxSAT Solving
AUTORES: Guerreiro, AP; Terra Neves, M; Lynce, I ; Figueira, JR ; Manquinho, V;
PUBLICAÇÃO: 2019, FONTE: 25th International Conference on the Principles and Practice of Constraint Programming (CP) in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2019, VOLUME: 11802
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
NO MEU: DBLP
30
TÍTULO: Integrating Pseudo-Boolean Constraint Reasoning in Multi-Objective Evolutionary Algorithms
AUTORES: Terra Neves, M; Lynce, I ; Manquinho, V ;
PUBLICAÇÃO: 2019, FONTE: PROCEEDINGS OF THE TWENTY-EIGHTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLUME: 2019-August
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
NO MEU: DBLP
Página 3 de 14. Total de resultados: 140.

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

Links Úteis

Ajuda

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