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):
Displayed 8 items.
- Under-approximation of reachability in multivalued asynchronous networks (Q276000) (← links)
- A process algebra framework for multi-scale modelling of biological systems (Q388145) (← 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)
- 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)