{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,28]],"date-time":"2026-03-28T09:14:16Z","timestamp":1774689256894,"version":"3.50.1"},"publisher-location":"Cham","reference-count":39,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319451763","type":"print"},{"value":"9783319451770","type":"electronic"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-45177-0_18","type":"book-chapter","created":{"date-parts":[[2016,9,3]],"date-time":"2016-09-03T05:42:38Z","timestamp":1472881358000},"page":"289-305","source":"Crossref","is-referenced-by-count":18,"title":["Formal Modeling and Analysis of Pancreatic Cancer Microenvironment"],"prefix":"10.1007","author":[{"given":"Qinsi","family":"Wang","sequence":"first","affiliation":[]},{"given":"Natasa","family":"Miskov-Zivanov","sequence":"additional","affiliation":[]},{"given":"Bing","family":"Liu","sequence":"additional","affiliation":[]},{"given":"James R.","family":"Faeder","sequence":"additional","affiliation":[]},{"given":"Michael","family":"Lotze","sequence":"additional","affiliation":[]},{"given":"Edmund M.","family":"Clarke","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,9,4]]},"reference":[{"key":"18_CR1","unstructured":"Personal communication with Jeffrey M Clarke, MD (Duke University School of Medicine)"},{"key":"18_CR2","unstructured":"Supplementary document. http:\/\/www.cs.cmu.edu\/~qinsiw\/cmsb2016\/supplementary_doc.pdf"},{"key":"18_CR3","unstructured":"World Cancer Report 2014, World Health Organization (2014)"},{"issue":"5","key":"18_CR4","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1002\/wsbm.1273","volume":"6","author":"R Albert","year":"2014","unstructured":"Albert, R., Thakar, J.: Boolean modeling: a logic-based dynamic approach for understanding signaling and regulatory networks and for making useful predictions. Wiley Interdisc. Rev. Syst. Biol. Med. 6(5), 353\u2013369 (2014)","journal-title":"Wiley Interdisc. Rev. Syst. Biol. Med."},{"key":"18_CR5","doi-asserted-by":"crossref","DOI":"10.1201\/9781420011432","volume-title":"An Introduction to Systems Biology: Design Principles of Biological Circuits","author":"U Alon","year":"2006","unstructured":"Alon, U.: An Introduction to Systems Biology: Design Principles of Biological Circuits. CRC Press, London (2006)"},{"issue":"12","key":"18_CR6","doi-asserted-by":"crossref","first-page":"730","DOI":"10.1038\/nrc4029","volume":"15","author":"PM Altrock","year":"2015","unstructured":"Altrock, P.M., Liu, L.L., Michor, F.: The mathematics of cancer: integrating quantitative models. Nat. Rev. Cancer 15(12), 730\u2013745 (2015)","journal-title":"Nat. Rev. Cancer"},{"issue":"3","key":"18_CR7","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1097\/00006676-200410000-00002","volume":"29","author":"M Apte","year":"2004","unstructured":"Apte, M., Park, S., Phillips, P., Santucci, N., Goldstein, D., Kumar, R., Ramm, G., Buchler, M., Friess, H., McCarroll, J., et al.: Desmoplastic reaction in pancreatic cancer: role of pancreatic stellate cells. Pancreas 29(3), 179\u2013187 (2004)","journal-title":"Pancreas"},{"issue":"12","key":"18_CR8","doi-asserted-by":"crossref","first-page":"897","DOI":"10.1038\/nrc949","volume":"2","author":"N Bardeesy","year":"2002","unstructured":"Bardeesy, N., DePinho, R.A.: Pancreatic cancer biology and genetics. Nat. Rev. Cancer 2(12), 897\u2013909 (2002)","journal-title":"Nat. Rev. Cancer"},{"issue":"5","key":"18_CR9","doi-asserted-by":"crossref","first-page":"796","DOI":"10.1002\/ijc.2910500522","volume":"50","author":"M Bensaid","year":"1992","unstructured":"Bensaid, M., Tahiri-Jouti, N., Cambillau, C., Viguerie, N., Colas, B., Vidal, C., Tauber, J., Esteve, J., Susini, C., Vaysse, N.: Basic fibroblast growth factor induces proliferation of a rat pancreatic cancer cell line: inhibition by somatostatin. Int. J. Cancer 50(5), 796\u2013799 (1992)","journal-title":"Int. J. Cancer"},{"key":"18_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1007\/978-3-540-74407-8_3","volume-title":"CONCUR 2007 \u2013 Concurrency Theory","author":"V Danos","year":"2007","unstructured":"Danos, V., Feret, J., Fontana, W., Harmer, R., Krivine, J.: Rule-based modelling of cellular signalling. In: Caires, L., Vasconcelos, V.T. (eds.) CONCUR 2007. LNCS, vol. 4703, pp. 17\u201341. Springer, Heidelberg (2007)"},{"issue":"6","key":"18_CR11","doi-asserted-by":"crossref","first-page":"673","DOI":"10.1159\/000320711","volume":"10","author":"S Dun\u00e9r","year":"2011","unstructured":"Dun\u00e9r, S., Lindman, J.L., Ansari, D., Gundewar, C., Andersson, R.: Pancreatic cancer: the role of pancreatic stellate cells in tumor progression. Pancreatology 10(6), 673\u2013681 (2011)","journal-title":"Pancreatology"},{"issue":"8","key":"18_CR12","doi-asserted-by":"crossref","first-page":"454","DOI":"10.1038\/nrgastro.2012.115","volume":"9","author":"M Erkan","year":"2012","unstructured":"Erkan, M., Hausmann, S., Michalski, C.W., Fingerle, A.A., Dobritz, M., Kleeff, J., Friess, H.: The role of stroma in pancreatic cancer: diagnostic and therapeutic implications. Nat. Rev. Gastroenterol. Hepatol. 9(8), 454\u2013467 (2012)","journal-title":"Nat. Rev. Gastroenterol. Hepatol."},{"issue":"3","key":"18_CR13","first-page":"128","volume":"32","author":"M Erkan","year":"2010","unstructured":"Erkan, M., Reiser-Erkan, C., Michalski, C., Kleeff, J.: Tumor microenvironment and progression of pancreatic cancer. Exp. Oncol. 32(3), 128\u2013131 (2010)","journal-title":"Exp. Oncol."},{"key":"18_CR14","series-title":"Methods in Molecular Biology","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1007\/978-1-59745-525-1_5","volume-title":"Systems Biology","author":"JR Faeder","year":"2009","unstructured":"Faeder, J.R., Blinov, M.L., Hlavacek, W.S.: Rule-based modeling of biochemical systems with bionetgen. In: Maly, I.V. (ed.) Systems Biology. MMB, vol. 500, pp. 113\u2013167. Springer, Heidelberg (2009)"},{"issue":"2","key":"18_CR15","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1016\/j.jss.2007.12.757","volume":"149","author":"B Farrow","year":"2008","unstructured":"Farrow, B., Albo, D., Berger, D.H.: The role of the tumor microenvironment in the progression of pancreatic cancer. J. Surg. Res. 149(2), 319\u2013328 (2008)","journal-title":"J. Surg. Res."},{"issue":"16","key":"18_CR16","doi-asserted-by":"crossref","first-page":"4266","DOI":"10.1158\/1078-0432.CCR-11-3114","volume":"18","author":"C Feig","year":"2012","unstructured":"Feig, C., Gopinathan, A., Neesse, A., Chan, D.S., Cook, N., Tuveson, D.A.: The pancreas cancer microenvironment. Clin. Cancer Res. 18(16), 4266\u20134276 (2012)","journal-title":"Clin. Cancer Res."},{"issue":"Suppl. 3","key":"18_CR17","doi-asserted-by":"crossref","first-page":"S5","DOI":"10.1186\/1752-0509-7-S3-S5","volume":"7","author":"H Gong","year":"2013","unstructured":"Gong, H.: Analysis of intercellular signal transduction in the tumor microenvironment. BMC Syst. Biol. 7(Suppl. 3), S5 (2013)","journal-title":"BMC Syst. Biol."},{"key":"18_CR18","unstructured":"Gong, H., Wang, Q., Zuliani, P., Faeder, J.R., Lotze, M., Clarke, E.: Symbolic model checking of signaling pathways in pancreatic cancer. In: 3rd International Conference on Bioinformatics and Computational Biology, p. 245 (2011)"},{"key":"18_CR19","doi-asserted-by":"crossref","unstructured":"Gong, H., Zuliani, P., Wang, Q., Clarke, E.M.: Formal analysis for logical models of pancreatic cancer. In: 50th IEEE Conference on Decision and Control and European Control Conference, pp. 4855\u20134860 (2011)","DOI":"10.1109\/CDC.2011.6161052"},{"issue":"4","key":"18_CR20","doi-asserted-by":"crossref","first-page":"1087","DOI":"10.1016\/S0002-9440(10)65211-X","volume":"155","author":"PS Haber","year":"1999","unstructured":"Haber, P.S., Keogh, G.W., Apte, M.V., Moran, C.S., Stewart, N.L., Crawford, D.H., Pirola, R.C., McCaughan, G.W., Ramm, G.A., Wilson, J.S.: Activation of pancreatic stellate cells in human and experimental pancreatic fibrosis. Am. J. Pathol. 155(4), 1087\u20131095 (1999)","journal-title":"Am. J. Pathol."},{"issue":"19","key":"18_CR21","doi-asserted-by":"crossref","first-page":"9349","DOI":"10.1158\/0008-5472.CAN-06-1597","volume":"66","author":"MM Hippert","year":"2006","unstructured":"Hippert, M.M., O\u2019Toole, P.S., Thorburn, A.: Autophagy in cancer: good, bad, or both? Cancer Res. 66(19), 9349\u20139351 (2006)","journal-title":"Cancer Res."},{"key":"18_CR22","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1200\/jco.2014.32.4_suppl.189","volume":"32","author":"H Hurwitz","year":"2014","unstructured":"Hurwitz, H., Uppal, N., Wagner, S., Bendell, J., Beck, J., Wade, S., Nemunaitis, J., Stella, P., Pipas, J., Wainberg, Z., et al.: A randomized double-blind phase 2 study of ruxolitinib (RUX) or placebo (PBO) with capecitabine (CAPE) as second-line therapy in patients (pts) with metastatic pancreatic cancer (mPC). J. Clin. Oncol. 32, 55 (2014)","journal-title":"J. Clin. Oncol."},{"issue":"1","key":"18_CR23","doi-asserted-by":"crossref","first-page":"26","DOI":"10.1186\/1476-4598-3-26","volume":"3","author":"R Jaster","year":"2004","unstructured":"Jaster, R.: Molecular regulation of pancreatic stellate cell function. Mol. Cancer 3(1), 26 (2004)","journal-title":"Mol. Cancer"},{"key":"18_CR24","series-title":"Lecture Notes in Computer Science","first-page":"218","volume-title":"Computational Methods in Systems Biology","author":"SK Jha","year":"2009","unstructured":"Jha, S.K., Clarke, E.M., Langmead, C.J., Legay, A., Platzer, A., Zuliani, P.: A Bayesian approach to model checking biological systems. In: Degano, P., Gorrieri, R. (eds.) CMSB 2009. LNCS, vol. 5688, pp. 218\u2013234. Springer, Heidelberg (2009)"},{"issue":"4","key":"18_CR25","doi-asserted-by":"crossref","first-page":"699","DOI":"10.1002\/ijc.22871","volume":"121","author":"J Kleeff","year":"2007","unstructured":"Kleeff, J., Beckhove, P., Esposito, I., Herzig, S., Huber, P.E., L\u00f6hr, J.M., Friess, H.: Pancreatic cancer microenvironment. Int. J. Cancer 121(4), 699\u2013705 (2007)","journal-title":"Int. J. Cancer"},{"issue":"9","key":"18_CR26","doi-asserted-by":"crossref","first-page":"726","DOI":"10.1038\/nrc1692","volume":"5","author":"Y Kondo","year":"2005","unstructured":"Kondo, Y., Kanzawa, T., Sawaya, R., Kondo, S.: The role of autophagy in cancer development and response to therapy. Nat. Rev. Cancer 5(9), 726\u2013734 (2005)","journal-title":"Nat. Rev. Cancer"},{"issue":"4","key":"18_CR27","doi-asserted-by":"crossref","first-page":"1186","DOI":"10.1158\/1535-7163.MCT-06-0686","volume":"6","author":"D Mahadevan","year":"2007","unstructured":"Mahadevan, D., Von Hoff, D.D.: Tumor-stroma interactions in pancreatic ductal adenocarcinoma. Mol. Cancer Ther. 6(4), 1186\u20131197 (2007)","journal-title":"Mol. Cancer Ther."},{"issue":"2","key":"18_CR28","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1038\/nrm3735","volume":"15","author":"G Mari\u00f1o","year":"2014","unstructured":"Mari\u00f1o, G., Niso-Santano, M., Baehrecke, E.H., Kroemer, G.: Self-consumption: the interplay of autophagy and apoptosis. Nat. Rev. Mol. Cell Biol. 15(2), 81\u201394 (2014)","journal-title":"Nat. Rev. Mol. Cell Biol."},{"issue":"6","key":"18_CR29","doi-asserted-by":"crossref","first-page":"869","DOI":"10.1016\/j.bcp.2005.06.008","volume":"70","author":"A Masamune","year":"2005","unstructured":"Masamune, A., Satoh, M., Kikuta, K., Suzuki, N., Satoh, K., Shimosegawa, T.: Ellagic acid blocks activation of pancreatic stellate cells. Biochem. Pharmacol. 70(6), 869\u2013878 (2005)","journal-title":"Biochem. Pharmacol."},{"issue":"1","key":"18_CR30","doi-asserted-by":"crossref","first-page":"166","DOI":"10.1186\/1752-0509-5-166","volume":"5","author":"C Maus","year":"2011","unstructured":"Maus, C., Rybacki, S., Uhrmacher, A.M.: Rule-based multi-level modeling of cell biological systems. BMC Syst. Biol. 5(1), 166 (2011)","journal-title":"BMC Syst. Biol."},{"issue":"2","key":"18_CR31","first-page":"631","volume":"34","author":"D Muilenburg","year":"2014","unstructured":"Muilenburg, D., Parsons, C., Coates, J., Virudachalam, S., Bold, R.J.: Role of autophagy in apoptotic regulation by Akt in pancreatic cancer. Anticancer Res. 34(2), 631\u2013637 (2014)","journal-title":"Anticancer Res."},{"issue":"7","key":"18_CR32","doi-asserted-by":"crossref","first-page":"926","DOI":"10.1054\/bjoc.2001.1698","volume":"84","author":"L Murphy","year":"2001","unstructured":"Murphy, L., Cluck, M., Lovas, S., \u00d6tv\u00f6s, F., Murphy, R., Schally, A., Permert, J., Larsson, J., Knezetic, J., Adrian, T.: Pancreatic cancer cells require an EGF receptor-mediated autocrine pathway for proliferation in serum-free conditions. Br. J. Cancer 84(7), 926 (2001)","journal-title":"Br. J. Cancer"},{"issue":"5","key":"18_CR33","doi-asserted-by":"crossref","first-page":"677","DOI":"10.1136\/gut.52.5.677","volume":"52","author":"P Phillips","year":"2003","unstructured":"Phillips, P., Wu, M., Kumar, R., Doherty, E., McCarroll, J., Park, S., Pirola, R.C., Wilson, J., Apte, M.: Cell migration: a novel aspect of pancreatic stellate cell biology. Gut 52(5), 677\u2013682 (2003)","journal-title":"Gut"},{"issue":"11","key":"18_CR34","doi-asserted-by":"crossref","first-page":"807","DOI":"10.1038\/nrc1208","volume":"3","author":"PM Siegel","year":"2003","unstructured":"Siegel, P.M., Massagu\u00e9, J.: Cytostatic and apoptotic actions of TGF- $$\\beta $$ in homeostasis and cancer. Nat. Rev. Cancer 3(11), 807\u2013820 (2003)","journal-title":"Nat. Rev. Cancer"},{"issue":"2","key":"18_CR35","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1038\/nmeth.1546","volume":"8","author":"MW Sneddon","year":"2011","unstructured":"Sneddon, M.W., Faeder, J.R., Emonet, T.: Efficient modeling, simulation and coarse-graining of biological complexity with NFsim. Nat. Methods 8(2), 177\u2013183 (2011)","journal-title":"Nat. Methods"},{"issue":"2","key":"18_CR36","doi-asserted-by":"crossref","first-page":"247","DOI":"10.1007\/BF02460618","volume":"57","author":"R Thomas","year":"1995","unstructured":"Thomas, R., Thieffry, D., Kaufman, M.: Dynamical behaviour of biological regulatory networks - I. Biological role of feedback loops and practical use of the concept of the loop-characteristic state. Bull. Math. Biol. 57(2), 247\u2013276 (1995)","journal-title":"Bull. Math. Biol."},{"key":"18_CR37","doi-asserted-by":"crossref","unstructured":"Vardi, M.Y.: Automatic verification of probabilistic concurrent finite state programs. In: IEEE 26th Annual Symposium on Foundations of Computer Science, pp. 327\u2013338 (1985)","DOI":"10.1109\/SFCS.1985.12"},{"issue":"18","key":"18_CR38","doi-asserted-by":"crossref","first-page":"1691","DOI":"10.1056\/NEJMoa1304369","volume":"369","author":"DD Hoff Von","year":"2013","unstructured":"Von Hoff, D.D., Ervin, T., Arena, F.P., Chiorean, E.G., Infante, J., Moore, M., Seay, T., Tjulandin, S.A., Ma, W.W., Saleh, M.N., et al.: Increased survival in pancreatic cancer with nab-paclitaxel plus gemcitabine. N. Engl. J. Med. 369(18), 1691\u20131703 (2013)","journal-title":"N. Engl. J. Med."},{"issue":"7","key":"18_CR39","doi-asserted-by":"crossref","first-page":"2085","DOI":"10.1158\/0008-5472.CAN-07-2477","volume":"68","author":"A Vonlaufen","year":"2008","unstructured":"Vonlaufen, A., Joshi, S., Qu, C., Phillips, P.A., Xu, Z., Parker, N.R., Toi, C.S., Pirola, R.C., Wilson, J.S., Goldstein, D., et al.: Pancreatic stellate cells: partners in crime with pancreatic cancer cells. Cancer Res. 68(7), 2085\u20132093 (2008)","journal-title":"Cancer Res."}],"container-title":["Lecture Notes in Computer Science","Computational Methods in Systems Biology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-45177-0_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,7]],"date-time":"2022-07-07T18:19:05Z","timestamp":1657217945000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-45177-0_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319451763","9783319451770"],"references-count":39,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-45177-0_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016]]}}}