{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T17:10:54Z","timestamp":1760202654991},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642397981"},{"type":"electronic","value":"9783642397998"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-39799-8_6","type":"book-chapter","created":{"date-parts":[[2013,7,10]],"date-time":"2013-07-10T23:13:06Z","timestamp":1373497986000},"page":"101-106","source":"Crossref","is-referenced-by-count":8,"title":["TTP: Tool for Tumor Progression"],"prefix":"10.1007","author":[{"given":"Johannes G.","family":"Reiter","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ivana","family":"Bozic","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Krishnendu","family":"Chatterjee","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin A.","family":"Nowak","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"8","key":"6_CR1","doi-asserted-by":"publisher","first-page":"789","DOI":"10.1038\/nm1087","volume":"10","author":"B. Vogelstein","year":"2004","unstructured":"Vogelstein, B., Kinzler, K.W.: Cancer genes and the pathways they control. Nature Medicine\u00a010(8), 789\u2013799 (2004)","journal-title":"Nature Medicine"},{"issue":"5","key":"6_CR2","doi-asserted-by":"publisher","first-page":"646","DOI":"10.1016\/j.cell.2011.02.013","volume":"144","author":"D. Hanahan","year":"2011","unstructured":"Hanahan, D., Weinberg, R.A.: Hallmarks of cancer: the next generation. Cell\u00a0144(5), 646\u2013674 (2011)","journal-title":"Cell"},{"issue":"11","key":"6_CR3","doi-asserted-by":"publisher","first-page":"4283","DOI":"10.1073\/pnas.0712345105","volume":"105","author":"S. Jones","year":"2008","unstructured":"Jones, S., Chen, W.D., Parmigiani, G., Diehl, F., Beerenwinkel, N., Antal, T., Traulsen, A., Nowak, M.A., Siegel, C., Velculescu, V.E., Kinzler, K.W., Vogelstein, B., Willis, J., Markowitz, S.D.: Comparative lesion sequencing provides insights into tumor evolution. PNAS\u00a0105(11), 4283\u20134288 (2008)","journal-title":"PNAS"},{"key":"6_CR4","doi-asserted-by":"crossref","DOI":"10.2307\/j.ctvjghw98","volume-title":"Evolutionary Dynamics: Exploring the equations of life","author":"M.A. Nowak","year":"2006","unstructured":"Nowak, M.A.: Evolutionary Dynamics: Exploring the equations of life. The Belknap Press of Harvard University Press, Cambridge (2006)"},{"issue":"4","key":"6_CR5","doi-asserted-by":"publisher","first-page":"433","DOI":"10.1016\/S0022-5193(03)00120-6","volume":"223","author":"N.L. Komarova","year":"2003","unstructured":"Komarova, N.L., Sengupta, A., Nowak, M.A.: Mutation-selection networks of cancer initiation: tumor suppressor genes and chromosomal instability. Journal of Theoretical Biology\u00a0223(4), 433\u2013450 (2003)","journal-title":"Journal of Theoretical Biology"},{"issue":"3","key":"6_CR6","doi-asserted-by":"publisher","first-page":"1571","DOI":"10.1534\/genetics.166.3.1571","volume":"166","author":"Y. Iwasa","year":"2004","unstructured":"Iwasa, Y., Michor, F., Nowak, M.A.: Stochastic tunnels in evolutionary dynamics. Genetics\u00a0166(3), 1571\u20131579 (2004)","journal-title":"Genetics"},{"issue":"29","key":"6_CR7","doi-asserted-by":"publisher","first-page":"10635","DOI":"10.1073\/pnas.0400747101","volume":"101","author":"M.A. Nowak","year":"2004","unstructured":"Nowak, M.A., Michor, F., Komarova, N.L., Iwasa, Y.: Evolutionary dynamics of tumor suppressor gene inactivation. PNAS\u00a0101(29), 10635\u201310638 (2004)","journal-title":"PNAS"},{"issue":"7404","key":"6_CR8","doi-asserted-by":"crossref","first-page":"537","DOI":"10.1038\/nature11219","volume":"486","author":"L.A. Diaz","year":"2012","unstructured":"Diaz, L.A., Williams, R.T., Wu, J., Kinde, I., Hecht, J.R., Berlin, J., Allen, B., Bozic, I., Reiter, J.G., Nowak, M.A., Kinzler, K.W., Oliner, K.S., Vogelstein, B.: The molecular evolution of acquired resistance to targeted EGFR blockade in colorectal cancers. Nature\u00a0486(7404), 537\u2013540 (2012)","journal-title":"Nature"},{"issue":"43","key":"6_CR9","doi-asserted-by":"publisher","first-page":"18545","DOI":"10.1073\/pnas.1010978107","volume":"107","author":"I. Bozic","year":"2010","unstructured":"Bozic, I., Antal, T., Ohtsuki, H., Carter, H., Kim, D., Chen, S., Karchin, R., Kinzler, K.W., Vogelstein, B., Nowak, M.A.: Accumulation of driver and passenger mutations during tumor progression. PNAS\u00a0107(43), 18545\u201318550 (2010)","journal-title":"PNAS"},{"issue":"2","key":"6_CR10","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1109\/TCBB.2007.1076","volume":"5","author":"A. Sadot","year":"2008","unstructured":"Sadot, A., Fisher, J., Barak, D., Admanit, Y., Stern, M., Hubbard, E., Harel, D.: Toward verified biological models. IEEE\/ACM Transactions on Computational Biology and Bioinformatics\u00a05(2), 223\u2013234 (2008)","journal-title":"IEEE\/ACM Transactions on Computational Biology and Bioinformatics"},{"issue":"1","key":"6_CR11","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1111\/eva.12020","volume":"6","author":"J.G. Reiter","year":"2013","unstructured":"Reiter, J.G., Bozic, I., Allen, B., Chatterjee, K., Nowak, M.A.: The effect of one additional driver mutation on tumor progression. Evolutionary Applications\u00a06(1), 34\u201345 (2013)","journal-title":"Evolutionary Applications"},{"key":"6_CR12","unstructured":"Reiter, J.G., Bozic, I., Chatterjee, K., Nowak, M.A.: TTP: Tool for Tumor Progression. CoRR abs\/1303.5251 (2013), http:\/\/arxiv.org\/abs\/1303.5251"},{"key":"6_CR13","doi-asserted-by":"crossref","unstructured":"Haccou, P., Jagers, P., Vatutin, V.A.: Branching Processes: Variation, Growth, and Extinction of Populations. Cambridge University Press (2005)","DOI":"10.1017\/CBO9780511629136"},{"issue":"3","key":"6_CR14","doi-asserted-by":"publisher","first-page":"505","DOI":"10.1093\/carcin\/21.3.505","volume":"21","author":"R.S. Kerbel","year":"2000","unstructured":"Kerbel, R.S.: Tumor angiogenesis: past, present and the near future. Carcinogenesis\u00a021(3), 505\u2013515 (2000)","journal-title":"Carcinogenesis"},{"key":"6_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"441","DOI":"10.1007\/11691372_29","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"A. Hinton","year":"2006","unstructured":"Hinton, A., Kwiatkowska, M.Z., Norman, G., Parker, D.: Prism: A tool for automatic verification of probabilistic systems. In: Hermanns, H., Palsberg, J. (eds.) TACAS 2006. LNCS, vol.\u00a03920, pp. 441\u2013444. Springer, Heidelberg (2006)"},{"key":"6_CR16","doi-asserted-by":"crossref","unstructured":"Etessami, K., Stewart, A., Yannakakis, M.: Polynomial time algorithms for multi-type branching processesand stochastic context-free grammars. In: STOC, pp. 579\u2013588 (2012)","DOI":"10.1145\/2213977.2214030"}],"container-title":["Lecture Notes in Computer Science","Computer Aided Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-39799-8_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,18]],"date-time":"2019-07-18T00:58:14Z","timestamp":1563411494000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-39799-8_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642397981","9783642397998"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-39799-8_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}