Combining intra- and inter-cellular dynamics to investigate intestinal homeostasis

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5054 LNBI, Issue , 2008, Pages 63-76

  Tymchyshyn, Oksana ^a   Kwiatkowska, Marta ^b  

^a UNIVERSITY OF BIRMINGHAM   (United Kingdom)

^b UNIVERSITY OF OXFORD   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

CELL PROLIFERATION; CONTROL THEORY; DIFFERENTIATION (CALCULUS); MILITARY DATA PROCESSING; ROBUST CONTROL; STOCHASTIC MODELS;

AMBIENTS; CELL DIVISIONS; CELL FATES; CELLULAR DYNAMICS; CELLULAR STRUCTURES; HEIDELBERG (CO); INTERNATIONAL (CO); MODELLING TECHNIQUES; MOLECULAR LEVELS; MULTI SCALING; SIMULATION PLATFORMS; SYSTEMS BIOLOGY; WNT SIGNALLING;

FORMAL METHODS;

EID: 47149093558     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-68413-8_5     Document Type: Conference Paper

References (26)

1. Wetering, M., Sancho, E., Verweij, C., Lau, W., Oving, I., Huristone, A., Batlle, E., Coudreuse, D., Haramis, A., Tjorn-Pon-Fong, M., Moerer, P., Born, M., Soete, G., Pals, S., Eilers, M., Medema, R., Clevers, H.: The beta-catenin/TCF-4 complex imposes a crypt progenitor phenotype on colorectal cancer cells. Cell 111, 241-250 (2002)
2. Dravid, G., Ye, Z., Hammond, H., Chen, G., Pyle, A., Donovan, P., Yu, X., Cheng, L.: Defining the role of Wnt/beta-catenin signaling in the survival, proliferation, and self-renewal of human embryonic stem cells. Stem Cells 23, 1489-1501 (2005)
3. Reya, T., Duncan, A.W., Ailles, L., Domen, J., Scherer, D.C., Willert, K., Hintz, L., Nusse, R., Weissman, I.L.: A role for Wnt signalling in self-renewal of haematopoietic stem cells. Nature 423, 409-414 (2003)
4. Sato, N., Meijer, L., Skaltsounis, L., Greengard, P., Brivanlou, A.H.: Maintenance of pluripotency in human and mouse embryonic stem cells through activation of Wnt signaling by a pharmacological GSK-3-specific inhibitor. Nat. Med. 10, 55-63 (2004)
5. Lowry, W., Blanpain, C., Nowak, J., Guasch, G., Lewis, L., Fuchs, E.: Defining the impact of beta-catenin/Tcf transactivation on epithelial stem cells. Genes. Dev. 19, 1596-1611 (2005)
6. Priami, C.: Stochastic pi-calculus. Comp. J. 38, 578-589 (1995)
7. Johnston, M.D., Edwards, C.M., Bodmer, W.F., Maini, P.K., Chapman, S.J.: Mathematical modeling of cell population dynamics in the colonic crypt and in colorectal cancer. Proc. Natl. Acad. Sci. USA 104, 4008-4013 (2007)
8. Loeffler, M., Bratke, T., Paulus, U., Li, Y.Q., Potten, C.S.: Clonality and life cycles of intestinal crypts explained by a state dependent stochastic model of epithelial stem cell organization. J. Theor. Biol. 186, 41-54 (1997)
9. Gerike, T., Paulus, U., Potten, C., Loeffler, M.: A dynamic model of proliferation and differentiation in the intestinal crypt based on a hypothetical intraepithelial growth factor. Cell Prolif. 31, 93-110 (1998)
10. Regev, A., Shapiro, E.: Cellular abstractions: Cells as computation. Nature 419, 343 (2002)
11. Regev, A., Shapiro, E.: The pi-calculus as an abstraction for biomolecular systems. In: Modelling in Molecular Biology. Springer, Heidelberg (2004)
12. Heath, J., Kwiatkowska, M., Norman, G., Parker, D., Tymchyshyn, O.: Probabilistic model checking of complex biological pathways. Theor. Comput. Sci. 319, 239-257 (2007)
13. Gillespie, D.: A general method for numerically simulating the stochastic time evolution of coupled chemical reactions. J. Comp. Phys. 22, 403-434 (1976)
14. Logan, C.Y., Nusse, R.: The Wnt signaling pathway in development and disease. Annu. Rev. Cell Dev. Biol. 20, 781-810 (2004)
15. Lee, E., Salic, A., Kruger, R., Heinrich, R., Kirschner, M.W.: The roles of APC and Axin derived from experimental and theoretical analysis of the Wnt pathway. PLoS Biol. 1, 10 (2003)
16. Leeuwen, I., Byrne, H., Jensen, O., King, J.: Elucidating the interactions between the adhesive and transcriptional functions of beta-catenin in normal and cancerous cells. J. Theor. Biol. 247, 77-102 (2007)
17. Regev, A., Panina, E.M., Silverman, W., Cardelli, L., Shapiro, E.: BioAmbients: an abstraction for biological compartments. Theor. Comput. Sci. 325, 141-167 (2004)
18. Potten, C.S., Kellett, M., Rew, D.A., Roberts, S.A.: Proliferation in human gastrointestinal epithelium using bromodeoxyuridine in vivo: data for different sites, proximity to a tumour, and polyposis coli. Gut 33, 524-529 (1992)
19. Cardelli, L., Gordon, A.: Mobile ambients. Theor. Comput. Sci. 240, 177-213 (2006)
20. Brittan, M., Wright, N.A.: The gastrointestinal stem cells. Cell Prolif. 37, 35-53 (2004)
21. He, X.C., Yin, T., Grindley, J.C., Tian, Q., Sato, T., Tao, W.A., Dirisina, R., Porter-Westpfahl, K.S., Hembree, M., Johnson, T., Wiedemann, L.M., Barrett, T.A., Hood, L., Wu, H., Li, L.: PTEN-deficient intestinal stem cells initiate intestinal polyposis. Nat. Genet. 39, 189-198 (2007)
22. Wong, W.M., Mandir, N., Goodlad, R.A., Wong, B.C., Garcia, S.B., Lam, S.K., Wright, N.A.: Histogenesis of human colorectal adenomas and hyperplastic polyps: the role of cell proliferation and crypt fission. Gut 50, 212-217 (2002)
23. Sansom, O.J., Reed, K.R., Hayes, A.J., Ireland, H., Brinkmann, H., Newton, I.P., Batlle, E., Simon-Assmann, P., Clevers, H., Nathke, I.S., Clarke, A.R., Winton, D.J.: Loss of Ape in vivo immediately perturbs Wnt signaling, differentiation, and migration. Genes Dev. 18, 1385-1390 (2004)
24. Gregorieff, A., Pinto, D., Begthel, H., Destree, O., Kielman, M., Clevers, H.: Expression pattern of Wnt signaling components in the adult intestine. Gastroenterology 129, 626-638 (2005)
25. http://www.cs.bham.ac.uk/~oxt/fmsb/cell.html
26. Tymchyshyn, O.: On the use of process algebra techniques in computational modelling of cancer initiation and development. PhD Thesis, University of Birmingham (forthcoming)