| Revision of Boolean models of regulatory networks using stable state observations F Gouveia, I Lynce, PT Monteiro Journal of Computational Biology 27 (2), 144-155, 2020 | 12 | 2020 |
| Model revision of logical regulatory networks using logic-based tools F Gouveia, I Lynce, PT Monteiro Technical Communications of the 34th International Conference on Logic …, 2018 | 8 | 2018 |
| Modrev-model revision tool for boolean logical models of biological regulatory networks F Gouveia, I Lynce, PT Monteiro International Conference on Computational Methods in Systems Biology, 339-348, 2020 | 5 | 2020 |
| Model revision of boolean regulatory networks at stable state F Gouveia, I Lynce, PT Monteiro Bioinformatics Research and Applications: 15th International Symposium …, 2019 | 4 | 2019 |
| Protein design using answer set programming JFR Gouveia Master Dissertation Instituto superior tecnico Lisboa, 2012 | 3 | 2012 |
| Iterative Train Scheduling under Disruption with Maximum Satisfiability A Lemos, F Gouveia, PT Monteiro, I Lynce Journal of Artificial Intelligence Research 79, 1047-1090, 2024 | 2 | 2024 |
| Model Revision of Boolean Logical Models of Biological Regulatory Networks F Gouveia Instituto Superior Técnico, Universidade de Lisboa, 2021 | 2 | 2021 |
| Semi-automatic model revision of Boolean regulatory networks: confronting time-series observations with (a) synchronous dynamics F Gouveia, I Lynce, PT Monteiro bioRxiv, 2020.05. 10.086900, 2020 | 2 | 2020 |
| Logic-based encodings for ricochet robots F Gouveia, PT Monteiro, V Manquinho, I Lynce Progress in Artificial Intelligence: 18th EPIA Conference on Artificial …, 2017 | 1 | 2017 |
| Scalable Knowledge Refactoring using Constrained Optimisation M Liu, DM Cerna, F Gouveia, A Cropper arXiv preprint arXiv:2408.11530, 2024 | | 2024 |
| Model Revision of Boolean Regulatory Networks F Gouveia | | |
Ines LynceINESC-ID, Instituto Superior Técnico (IST), Universidade de Lisboa在 tecnico.ulisboa.pt 的电子邮件经过验证
