1
TITLE: ModRev - Model Revision Tool for Boolean Logical Models of Biological Regulatory Networks
AUTHORS: Filipe Gouveia ; Inês Lynce; Pedro T Monteiro;
PUBLISHED: 2020, SOURCE: 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
INDEXED IN: Scopus DBLP CrossRef
2
TITLE: Revision of Boolean Models of Regulatory Networks Using Stable State Observations
AUTHORS: Gouveia, F ; Lynce, I; Monteiro, PT;
PUBLISHED: 2020, SOURCE: JOURNAL OF COMPUTATIONAL BIOLOGY, VOLUME: 27, ISSUE: 2
INDEXED IN: Scopus WOS DBLP CrossRef: 4
4
TITLE: Model Revision of Boolean Regulatory Networks at Stable State
AUTHORS: Gouveia, F ; Lynce, I; Monteiro, PT;
PUBLISHED: 2019, SOURCE: 15th International Symposium on Bioinformatics Research and Applications (ISBRA) in BIOINFORMATICS RESEARCH AND APPLICATIONS, ISBRA 2019, VOLUME: 11490
INDEXED IN: Scopus WOS DBLP CrossRef: 2
5
TITLE: Model Revision of Logical Regulatory Networks Using Logic-Based Tools
AUTHORS: Filipe Gouveia ; Inês Lynce; Pedro T Monteiro;
PUBLISHED: 2018, SOURCE: Technical Communications of the 34th International Conference on Logic Programming, ICLP 2018, July 14-17, 2018, Oxford, United Kingdom, VOLUME: 64
INDEXED IN: Scopus DBLP
6
TITLE: Logic-Based Encodings for Ricochet Robots
AUTHORS: Gouveia, F ; Monteiro, PT; Manquinho, V; Lynce, I;
PUBLISHED: 2017, SOURCE: 18th EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE (EPIA 2017), VOLUME: 10423
INDEXED IN: Scopus WOS DBLP CrossRef