Heike Siebert

Frontiers Appl. Math. Stat., 2022

Structure and behavior in Boolean monotonic model pools.

[BibT_eX]

[DOI]

Robert Schwieger

Laura Cifuentes Fontanals

Biosyst., 2022

2020

Basins of Attraction, Commitment Sets, and Phenotypes of Boolean Networks.

[BibT_eX]

[DOI]

IEEE ACM Trans. Comput. Biol. Bioinform., 2020

Classifier Construction in Boolean Networks Using Algebraic Methods.

[BibT_eX]

[DOI]

Proceedings of the Computational Methods in Systems Biology, 2020

Control Strategy Identification via Trap Spaces in Boolean Networks.

[BibT_eX]

[DOI]

Elisa Tonello

Proceedings of the Computational Methods in Systems Biology, 2020

2019

Boolean analysis of lateral inhibition.

[BibT_eX]

[DOI]

Elisa Tonello

CoRR, 2019

Identifying lncRNA-mediated regulatory modules via ChIA-PET network analysis.

[BibT_eX]

[DOI]

Denise Thiel

Natasa Djurdjevac Conrad

BMC Bioinform., 2019

Designing Distributed Cell Classifier Circuits Using a Genetic Algorithm.

[BibT_eX]

[DOI]

Melania Nowicka

Proceedings of the Computational Methods in Systems Biology, 2019

2018

Correspondence of Trap Spaces in Different Models of Bioregulatory Networks.

[BibT_eX]

[DOI]

Robert Schwieger

Susanna Röblitz

SIAM J. Appl. Dyn. Syst., 2018

Erratum to: Computing maximal and minimal trap spaces of Boolean networks.

[BibT_eX]

[DOI]

Nat. Comput., 2018

2017

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

[BibT_eX]

[DOI]

Bioinform., 2017

Graph Representations of Monotonic Boolean Model Pools.

[BibT_eX]

[DOI]

Robert Schwieger

Proceedings of the Computational Methods in Systems Biology, 2017

2016

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

[BibT_eX]

[DOI]

Kirsten Thobe

Biosyst., 2016

2015

Minimization and equivalence in multi-valued logical models of regulatory networks.

[BibT_eX]

[DOI]

Therese Lorenz

Nat. Comput., 2015

Computing maximal and minimal trap spaces of Boolean networks.

[BibT_eX]

[DOI]

Nat. Comput., 2015

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

[BibT_eX]

[DOI]

BMC Syst. Biol., 2015

Comparative Statistical Analysis of Qualitative Parametrization Sets.

[BibT_eX]

[DOI]

Kirsten Thobe

Proceedings of the Hybrid Systems Biology - Fourth International Workshop, 2015

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

[BibT_eX]

[DOI]

Kirsten Thobe

Proceedings of the Computational Methods in Systems Biology, 2015

2014

Model Integration and Crosstalk Analysis of Logical Regulatory Networks.

[BibT_eX]

[DOI]

Proceedings of the Computational Methods in Systems Biology, 2014

Equivalences in Multi-valued Asynchronous Models of Regulatory Networks.

[BibT_eX]

[DOI]

Proceedings of the Cellular Automata, 2014

Computing Symbolic Steady States of Boolean Networks.

[BibT_eX]

[DOI]

Proceedings of the Cellular Automata, 2014

2013

Preservation of dynamic properties in qualitative modeling frameworks for gene regulatory networks.

[BibT_eX]

[DOI]

Shahrad Jamshidi

Biosyst., 2013

Bio-Logics: Logical Analysis of Bioregulatory Networks.

[BibT_eX]

[DOI]

Proceedings of the Programming Logics - Essays in Memory of Harald Ganzinger, 2013

2012

Time Series Dependent Analysis of Unparametrized Thomas Networks.

[BibT_eX]

[DOI]

IEEE ACM Trans. Comput. Biol. Bioinform., 2012

Comparing Discrete and Piecewise Affine Differential Equation Models of Gene Regulatory Networks.

[BibT_eX]

[DOI]

Shahrad Jamshidi

Proceedings of the Information Processign in Cells and Tissues, 2012

Parameter Identification and Model Ranking of Thomas Networks.

[BibT_eX]

[DOI]

Proceedings of the Computational Methods in Systems Biology, 2012

2011

Parameter inference for asynchronous logical networks using discrete time series.

[BibT_eX]

[DOI]

Proceedings of the Computational Methods in Systems Biology, 9th International Conference, 2011

2010

Stochasticity in reactions: a probabilistic Boolean modeling approach.

[BibT_eX]

[DOI]

Sven Twardziok

Alexander Heyl

Proceedings of the Computational Methods in Systems Biology, 8th International Conference, 2010

2009

Deriving Behavior of Boolean Bioregulatory Networks from Subnetwork Dynamics.

[BibT_eX]

[DOI]

Math. Comput. Sci., 2009

Dynamical and Structural Modularity of Discrete Regulatory Networks

[BibT_eX]

[DOI]

Proceedings of the Proceedings Second International Workshop on Computational Models for Cell Processes, 2009

Symbolic Steady States and Dynamically Essential Subnetworks of Discrete Regulatory Networks.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods in Molecular Biology, 22.02. - 27.02.2009, 2009

Analyzing various models of Circadian Clock and Cell Cycle coupling.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods in Molecular Biology, 22.02. - 27.02.2009, 2009

2008

Temporal constraints in the logical analysis of regulatory networks.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2008

Local Structure and Behavior of Boolean Bioregulatory Networks.

[BibT_eX]

[DOI]

Proceedings of the Algebraic Biology, Third International Conference, 2008

2007

Context Sensitivity in Logical Modeling with Time Delays.

[BibT_eX]

[DOI]

Proceedings of the Computational Methods in Systems Biology, International Conference, 2007

Relating Attractors and Singular Steady States in the Logical Analysis of Bioregulatory Networks.

[BibT_eX]

[DOI]

Proceedings of the Algebraic Biology, Second International Conference, 2007

2006

Incorporating Time Delays into the Logical Analysis of Gene Regulatory Networks.

[BibT_eX]

[DOI]