Temporal constraints in the logical analysis of regulatory networks

Theoretical Computer Science

Volumn 391, Issue 3, 2008, Pages 258-275

  Siebert, Heike ^a   Bockmayr, Alexander ^a  

^a FREIE UNIVERSITÄT BERLIN   (Germany)

Author keywords

Computational biology; Gene regulatory networks; Logical modeling; Timed automata

Indexed keywords

AUTOMATA THEORY; CONSTRAINT THEORY; INFORMATION ANALYSIS; LOGIC PROGRAMMING; MATHEMATICAL MODELS;

COMPUTATIONAL BIOLOGY; GENE REGULATORY NETWORKS;

COMPUTER NETWORKS;

EID: 39049120743     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.tcs.2007.11.010     Document Type: Article

References (15)

1. Alur R. Timed automata. Proceedings of the 11th International Conference on Computer Aided Verification. LNCS vol. 1633 (1999), Springer 8-22
2. R. Alur, T. Henzinger, G. Lafferriere, G. Pappas, Discrete abstractions of hybrid systems, in: Proceedings of the IEEE, 2000
3. Bengtsson J., and Yi W. Timed automata: Semantics, algorithms and tools. Lecture Notes on Concurrency and Petri Nets. LNCS vol. 3098 (2004), Springer 87-124
4. Bernot G., Comet J.-P., Richard A., and Guespin J. Application of formal methods to biological regulatory networks: Extending Thomas' asynchronous logical approach with temporal logic. J. Theor. Biol. 229 (2004) 339-347
5. Glass L., and Kauffman S.~A. The logical analysis of continuous, non-linear biochemical control networks. J. Theor. Biol. 39 (1973) 103-129
6. Kauffman S.~A. Metabolic stability and epigenesis in randomly constructed genetic nets. J. Theor. Biol. 22 (1969) 437-467
7. Oppenheim A., Kobiler O., Stavans J., Court D., and Adhya S. Switches in bacteriophage lambda development. Annu. Rev. Genet. 39 (2005) 409-429
8. É. Remy, P. Ruet, D. Thieffry, Graphic requirements for multistability and attractive cycles in a boolean dynamical framework. Prépublication, 2005
9. Siebert H., and Bockmayr A. Incorporating time delays into the logical analysis of gene regulatory networks. Computational Methods in Systems Biology, CMSB 2006, Trento, Italy. LNCS vol. 4210 (2006), Springer 169-183
10. Snoussi E.~H., and Thomas R. Logical identification of all steady states: The concept of feedback loop characteristic states. Bull. Math. Biol. 55 (1993) 973-991
11. Sugita M. Functional analysis of chemical systems in vivo using a logical circuit equivalent. J. Theor. Biol. 1 (1961) 415-430
12. Thieffry D., and Thomas R. Dynamical behaviour of biological regulatory networks - II. Immunity control in bacteriophage lambda. Bull. Math. Biol. 57 (1995) 277-297
13. Thomas R. Boolean formalisation of genetic control circuits. J. Theor. Biol. 42 (1973) 565-583
14. Thomas R., and d'Ari R. Biological Feedback (1990), CRC Press
15. Thomas R., and Kaufman M. Multistationarity, the basis of cell differentiation and memory. II. Logical analysis of regulatory networks in terms of feedback circuits. Chaos 11 (2001) 180-195