scispace - formally typeset
H

Heike Siebert

Researcher at Free University of Berlin

Publications -  61
Citations -  662

Heike Siebert is an academic researcher from Free University of Berlin. The author has contributed to research in topics: Model checking & Boolean network. The author has an hindex of 13, co-authored 59 publications receiving 561 citations. Previous affiliations of Heike Siebert include Max Planck Society.

Papers
More filters
Journal ArticleDOI

PyBoolNet: a python package for the generation, analysis and visualization of boolean networks.

TL;DR: PyBoolNet is a Python package for working with Boolean networks that supports simple access to model checking via NuSMV, standard graph algorithms via NetworkX and visualization via dot.ly; state of the art attractor computation exploiting Potassco ASP is implemented.
Journal ArticleDOI

Temporal constraints in the logical analysis of regulatory networks

TL;DR: A refined qualitative description of the dynamical behavior of the gene regulatory networks is obtained by exploiting not only information on ratios of kinetic parameters related to synthesis and decay, but also constraints on the time delays associated with the operations of the system.
Journal ArticleDOI

Computing maximal and minimal trap spaces of Boolean networks

TL;DR: In this article, an optimization-based method for computing all minimal and maximal trap spaces and motivate their use is proposed. But the method is not suitable for the case of biological systems such as signal transduction or gene regulatory networks.
Book ChapterDOI

Incorporating time delays into the logical analysis of gene regulatory networks

TL;DR: Based on the logical description of gene regulatory networks developed by R. Thomas, an enhanced modelling approach that uses timed automata yields a refined qualitative description of the dynamics of the system incorporating information not only on ratios of kinetic constants related to synthesis and decay, but also on the time delays occurring in the operations of theSystem.
Book ChapterDOI

Computing Symbolic Steady States of Boolean Networks

TL;DR: A novel optimization-based method for computing all maximal symbolic steady states and motivate their use is proposed and a new result yielding a lower bound for the number of cyclic attractors is added.