Control Flow Analysis of Generalised Boolean Networks

DOI10.1016/J.ENTCS.2012.05.012MaRDI QIDQ5404092zbMATH OpenOpenAlexWikidataFDO

Authors Chiara Bodei, Linda Brodo, Davide Chiarugi

Publication date 21 March 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.2012.05.012

Mathematics Subject Classification ID

Genetics and epigenetics (92D10) Systems biology, networks (92C42)

Recommendations

• Algorithms for analysis, inference, and control of Boolean networks
• Algorithms for analysis and control of Boolean networks
• Algorithms for Inference, Analysis and Control of Boolean Networks
• Bisimulations of Boolean Control Networks
• Reduction and analysis of Boolean control networks by bisimulation
• Identification of Boolean control networks
• Controllability and observability of Boolean control networks
• Realization of Boolean control networks
• Further Results on the Controllability of Boolean Control Networks

Cites work

• scientific article; zbMATH DE number 3885321 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 50840 (Why is no real title available?)
• scientific article; zbMATH DE number 1296290 (Why is no real title available?)
• scientific article; zbMATH DE number 1950547 (Why is no real title available?)
• scientific article; zbMATH DE number 1953280 (Why is no real title available?)
• Application of a stochastic name-passing calculus to representation and simulation of molecular processes
• BioAmbients: an abstraction for biological compartments
• Brane Calculi
• CONCUR 2005 – Concurrency Theory
• Computational Methods in Systems Biology
• Dynamical behaviour of biological regulatory networks. I: Biological role of feedback loops and practical use of the concept of the loop- characteristic state
• Mobile ambients
• Petri net representation of multi-valued logical regulatory graphs
• Rule-Based Modelling of Cellular Signalling
• Static analysis for the \(\pi\)-calculus with applications to security

Cited in

(4)

• Bisimulations of Boolean Control Networks
• Aeon 2021: bifurcation decision trees in Boolean networks
• Interpolative Boolean networks
• Static Analysis of Boolean Networks Based on Interaction Graphs: A Survey

This page was built for publication: Control Flow Analysis of Generalised Boolean Networks

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