Reachability analysis for parametric rule-based models

DOI10.1007/978-3-032-01436-8_9MaRDI QIDQ7290112zbMATH OpenFDO

Authors Jerome Feret, Rebecca Ghidini

Publication date 6 July 2026

Full work available at URL https://doi.org/10.1007/978-3-032-01436-8_9

Mathematics Subject Classification ID

Systems biology, networks (92C42) Attainable sets, reachability (93B03)

Cites work

• A lattice-theoretical fixpoint theorem and its applications
• Abstract interpretation and types for systems biology
• Abstract Interpretation of Cellular Signalling Networks
• An Analysis for Proving Temporal Properties of Biological Systems
• Counters in Kappa: semantics, simulation, and static analysis
• Formal molecular biology
• scientific article; zbMATH DE number 7453108 (Why is no real title available?)
• Knockout prediction for reaction networks with partial kinetic information
• Phenotype control of partially specified Boolean networks
• Reachability analysis via orthogonal sets of patterns
• Rule-Based Modelling of Cellular Signalling
• Static analysis of biological regulatory networks dynamics using abstract interpretation
• Sufficient conditions for reachability in automata networks with priorities
• Under-approximation of reachability in multivalued asynchronous networks

This page was built for publication: Reachability analysis for parametric rule-based models

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