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