Cited in
(34)- Dynamics of actively regulated gene networks
- Qualitative analysis of gene regulatory networks by temporal logic
- Numerical simulation of piecewise-linear models of gene regulatory networks using complementarity systems
- Applying differential dynamic logic to reconfigurable biological networks
- Importance of metabolic coupling for the dynamics of gene expression following a diauxic shift in \textit{Escherichia coli}
- Cyclic negative feedback systems: what is the chance of oscillation?
- Stability of genetic networks with hybrid regulatory mechanism
- Nonlinear and temporal multiscale dynamics of gene regulatory networks: a qualitative simulator
- On algorithmic analysis of transcriptional regulation by LTL model checking
- Continuous-switch piecewise quadratic models of biological networks: application to bacterial growth
- Modelling Gene Regulatory Networks
- Periodic solutions of gene networks with steep sigmoidal regulatory functions
- Embedding of biological regulatory networks and property preservation
- Piecewise-linear models of genetic regulatory networks: equilibria and their stability
- Parallel model checking large-scale genetic regulatory networks with DiVinE
- Mathematical analyses of two-compartment model of human cholesterol circulatory transport in application to high blood cholesterol prevention, diagnosis and treatment
- Modeling the onset of virulence in a pectinolytic bacterium
- Ginsim
- DBSolve
- BIOCHAM
- Celldesigner
- RoVerGeNe
- SparQ
- A genetically modified Hoare logic
- MILES
- booleannet
- hiPathDB
- High-Performance Discrete Bifurcation Analysis for Piecewise-Affine Dynamical Systems
- Hypothesizing about signaling networks
- Integrating Time-Series Data in Large-Scale Discrete Cell-Based Models
- On mode reconstructability and reconstructability sets of piecewise linear systems
- Hybrid models of genetic networks: mathematical challenges and biological relevance
- Influence systems vs reaction systems
- Assigning probabilities to qualitative dynamics of gene regulatory networks
This page was built for software: GNA
