Unfolding of parametric Boolean networks

DOI10.1016/j.entcs.2018.03.009OpenAlexW2613129163WikidataQ113317571 ScholiaQ113317571MaRDI QIDQ2130572

Stefan Haar, Juraj Kolčák, Loïc Paulevé, David Šafránek

Publication date: 25 April 2022

Full work available at URL: https://doi.org/10.1016/j.entcs.2018.03.009

zbMATH Keywords

asynchronous systemsconcurrencyBoolean networkssystems biologyparameters identification

Mathematics Subject Classification ID

Systems biology, networks (92C42)

Related Items (1)

Parameter space abstraction and unfolding semantics of discrete regulatory networks

Cites Work

• Unnamed Item
• Computational methods in systems biology. 13th international conference, CMSB 2015, Nantes, France, September 16--18, 2015. Proceedings
• Computational methods in systems biology. 10th international conference, CMSB 2012, London, UK, October 3--5, 2012. Proceedings
• An improvement of McMillan's unfolding algorithm
• The topology of the regulatory interactions predicts the expression pattern of the segment polarity genes in \textit{Drosophila melanogaster}
• Application of formal methods to biological regulatory networks: extending Thomas' asynchronous logical approach with temporal logic
• A computational algebra approach to the reverse engineering of gene regulatory networks
• Lattice Theory: Foundation

This page was built for publication: Unfolding of parametric Boolean networks