{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,21]],"date-time":"2025-09-21T17:43:38Z","timestamp":1758476618311},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540684107"},{"type":"electronic","value":"9783540684138"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-68413-8_5","type":"book-chapter","created":{"date-parts":[[2008,6,4]],"date-time":"2008-06-04T08:03:46Z","timestamp":1212566626000},"page":"63-76","source":"Crossref","is-referenced-by-count":6,"title":["Combining Intra- and Inter-cellular Dynamics to Investigate Intestinal Homeostasis"],"prefix":"10.1007","author":[{"given":"Oksana","family":"Tymchyshyn","sequence":"first","affiliation":[]},{"given":"Marta","family":"Kwiatkowska","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"5_CR1","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1016\/S0092-8674(02)01014-0","volume":"111","author":"M. Wetering","year":"2002","unstructured":"Wetering, M., Sancho, E., Verweij, C., Lau, W., Oving, I., Hurlstone, 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\u00a0111, 241\u2013250 (2002)","journal-title":"Cell"},{"key":"5_CR2","doi-asserted-by":"publisher","first-page":"1489","DOI":"10.1634\/stemcells.2005-0034","volume":"23","author":"G. Dravid","year":"2005","unstructured":"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\u00a023, 1489\u20131501 (2005)","journal-title":"Stem Cells"},{"key":"5_CR3","doi-asserted-by":"publisher","first-page":"409","DOI":"10.1038\/nature01593","volume":"423","author":"T. Reya","year":"2003","unstructured":"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\u00a0423, 409\u2013414 (2003)","journal-title":"Nature"},{"key":"5_CR4","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1038\/nm979","volume":"10","author":"N. Sato","year":"2004","unstructured":"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.\u00a010, 55\u201363 (2004)","journal-title":"Nat. Med."},{"key":"5_CR5","doi-asserted-by":"publisher","first-page":"1596","DOI":"10.1101\/gad.1324905","volume":"19","author":"W. Lowry","year":"2005","unstructured":"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.\u00a019, 1596\u20131611 (2005)","journal-title":"Genes. Dev."},{"key":"5_CR6","doi-asserted-by":"publisher","first-page":"578","DOI":"10.1093\/comjnl\/38.7.578","volume":"38","author":"C. Priami","year":"1995","unstructured":"Priami, C.: Stochastic pi-calculus. Comp. J.\u00a038, 578\u2013589 (1995)","journal-title":"Comp. J."},{"key":"5_CR7","doi-asserted-by":"publisher","first-page":"4008","DOI":"10.1073\/pnas.0611179104","volume":"104","author":"M.D. Johnston","year":"2007","unstructured":"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\u00a0104, 4008\u20134013 (2007)","journal-title":"Proc. Natl. Acad. Sci. USA"},{"key":"5_CR8","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1006\/jtbi.1996.0340","volume":"186","author":"M. Loeffler","year":"1997","unstructured":"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.\u00a0186, 41\u201354 (1997)","journal-title":"J. Theor. Biol."},{"key":"5_CR9","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1046\/j.1365-2184.1998.00113.x","volume":"31","author":"T. Gerike","year":"1998","unstructured":"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.\u00a031, 93\u2013110 (1998)","journal-title":"Cell Prolif"},{"key":"5_CR10","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1038\/419343a","volume":"419","author":"A. Regev","year":"2002","unstructured":"Regev, A., Shapiro, E.: Cellular abstractions: Cells as computation. Nature\u00a0419, 343 (2002)","journal-title":"Nature"},{"key":"5_CR11","volume-title":"Modelling in Molecular Biology","author":"A. Regev","year":"2004","unstructured":"Regev, A., Shapiro, E.: The pi-calculus as an abstraction for biomolecular systems. In: Modelling in Molecular Biology. Springer, Heidelberg (2004)"},{"key":"5_CR12","first-page":"239","volume":"319","author":"J. Heath","year":"2007","unstructured":"Heath, J., Kwiatkowska, M., Norman, G., Parker, D., Tymchyshyn, O.: Probabilistic model checking of complex biological pathways. Theor. Comput. Sci.\u00a0319, 239\u2013257 (2007)","journal-title":"Theor. Comput. Sci."},{"key":"5_CR13","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1016\/0021-9991(76)90041-3","volume":"22","author":"D. Gillespie","year":"1976","unstructured":"Gillespie, D.: A general method for numerically simulating the stochastic time evolution of coupled chemical reactions. J. Comp. Phys.\u00a022, 403\u2013434 (1976)","journal-title":"J. Comp. Phys."},{"key":"5_CR14","doi-asserted-by":"publisher","first-page":"781","DOI":"10.1146\/annurev.cellbio.20.010403.113126","volume":"20","author":"C.Y. Logan","year":"2004","unstructured":"Logan, C.Y., Nusse, R.: The Wnt signaling pathway in development and disease. Annu. Rev. Cell Dev. Biol.\u00a020, 781\u2013810 (2004)","journal-title":"Annu. Rev. Cell Dev. Biol."},{"key":"5_CR15","doi-asserted-by":"publisher","first-page":"10","DOI":"10.1371\/journal.pbio.0000010","volume":"1","author":"E. Lee","year":"2003","unstructured":"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.\u00a01, 10 (2003)","journal-title":"PLoS Biol."},{"key":"5_CR16","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1016\/j.jtbi.2007.01.019","volume":"247","author":"I. Leeuwen","year":"2007","unstructured":"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.\u00a0247, 77\u2013102 (2007)","journal-title":"J. Theor. Biol."},{"key":"5_CR17","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1016\/j.tcs.2004.03.061","volume":"325","author":"A. Regev","year":"2004","unstructured":"Regev, A., Panina, E.M., Silverman, W., Cardelli, L., Shapiro, E.: BioAmbients: an abstraction for biological compartments. Theor. Comput. Sci.\u00a0325, 141\u2013167 (2004)","journal-title":"Theor. Comput. Sci."},{"key":"5_CR18","doi-asserted-by":"publisher","first-page":"524","DOI":"10.1136\/gut.33.4.524","volume":"33","author":"C.S. Potten","year":"1992","unstructured":"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\u00a033, 524\u2013529 (1992)","journal-title":"Gut"},{"key":"5_CR19","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1016\/S0304-3975(99)00231-5","volume":"240","author":"L. Cardelli","year":"2006","unstructured":"Cardelli, L., Gordon, A.: Mobile ambients. Theor. Comput. Sci.\u00a0240, 177\u2013213 (2006)","journal-title":"Theor. Comput. Sci."},{"key":"5_CR20","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1111\/j.1365-2184.2004.00299.x","volume":"37","author":"M. Brittan","year":"2004","unstructured":"Brittan, M., Wright, N.A.: The gastrointestinal stem cells. Cell Prolif.\u00a037, 35\u201353 (2004)","journal-title":"Cell Prolif"},{"key":"5_CR21","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1038\/ng1928","volume":"39","author":"X.C. He","year":"2007","unstructured":"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.\u00a039, 189\u2013198 (2007)","journal-title":"Nat. Genet."},{"key":"5_CR22","doi-asserted-by":"publisher","first-page":"212","DOI":"10.1136\/gut.50.2.212","volume":"50","author":"W.M. Wong","year":"2002","unstructured":"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\u00a050, 212\u2013217 (2002)","journal-title":"Gut"},{"key":"5_CR23","doi-asserted-by":"publisher","first-page":"1385","DOI":"10.1101\/gad.287404","volume":"18","author":"O.J. Sansom","year":"2004","unstructured":"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 Apc in vivo immediately perturbs Wnt signaling, differentiation, and migration. Genes Dev.\u00a018, 1385\u20131390 (2004)","journal-title":"Genes Dev."},{"key":"5_CR24","doi-asserted-by":"crossref","first-page":"626","DOI":"10.1016\/j.gastro.2005.06.007","volume":"129","author":"A. Gregorieff","year":"2005","unstructured":"Gregorieff, A., Pinto, D., Begthel, H., Destree, O., Kielman, M., Clevers, H.: Expression pattern of Wnt signaling components in the adult intestine. Gastroenterology\u00a0129, 626\u2013638 (2005)","journal-title":"Gastroenterology"},{"key":"5_CR25","unstructured":"http:\/\/www.cs.bham.ac.uk\/~oxt\/fmsb\/cell.html"},{"key":"5_CR26","unstructured":"Tymchyshyn, O.: On the use of process algebra techniques in computational modelling of cancer initiation and development. PhD Thesis, University of Birmingham (forthcoming)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods in Systems Biology"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-68413-8_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T04:51:13Z","timestamp":1620017473000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-68413-8_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540684107","9783540684138"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-68413-8_5","relation":{},"subject":[]}}