Abstract Interpretation of Dynamics of Biological Regulatory Networks

DOI10.1016/j.entcs.2011.04.004zbMath1291.92069OpenAlexW2050387915WikidataQ113318269 ScholiaQ113318269MaRDI QIDQ5166632

Olivier Roux, Morgan Magnin, Loïc Paulevé

Publication date: 27 June 2014

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2011.04.004

zbMATH Keywords

model checkingstatic analysisabstract interpretationbiological regulatory networks

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Systems biology, networks (92C42)

Related Items (2)

Static analysis of Biological Regulatory Networks dynamics using abstract interpretation ⋮ Static Analysis of Boolean Networks Based on Interaction Graphs: A Survey

Uses Software

• libDDD

Cites Work

• Unnamed Item
• Maximum number of fixed points in regulatory Boolean networks
• Graphic requirements for multistability and attractive cycles in a Boolean dynamical framework
• Necessary conditions for multistationarity in discrete dynamical systems

This page was built for publication: Abstract Interpretation of Dynamics of Biological Regulatory Networks