Reactive animation: From piecemeal experimentation to reactive biological systems

References

• Cohen IR, Harel D. Explaining a complex living system: Dynamics, multi-scaling and emergence. J R Soc Interface. 2007; 4:175–182.
   Google Scholar
• Efroni S, Harel D, Cohen IR. Reactive animation: Realistic modeling of complex dynamic systems. IEEE Comput. 2005; 38:38–47.
   Web of Science ®Google Scholar
• Harel D, Efroni S, Cohen IR. 2003. Reactive AnimationProc. 1st Int. Symposium on Formal Methods for Components and Objects (FMCO 2002) (invited paper), Lecture Notes in Computer Science, Vol. 2852. Leiden, The Netherlands: Springer-Verlag p 136–153.
   Google Scholar
• Harel D. A Statecharts: Visual formalism for complex systems. Sci Comput Program. 1987; 8:231–274.
   Web of Science ®Google Scholar
• Bauer AL, Beauchemin CA, Perelson AS. Agent-based modeling of host-pathogen systems: The successes and challenges. Inf Sci (NY). 2009; 179:1379–1389.
   PubMed Web of Science ®Google Scholar
• Efroni S, Harel D, Cohen IR. Toward rigorous comprehension of biological complexity: Modeling, execution, and visualization of thymic T-cell maturation. Genome Res. 2003; 13:2485–2497.
   PubMed Web of Science ®Google Scholar
• Efroni S, Harel D, Cohen IR. Emergent dynamics of thymocyte development and lineage determination. PLoS Comput Biol. 2007; 3:e13.
   PubMed Web of Science ®Google Scholar
• Fisher J, Henzinger TA. Executable cell biology. Nat Biotechnol. 2007; 25:1239–1249.
   PubMed Web of Science ®Google Scholar
• Fisher J, Piterman N. The executable pathway to biological networks. Brief Funct Genomics. 2010; 9:79–92.
   PubMedGoogle Scholar
• Sadot A, Fisher J, Barak D, Admanit Y, Stern MJ, Hubbard EJ, Harel D. Toward verified biological models. IEEE/ACM Trans Comput Biol Bioinform. 2008; 5:223–234.
   Google Scholar
• Clarke EM, Grumberg O, Peled D. 1999. Model checking. Cambridge, Mass: MIT Press.
   Google Scholar
• Kam N, Cohen IR, Harel DThe immune system as a reactive system: Modeling T cell activation with Statecharts200115–22 Proceedings of Visual Languages and Formal Methods (VLFM'01), part of IEEE Symposium on Human-Centric Computing (HCC'01).
   Google Scholar
• Setty Y, Cohen IR, Dor Y, Harel D. Four-dimensional realistic modeling of pancreatic organogenesis. Proc Natl Acad Sci USA. 2008; 105:20374–20379.
   PubMedGoogle Scholar
• Janeway C. 2005. Immunobiology: The immune system in health and disease. New York: Garland Science.
   Google Scholar
• Harel D, Gery E. Executable object modeling with statecharts. Computer. 1997; 30:31–42 IEEE Press.
   Google Scholar
• Fisher J, Piterman N, Hubbard EJ, Stern MJ, Harel D. Computational insights into Caenorhabditis elegans vulval development. Proc Natl Acad Sci USA. 2005; 102:1951–1956.
   Google Scholar
• Cohen IR. 2000. Tending Adam's garden: Evolving the cognitive immune self. London, UK: Academic Press.
   Google Scholar
• Douek DC, Betts MR, Hill BJ, Little SJ, Lempicki R, Metcalf JA, Casazza J, Yoder C, Adelsberger JW, Stevens RA, Baseler MW, Keiser P, Richman DD, Davey RT, Koup RA. Evidence for increased T cell turnover and decreased thymic output in HIV infection. J Immunol. 2001; 167:6663–6668.
   Google Scholar
• Holoshitz J, Matitiau A, Cohen IR. Role of the thymus in induction and transfer of vaccination against adjuvant arthritis with a T lymphocyte line in rats. J Clin Invest. 1985; 75:472–477.
   Google Scholar
• Anderson G, Jenkinson EJ. Lymphostromal interactions in thymic development and function. Nat Rev Immunol. 2001; 1:31–40.
   PubMedGoogle Scholar
• Germain RN. T-cell development and the CD4–CD8 lineage decision. Nat Rev Immunol. 2002; 2:309–322.
   PubMed Web of Science ®Google Scholar
• Platt N, Suzuki H, Kurihara Y, Kodama T, Gordon S. Role for the class A macrophage scavenger receptor in the phagocytosis of apoptotic thymocytes in vitro. Proc Natl Acad Sci USA. 1996; 93:12456–12460.
   PubMed Web of Science ®Google Scholar
• Benczik M, Gaffen SL. The interleukin (IL)-2 family cytokines: Survival and proliferation signaling pathways in T lymphocytes. Immunol Invest. 2004; 33:109–142.
   PubMed Web of Science ®Google Scholar
• Wurbel MA, Philippe JM, Nguyen C, Victorero G, Freeman T, Wooding P, Miazek A, Mattei MG, Malissen M, Jordan BR, Malissen B, Carrier A, Naquet P. The chemokine TECK is expressed by thymic and intestinal epithelial cells and attracts double- and single-positive thymocytes expressing the TECK receptor CCR9. Eur J Immunol. 2000; 30:262–271.
   PubMedGoogle Scholar
• Nanda NK, Sercarz EE. The positively selected T cell repertoire: Is it exclusively restricted to the selecting MHC?. Int Immunol. 1995; 7:353–358.
   Google Scholar
• Yasutomo K, Lucas B, Germain RN. TCR signaling for initiation and completion of thymocyte positive selection has distinct requirements for ligand quality and presenting cell type. J Immunol. 2000; 165:3015–3022.
   Google Scholar
• Plotkin J, Prockop SE, Lepique A, Petrie HT. Critical role for CXCR4 signaling in progenitor localization and T cell differentiation in the postnatal thymus. J Immunol. 2003; 171:4521–4527.
   PubMed Web of Science ®Google Scholar
• Swerdlin N, Cohen IR, Harel D. The lymph node B cell immune response: Dynamic analysis in-silico. Proc IEEE Special Issue Comput Syst Biol. 2003; 96:1421–1443.
   Google Scholar
• Pictet RL, Clark WR, Williams RH, Rutter WJ. An ultrastructural analysis of the developing embryonic pancreas. Dev Biol. 1972; 29:436–467.
   PubMed Web of Science ®Google Scholar
• Jensen J. Gene regulatory factors in pancreatic development. Dev Dyn. 2004; 229:176–200.
   PubMed Web of Science ®Google Scholar
• Hogan KA, Bautch VL. Blood vessel patterning at the embryonic midline. Curr Top Dev Biol. 2004; 62:55–85.
   PubMed Web of Science ®Google Scholar
• Lammert E, Cleaver O, Melton D. Induction of pancreatic differentiation by signals from blood vessels. Science. 2001; 294:564–567.
   PubMed Web of Science ®Google Scholar
• Herrera PL. Adult insulin- and glucagon-producing cells differentiate from two independent cell lineages. Development. 2000; 127:2317–2322.
   PubMed Web of Science ®Google Scholar
• Kim SK, MacDonald RJ. Signaling and transcriptional control of pancreatic organogenesis. Curr Opin Genet Dev. 2002; 12:540–547.
   PubMed Web of Science ®Google Scholar
• Meier-Schellersheim M, Klauschen F, Angermann B. Computational modeling of signaling networks for eukaryotic chemosensing. Methods Mol Biol. 2009; 571:507–526.
   Google Scholar
• Meier-Schellersheim M, Xu X, Angermann B, Kunkel EJ, Jin T, Germain RN. Key role of local regulation in chemosensing revealed by a new molecular interaction-based modeling method. PLoS Comput Biol. 2006; 2:e82.
   PubMed Web of Science ®Google Scholar
• Castiglione F, Bernaschi M, Succi S. Simulating the immune response on a distributed parallel computer. Int J Mod Phys C. 1997; 8 3: 527–545.
   Google Scholar
• Celada F, Seiden PE. A computer model of cellular interactions in the immune system. Immunol Today. 1992; 13:56–62.
   PubMedGoogle Scholar
• Cheng Y, Ghersi D, Calcagno C, Selin LK, Puzone R, Celada F. A discrete computer model of the immune system reveals competitive interactions between the humoral and cellular branch and between cross-reacting memory and naive responses. Vaccine. 2008; 27:833–845.
   Google Scholar
• Seiden PE, Celada F. A model for simulating cognate recognition and response in the immune system. J Theor Biol. 1992; 158:329–357.
   PubMed Web of Science ®Google Scholar
• Schaub MA, Henzinger TA, Fisher J. Qualitative networks: A symbolic approach to analyze biological signaling networks. BMC Syst Biol. 2007; 1:4.
   Google Scholar