Static analysis of Biological Regulatory Networks dynamics using abstract interpretation
From MaRDI portal
Publication:2909733
DOI10.1017/S0960129511000739zbMath1253.92029OpenAlexW2120938811WikidataQ113857445 ScholiaQ113857445MaRDI QIDQ2909733
Loïc Paulevé, Morgan Magnin, Olivier Roux
Publication date: 6 September 2012
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/s0960129511000739
Applications of graph theory (05C90) Dynamical systems in biology (37N25) Special processes (60K99) Computational methods for problems pertaining to biology (92-08) Systems biology, networks (92C42)
Related Items (4)
Under-approximation of reachability in multivalued asynchronous networks ⋮ Sufficient conditions for reachability in automata networks with priorities ⋮ Static analysis and stochastic search for reachability problem ⋮ Identification of biological regulatory networks from process hitting models
Cites Work
- Linear time analysis of properties of conflict-free and general Petri nets
- Maximum number of fixed points in regulatory Boolean networks
- Graphic requirements for multistability and attractive cycles in a Boolean dynamical framework
- Negative circuits and sustained oscillations in asynchronous automata networks
- Necessary conditions for multistationarity in discrete dynamical systems
- Refining Dynamics of Gene Regulatory Networks in a Stochastic π-Calculus Framework
- On Communicating Finite-State Machines
- Abstract Interpretation of Dynamics of Biological Regulatory Networks
- Abstract Interpretation Frameworks
- Abstract Interpretation of Cellular Signalling Networks
This page was built for publication: Static analysis of Biological Regulatory Networks dynamics using abstract interpretation