Application of formal methods to biological regulatory networks: extending Thomas’ asynchronous logical approach with temporal logic
- 28 May 2004
- journal article
- Published by Elsevier in Journal of Theoretical Biology
- Vol. 229 (3) , 339-347
- https://doi.org/10.1016/j.jtbi.2004.04.003
Abstract
No abstract availableKeywords
This publication has 24 references indexed in Scilit:
- Engineered gene circuitsNature, 2002
- Positive and Negative Feedback: Striking a Balance Between Necessary AntagonistsJournal of Theoretical Biology, 2002
- Network motifs in the transcriptional regulation network of Escherichia coliNature Genetics, 2002
- Modeling and Simulation of Genetic Regulatory Systems: A Literature ReviewJournal of Computational Biology, 2002
- Multistationarity, the basis of cell differentiation and memory. II. Logical analysis of regulatory networks in terms of feedback circuitsChaos: An Interdisciplinary Journal of Nonlinear Science, 2001
- Qualitative dynamics of piecewise-linear differential equations: a discrete mapping approachDynamics and Stability of Systems, 1989
- Model analysis of the bases of multistationarity in the humoral immune responseJournal of Theoretical Biology, 1987
- Towards a logical analysis of the immune responseJournal of Theoretical Biology, 1985
- Logical analysis of systems comprising feedback loopsJournal of Theoretical Biology, 1978
- A Complex Control CircuitEuropean Journal of Biochemistry, 1976