Maria Ines Camarate de Campos Lynce de Faria
AuthID: R-000-BN4
21
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 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 12296 LNCS
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 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 12296 LNCS
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: 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
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
23
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)
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
Scopus WOS24
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
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
26
TÃTULO: Virtual machine consolidation using constraint-based multi-objective optimization
AUTORES: Terra Neves, M; Lynce, I; Manquinho, V;
PUBLICAÇÃO: 2019, FONTE: JOURNAL OF HEURISTICS, VOLUME: 25, NÚMERO: 3
AUTORES: Terra Neves, M; Lynce, I; Manquinho, V;
PUBLICAÇÃO: 2019, FONTE: JOURNAL OF HEURISTICS, VOLUME: 25, NÚMERO: 3
27
TÃTULO: Repairing Boolean logical models from time-series data using Answer Set Programming
AUTORES: Lemos, A; Lynce, I; Monteiro, PT;
PUBLICAÇÃO: 2019, FONTE: ALGORITHMS FOR MOLECULAR BIOLOGY, VOLUME: 14, NÚMERO: 1
AUTORES: Lemos, A; Lynce, I; Monteiro, PT;
PUBLICAÇÃO: 2019, FONTE: ALGORITHMS FOR MOLECULAR BIOLOGY, VOLUME: 14, NÚMERO: 1
28
TÃTULO: Model Revision of Boolean Regulatory Networks at Stable State
AUTORES: Gouveia, F ; Lynce, I; Monteiro, PT;
PUBLICAÇÃO: 2019, FONTE: 15th International Symposium on Bioinformatics Research and Applications (ISBRA) in BIOINFORMATICS RESEARCH AND APPLICATIONS, ISBRA 2019, VOLUME: 11490
AUTORES: Gouveia, F ; Lynce, I; Monteiro, PT;
PUBLICAÇÃO: 2019, FONTE: 15th International Symposium on Bioinformatics Research and Applications (ISBRA) in BIOINFORMATICS RESEARCH AND APPLICATIONS, ISBRA 2019, VOLUME: 11490
29
TÃTULO: Preface
AUTORES: Janota, M; Lynce, I;
PUBLICAÇÃO: 2019, FONTE: 22nd International Conference on Theory and Applications of Satisfiability Testing, SAT 2019 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 11628 LNCS
AUTORES: Janota, M; Lynce, I;
PUBLICAÇÃO: 2019, FONTE: 22nd International Conference on Theory and Applications of Satisfiability Testing, SAT 2019 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 11628 LNCS
INDEXADO EM: Scopus
Scopus30
TÃTULO: Concurrency Debugging with MaxSMT
AUTORES: Miguel Terra Neves; Nuno Machado ; Ines Lynce; Vasco Manquinho;
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
AUTORES: Miguel Terra Neves; Nuno Machado ; Ines Lynce; Vasco Manquinho;
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
WOS