Implicit methods for qualitative modeling of gene regulatory networks

Methods in Molecular Biology

Volumn 786, Issue , 2012, Pages 397-443

  Garg, Abhishek ^a   Mohanram, Kartik ^b   De Micheli, Giovanni ^c   Xenarios, Ioannis ^d  

^a HARVARD MEDICAL SCHOOL   (United States)

^b RICE UNIVERSITY   (United States)

^c EPFL   (Switzerland)

^d UNIVERSITY OF LAUSANNE   (Switzerland)

Author keywords

BDDs; Boolean networks; Cell differentiation; Gene regulatory networks; Signaling pathways; Stochasticity; Synchronous; T helper network

Indexed keywords

PROTEIN;

ARTICLE; BIOLOGICAL MODEL; BIOLOGY; CELL DIFFERENTIATION; CYTOLOGY; GENE EXPRESSION REGULATION; GENE REGULATORY NETWORK; GENETICS; HELPER CELL; METABOLISM; SIGNAL TRANSDUCTION;

CELL DIFFERENTIATION; COMPUTATIONAL BIOLOGY; GENE EXPRESSION REGULATION; GENE REGULATORY NETWORKS; MODELS, GENETIC; PROTEINS; SIGNAL TRANSDUCTION; T-LYMPHOCYTES, HELPER-INDUCER;

EID: 80555139635     PISSN: 10643745     EISSN: None     Source Type: Book Series    
DOI: 10.1007/978-1-61779-292-2_22     Document Type: Article

References (50)

1. Goodwin BC. Temporal organization in cells; A dynamic theory of cellular control processes. Academic Press, New York, 1963.
2. Li S. A quantitative study of the division cycle of caulobacter crescentus stalked cells. PLoS Computational Biology, 4, 2008.
3. Chen KC. Integrative analysis of cell cycle control in budding yeast. Molecular Biology of Cell, 15:3841-3862, 2004. (Pubitemid 38989719)
4. Semenov A and Yakovlev A. Verification of asynchronous circuits using time Petri net unfolding. Proceedings of the 33rd annual conference on Design automation, Las Vegas 1996, pages 59-62, 1996.
5. Yakovlev A, Semenov A, Koelmans AM, and Kinniment DJ. Petri nets and asynchronous circuit design. IEEE colloquium on Design and Test Asynchronous Systems, pages 8/1-8/6, 1996.
6. Remy E, Ruet P, Mendoza L, Thieffry D, and Chaouiya C. From logical regulatory graphs to standard petri nets: Dynamical roles and functionality of feedback circuits. Lecture Notes in Computer Science, 4230:56-72, 2006. (Pubitemid 351150623)
7. Snoussi EH and Thomas R. Logical identification of all steady states: the concept of feedback loop-characteristic states. Bulletin of Mathematical Biology, 55:973-991, 1993.
8. Steggles LJ, Banks R, Shaw O, and Wipat A. Qualitatively modeling and analysing genetic regulatory networks: a petri net approach. Bioinformatics, 23(3):336-343, 2007. (Pubitemid 46323156)
9. Heiner M and Koch I. Petri net based model validation in systems biology. J. Cortadella and W. Reisig (Eds), ICATPN04, LNCS, 3099: 216-237, 2004.
10. Hofestadt R and Thelen S. Quantitative modeling of biochemical networks. In Silico Biology 1, pages 39-53, 1998.
11. Thomas R. Regulatory networks seen as asynchronous automata: a logical description. Journal of Theoetical. Biology, 153:1-23, 1991.
12. Reddy VN, Liebman MN, and Mavrovouniotis ML. Qualitative analysis of bio-chemical reaction systems. Computational Biology and Medical Informatics, 26:9-24, 1996. (Pubitemid 26046739)
13. Kahlem P and Birney E. Dry work in a wet world: computation in systems biology. Molecular Systems Biology, 2:40, 2006.
14. Huang S, Eichler G, Bar-Yam Y, and Ingber DE. Cell fates as high dimensional attractor states of a complex gene regulatory network. Physics. Review Letters, 94:128701:1-128701: 4, 2005.
15. Kauffman SA. Metabolic stability and epigenesis in randomly constructed genetic nets. Journal of Theoetical. Biology, 22:437-467, 1969.
16. Xie A and Beerel PA. Efficient state classification of finite state markov chains. Proceedings of Design Automation Conference, 1998.
17. De Micheli G. Synthesis and optimization of digital circuits. Mc Graw-Hill Higher Education, 2009.
18. Touati HJ, Savoj H, Lin B, Brayton RK, and Sangiovanni-Vincentelli Implicit state enumeration of finite-state machines using BDDs. Proceedings of ICCAD'90, 1990.
19. Roig O, Cortadella J, and Pastor E. Verification of asynchronous circuits by BDD-based model checking of Petri nets. Lecture Notes in Computer Science, Springer Berlin/Heidelberg, 935:374-391, 1995.
20. Bryant RE. Graph-Based Algorithms for Boolean Function Manipulation. IEEE Transactions on Computers, 35:677-691, 1986.
21. Fauré A, Naldi A, Chaouiya C, and Thieffry D. Dynamical analysis of a generic Boolean model for the control of the mammalian cell cycle. Bioinformatics, 22:e124-131, 2006. (Pubitemid 44288280)
22. Mendoza L and Xenarios I. A method for the generation of standardized qualitative dynamical systems of regulatory networks. Theoretical Biology and Medical Modeling, Mar 16;3:13, 2006.
23. Klamt S, Saez-Rodriguez J, Lindquist JA, Simeoni L, and Gilles ED. A methodology for the structural and functional analysis of signaling and regulatory networks. BMC Bioinformatics, 7, 2006.
24. Agnello D, Lankford CS, Bream J, Morinobu A, Gadina M, O'Shea JJ, and Frucht DM. Cytokines and transcription factors that regulate T helper cell differentiation: new players and new insights. Journal of Clinical Immunology, 23:147-162, 2003.
25. Murphy KM and Reiner SL. The lineage decisions on helper T cells. Nature Review Immunology, 2:933-944, 2002.
26. Szabo SJ, Sullivan BM, Peng SL, and Glimcher LH. Molecular mechanisms regulating Th1 immune responses. Annual Reviews Immunology, 21:713-758, 2003. (Pubitemid 37174546)
27. Yates A, Bergmann C, Van Hemmen JL, Stark J, and Callard R. Cytokine-modulated regulation of helper T cell populations. Journal of Theoretical Biology, 206:539-560, 2000.
28. Bergmann C, van Hemmen JL, and Segel LA. Th1 or Th2: how an appropriate T helper response can be made. Bulletin of Mathematical Biology, 63:405-430, 2001. (Pubitemid 32577698)
29. Weisbuch G, DeBoer RJ, and Perelson AS. Localized memories in idiotypic networks. Jour-nal of Theoretical Biology, 146:483-499, 1990. (Pubitemid 20347114)
30. Krueger GR, Marshall GR, Junker U, Schroeder H, and Buja LM. Growth factors, cytokines, chemokines and neuropeptides in the modeling of T-cells. In Vivo, 17:105-118, 2002.
31. Mendoza L. A network model for the control of the differentiation process in Th cells. Biosystems, 84:101-114, 2005.
32. Becskei A and Serrano L. Engineering stability in gene networks by autoregulation. Nature, 405:590-593, 2000. (Pubitemid 30367734)
33. McAdams HH and Arkin A. Its a noisy business! Genetic regulation at the nanomolar scale. Trends in Genetics, 15:65-69, 1999.
34. Pedraza JM and Oudenaarden AV. Noise propagation in gene networks. Science, 307:1965-1969, 2005.
35. Kaern M, Elston TC, Blake WJ, and Collins JJ. Stochasticity in gene expression: From theories to phenotypes. Nature Reviews Genetics, 6: 451-464, 2005. (Pubitemid 40733890)
36. Losick R and Desplan C. Stochasticity and cell fate. Science, 320:65-68, 2008. (Pubitemid 351490752)
37. Garg A, Di Cara A, Mendoza L, Xenarios I and De Micheli G. Synchronous vs. Asynchronous modeling of gene regulatory networks. Bioinformatics, 24:1917-1925, 2008.
38. Rao CV, Wolf DM, and Arkin AP. Control, exploitation and tolerance of intracellular noise. Nature, 421:231-237, 2002. (Pubitemid 35340135)
39. Gonze D and Goldbeter A. Circadian rhythms and molecular noise. Chaos, 16:026-110, 2006.
40. Schultz D, Jacob EB, Onuchic JN, and Wolynes PG. Molecular level stochastic model for competence cycles in Bacillus subtilis. Proceedings of National Academy of Science of the USA, 104:17582-17587, 2007. (Pubitemid 350210878)
41. Gillespie DT. A general method for numerically simulating the stochastic time evolution of coupled chemical reactions. Journal of Computational Physics, 22:403-434, 1976.
42. Gillespie DT. Exact stochastic simulation of coupled chemical reactions. Journal of Physical Chemistry, 81:2340-2361, 1977.
43. Ribeiro AS and Kauffman SA. Noisy attractors and ergodic sets in models of gene regulatory networks. Journal of Theoretical Biology, 247:743-755, 2007. (Pubitemid 47081056)
44. Alvarez-Buylla ER, Chaos A, Aldana M, Bentez M, Cortes-Poza Y, Espinosa-Soto C, Hartasnchez DA, Lotto RB, Malkin D, Escalera Santos GJ, and Padilla-Longoria P. Floral Morphogenesis: Stochastic explorations of a gene network epigenetic landscape. PLoS ONE, 3:e3626, 2008.
45. Willadsena K and Wiles J. Robustness and statespace structure of Boolean gene regulatory models. Journal of Theoretical Biology, 249:749-765, 2007. (Pubitemid 350122602)
46. Davidich MI and Bornholdt S. Boolean network model predicts cell cycle sequence of fission yeast. PLoS ONE, 3:e1672, 2008.
47. Garg A, Mohanram K, Di Cara A, De Micheli G and Xenarios I. Modeling stochasticity and robustness in gene regulatory networks. Bioinformatics, 25:i101-i109, 2009.
48. Kadanoff L, Coppersmith S, and Aldana M. Boolean dynamics with random couplings. Springer Applied Mathematical Sciences Series, Special volume:23-89, 2003.
49. Somenzi F. CUDD: CU Decision Diagram Package Release 2.4.1. University of Colorado at Boulder, 2005.
50. GenYsis toolbox. http://lsi.epfl.ch/downloads.