Data-driven optimizations for model checking of multi-valued regulatory networks

Autor: Streck, Adam, Thobe, Kirsten, Siebert, Heike

Publikováno v: In BioSystems November 2016 149:125-138

Unraveling the regulation of mTORC2 using logical modeling.

Autor: Thobe, Kirsten^1,2 kirsten.thobe@fu-berlin.de, Sers, Christine³, Siebert, Heike^1,2

Publikováno v: Cell Communication & Signaling. 1/19/2017, Vol. 15, p1-15. 15p.

Evaluating uncertainty in signaling networks using logical modeling

Autor: Thobe, Kirsten, Kuznia, Christina, Sers, Christine, Siebert, Heike

Publikováno v: Frontiers in Physiology

Systems biology studies the structure and dynamics of biological systems using mathematical approaches. Bottom-up approaches create models from prior knowledge but usually cannot cope with uncertainty, whereas top-down approaches infer models directl

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=pmid_dedup__::cf0420fd3a5bfad5a80cd9cb6ad0c258
http://edoc.mdc-berlin.de/17825/1/17825oa.pdf

Analysing Cell Line Specific EGFR Signalling via Optimized Automata Based Model Checking.

Autor: Streck, Adam, Thobe, Kirsten, Siebert, Heike

Publikováno v: Static Analysis: 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings; 2015, p264-276, 13p

Model Integration and Crosstalk Analysis of Logical Regulatory Networks.

Autor: Thobe, Kirsten, Streck, Adam, Klarner, Hannes, Siebert, Heike

Publikováno v: Computational Methods in Systems Biology: 12th International Conference, CMSB 2014, Manchester, UK, November 17-19, 2014, Proceedings; 2014, p32-44, 13p