BNClassifier: classifying Boolean models by dynamic properties

DOI10.1007/978-3-031-71671-3_2MaRDI QIDQ7405536zbMATH OpenFDO

Authors Nikola Beneš, Luboš Brim, Ondřej Huvar, Samuel Pastva, D. Šafránek

Publication date 2024

Full work available at URL https://doi.org/10.1007/978-3-031-71671-3_2

Mathematics Subject Classification ID

Systems biology, networks (92C42)

Cites work

• A model checking approach to discrete bifurcation analysis
• Aeon 2021: bifurcation decision trees in Boolean networks
• AEON: attractor bifurcation analysis of parametrised Boolean networks
• Computational methods in systems biology. 10th international conference, CMSB 2012, London, UK, October 3--5, 2012. Proceedings
• scientific article; zbMATH DE number 1701768 (Why is no real title available?)
• scientific article; zbMATH DE number 1536552 (Why is no real title available?)
• Model checking for hybrid branching-time logics
• Temporal Logics with Reference Pointers and Computation Tree Logics

This page was built for publication: BNClassifier: classifying Boolean models by dynamic properties

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