Temporal constraints in the logical analysis of regulatory networks

DOI10.1016/j.tcs.2007.11.010zbMath1133.68041OpenAlexW2022624450MaRDI QIDQ2474436

Heike Siebert, Alexander Bockmayr

Publication date: 6 March 2008

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2007.11.010

zbMATH Keywords

timed automatagene regulatory networkscomputational biologylogical modeling

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Genetics and epigenetics (92D10)

Related Items

Formal analysis of oscillatory behaviors in biological regulatory networks: an alternative approach ⋮ From structure to dynamics: frequency tuning in the p53-Mdm2 network. I: Logical approach ⋮ Uncovering operational interactions in genetic networks using asynchronous Boolean dynamics ⋮ Modelling cell lineage using a meta-Boolean tree model with a relation to gene regulatory networks ⋮ Modeling delayed dynamics in biological regulatory networks from time series data ⋮ Remarks on the respective roles of logical parameters and time delays in asynchronous logic: an homage to El Houssine Snoussi ⋮ A genetically modified Hoare logic ⋮ Bio-Logics: Logical Analysis of Bioregulatory Networks

Cites Work

• Unnamed Item
• Unnamed Item
• Logical identification of all steady states: The concept of feedback loop characteristic states
• Graphic requirements for multistability and attractive cycles in a Boolean dynamical framework
• Dynamical behaviour of biological regulatory networks. II: Immunity control in bacteriophage lambda
• Application of formal methods to biological regulatory networks: extending Thomas' asynchronous logical approach with temporal logic
• Multistationarity, the basis of cell differentiation and memory. II. Logical analysis of regulatory networks in terms of feedback circuits
• Lectures on Concurrency and Petri Nets