Modulation-reaction networks

DOI10.1007/978-3-032-30870-2_2MaRDI QIDQ7411994zbMATH OpenFDO

Authors

Publication date 2027

Full work available at URL https://doi.org/10.1007/978-3-032-30870-2_2

zbMATH Keywords

\(\mu\)-calculusBoolean networkmodal logicmodel checkingMR-networkreaction networkSBGN-PD

Mathematics Subject Classification ID

Software, source code, etc. for problems pertaining to biology (92-04) Systems biology, networks (92C42) Networked control (93B70) Boolean control/observation systems (93C29)

Cites work

• A compositional account of motifs, mechanisms, and dynamics in biochemical regulatory networks
• A tutorial on coinductive stream calculus and signal flow graphs
• Abstract interpretation and types for systems biology
• Abstract simulation of reaction networks via Boolean networks
• Biochemical systems theory: a review
• Computation of immediate neighbours of monotone Boolean functions
• Computational Methods in Systems Biology
• Inferring reaction systems from ordinary differential equations
• On model reductions of Boolean networks
• Static analysis of biological regulatory networks dynamics using abstract interpretation

This page was built for publication: Modulation-reaction networks

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7411994)