Pages that link to "Item:Q3003509"
From MaRDI portal
The following pages link to Refining Dynamics of Gene Regulatory Networks in a Stochastic π-Calculus Framework (Q3003509):
Displaying 12 items.
- Under-approximation of reachability in multivalued asynchronous networks (Q276000) (← links)
- A process algebra framework for multi-scale modelling of biological systems (Q388145) (← links)
- Stochastic hybrid models of gene regulatory networks -- a PDE approach (Q669087) (← links)
- Convergence of stochastic gene networks to hybrid piecewise deterministic processes (Q691103) (← links)
- Sufficient conditions for reachability in automata networks with priorities (Q896709) (← links)
- Modeling delayed dynamics in biological regulatory networks from time series data (Q1662593) (← links)
- Stochastic reaction networks with input processes: analysis and application to gene expression inference (Q1737707) (← links)
- Modelling patterns of gene regulation in the bond-calculus (Q2229141) (← links)
- Static analysis and stochastic search for reachability problem (Q2229143) (← links)
- Identification of biological regulatory networks from process hitting models (Q2513608) (← links)
- Static analysis of biological regulatory networks dynamics using abstract interpretation (Q2909733) (← links)
- Transactions on Computational Systems Biology IV (Q5899047) (← links)