A Formal Framework for Composing Qualitative Models of Biological Systems

DOI10.1007/978-3-319-71069-3_2MaRDI QIDQ5055976zbMATH OpenOpenAlexFDO

Authors Hanadi Alkhudhayr, Jason Steggles

Publication date 9 December 2022

Published in Theory and Practice of Natural Computing (Search for Journal in Brave)

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

zbMATH Keywords

Boolean networkmodel compositionqualitative models

Mathematics Subject Classification ID

Systems biology, networks (92C42) Boolean control/observation systems (93C29)

Recommendations

• An abstraction theory for qualitative models of biological systems
• Modelling and Analysing Qualitative Biological Models using Rewriting Logic
• A logical framework for systems biology
• Prospects for declarative mathematical modeling of complex biological systems
• Computational Methods in Systems Biology
• Logical modeling of biological systems

Cites work

• An abstraction theory for qualitative models of biological systems
• Dynamical behaviour of biological regulatory networks. II: Immunity control in bacteriophage lambda
• Interconnection of asynchronous Boolean networks, asymptotic and transient dynamics

Cited in

(11)

• A formalism of multidimensional living systems based on nonstandard analysis
• A framework for (de)composing with Boolean automata networks
• Compositional analysis of Boolean networks using local fixed-point iterations
• Synthesis and simulation of ensembles of Boolean networks for cell fate decision
• scientific article; zbMATH DE number 5968911 (Why is no real title available?)
• An abstraction theory for qualitative models of biological systems
• Modelling and Analysing Qualitative Biological Models using Rewriting Logic
• From quantitative SBML models to Boolean networks
• “Don’t Care” Modeling: A Logical Framework for Developing Predictive System Models
• Stability analysis of large-scale Boolean networks via compositional method
• Compositional techniques for Boolean networks and attractor analysis

This page was built for publication: A Formal Framework for Composing Qualitative Models of Biological Systems

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