Approximating Attractors of Boolean Networks by Iterative CTL Model Checking

Por Klarner, Hannes, Siebert, Heike
Publicado no Front Bioeng Biotechnol (2015)

Complementing ODE-Based System Analysis Using Boolean Networks Derived from an Euler-Like Transformation

Por Stötzel, Claudia, Röblitz, Susanna, Siebert, Heike
Publicado no PLoS One (2015)

Unraveling the regulation of mTORC2 using logical modeling

Por Thobe, Kirsten, Sers, Christine, Siebert, Heike
Publicado no Cell Commun Signal (2017)

Designing miRNA-Based Synthetic Cell Classifier Circuits Using Answer Set Programming

Por Becker, Katinka, Klarner, Hannes, Nowicka, Melania, Siebert, Heike
Publicado no Front Bioeng Biotechnol (2018)

Evaluating Uncertainty in Signaling Networks Using Logical Modeling

Por Thobe, Kirsten, Kuznia, Christina, Sers, Christine, Siebert, Heike
Publicado no Front Physiol (2018)

Logical-continuous modelling of post-translationally regulated bistability of curli fiber expression in Escherichia coli

Por Yousef, Kaveh Pouran, Streck, Adam, Schütte, Christof, Siebert, Heike, Hengge, Regine, Kleist, Max von
Publicado no BMC Syst Biol (2015)

Relationship of acute axonal damage, Wallerian degeneration, and clinical disability in multiple sclerosis

Por Singh, Shailender, Dallenga, Tobias, Winkler, Anne, Roemer, Shanu, Maruschak, Brigitte, Siebert, Heike, Brück, Wolfgang, Stadelmann, Christine
Publicado no J Neuroinflammation (2017)