Bio-Logics: Logical Analysis of Bioregulatory Networks
From MaRDI portal
Publication:4916070
DOI10.1007/978-3-642-37651-1_2zbMath1383.92031MaRDI QIDQ4916070
Heike Siebert, Alexander Bockmayr
Publication date: 19 April 2013
Published in: Programming Logics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-37651-1_2
68Q45: Formal languages and automata
92C40: Biochemistry, molecular biology
03B44: Temporal logic
92C42: Systems biology, networks
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Analysis of discrete bioregulatory networks using symbolic steady states
- Negative circuits and sustained oscillations in asynchronous automata networks
- Modeling and querying biomolecular interaction networks
- Necessary conditions for multistationarity in discrete dynamical systems
- Temporal constraints in the logical analysis of regulatory networks
- Multistationarity, the basis of cell differentiation and memory. II. Logical analysis of regulatory networks in terms of feedback circuits
- Relating Attractors and Singular Steady States in the Logical Analysis of Bioregulatory Networks
- Hybrid Systems: Computation and Control