{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T19:47:48Z","timestamp":1725652068124},"publisher-location":"Berlin, Heidelberg","reference-count":51,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642280665"},{"type":"electronic","value":"9783642280672"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"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":[[2012]]},"DOI":"10.1007\/978-3-642-28067-2_7","type":"book-chapter","created":{"date-parts":[[2012,1,11]],"date-time":"2012-01-11T20:51:05Z","timestamp":1326315065000},"page":"117-135","source":"Crossref","is-referenced-by-count":10,"title":["Computational Modeling and Verification of Signaling Pathways in Cancer"],"prefix":"10.1007","author":[{"given":"Haijun","family":"Gong","sequence":"first","affiliation":[]},{"given":"Paolo","family":"Zuliani","sequence":"additional","affiliation":[]},{"given":"Anvesh","family":"Komuravelli","sequence":"additional","affiliation":[]},{"given":"James R.","family":"Faeder","sequence":"additional","affiliation":[]},{"given":"Edmund M.","family":"Clarke","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"unstructured":"HMGB1-NFkB BioNetGen Code, http:\/\/www.cs.cmu.edu\/~haijung\/research\/HMGB1ANB.bngl","key":"7_CR1"},{"unstructured":"Online Supplementary Materials, http:\/\/www.cs.cmu.edu\/~haijung\/research\/ANBSupplement.pdf","key":"7_CR2"},{"issue":"12","key":"7_CR3","doi-asserted-by":"publisher","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. Nature Reviews Cancer\u00a02(12), 897\u2013909 (2002)","journal-title":"Nature Reviews Cancer"},{"key":"7_CR4","doi-asserted-by":"crossref","first-page":"1295","DOI":"10.1096\/fj.02-0621fje","volume":"17","author":"M.L. Brezniceanu","year":"2003","unstructured":"Brezniceanu, M.L., Volp, K., Bosser, S., Solbach, C., Lichter, P., et al.: HMGB1 inhibits cell death in yeast and mammalian cells and is abundantly expressed in human breast carcinoma. FASEB Journal\u00a017, 1295\u20131297 (2003)","journal-title":"FASEB Journal"},{"issue":"5","key":"7_CR5","doi-asserted-by":"publisher","first-page":"526","DOI":"10.1097\/COC.0b013e318054675c","volume":"30","author":"S. Cascinu","year":"2007","unstructured":"Cascinu, S., Scartozzi, M., et al.: COX-2 and NF-kB overexpression is common in pancreatic cancer but does not predict for COX-2 inhibitors activity in combination with gemcitabine and oxaliplatin. American Journal of Clinical Oncology\u00a030(5), 526\u2013530 (2007)","journal-title":"American Journal of Clinical Oncology"},{"issue":"3","key":"7_CR6","doi-asserted-by":"publisher","first-page":"488","DOI":"10.4161\/cc.4.3.1548","volume":"4","author":"A. Ciliberto","year":"2005","unstructured":"Ciliberto, A., Novak, B., Tyson, J.: Steady states and oscillations in the p53\/Mdm2 network. Cell Cycle\u00a04(3), 488\u2013493 (2005)","journal-title":"Cell Cycle"},{"issue":"11","key":"7_CR7","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1145\/1592761.1592781","volume":"52","author":"E.M. Clarke","year":"2009","unstructured":"Clarke, E.M., Emerson, E.A., Sifakis, J.: Model checking: algorithmic verification and debugging. Commun. ACM\u00a052(11), 74\u201384 (2009)","journal-title":"Commun. ACM"},{"unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press (1999)","key":"7_CR8"},{"key":"7_CR9","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1038\/nrc969","volume":"3","author":"J. Downward","year":"2003","unstructured":"Downward, J.: Targeting RAS signalling pathways in cancer therapy. Nature Reviews Cancer\u00a03, 11\u201322 (2003)","journal-title":"Nature Reviews Cancer"},{"key":"7_CR10","doi-asserted-by":"publisher","first-page":"7506","DOI":"10.4049\/jimmunol.174.12.7506","volume":"174","author":"I.E. Dumitriu","year":"2005","unstructured":"Dumitriu, I.E., Baruah, P., Valentinis, B., et al.: Release of high mobility group box 1 by dendritic cells controls T cell activation via the receptor for advanced glycation end products. The Journal of Immunology\u00a0174, 7506\u20137515 (2005)","journal-title":"The Journal of Immunology"},{"key":"7_CR11","doi-asserted-by":"publisher","first-page":"11375","DOI":"10.1158\/0008-5472.CAN-05-1602","volume":"65","author":"S.F. Eddy","year":"2005","unstructured":"Eddy, S.F., Guo, S., et al.: Inducible IkB kinase\/IkB kinase expression is induced by CK2 and promotes aberrant Nuclear Factor-kB activation in breast cancer cells. Cancer Research\u00a065, 11375\u201311383 (2005)","journal-title":"Cancer Research"},{"key":"7_CR12","doi-asserted-by":"publisher","first-page":"2836","DOI":"10.1158\/1078-0432.CCR-06-1953","volume":"13","author":"J.E. Ellerman","year":"2007","unstructured":"Ellerman, J.E., Brown, C.K., de Vera, M., Zeh, H.J., Billiar, T., et al.: Masquerader: high mobility group box-1 and cancer. Clinical Cancer Research\u00a013, 2836\u20132848 (2007)","journal-title":"Clinical Cancer Research"},{"key":"7_CR13","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1007\/978-1-59745-525-1_5","volume":"500","author":"J.R. Faeder","year":"2009","unstructured":"Faeder, J.R., Blinov, M.L., Hlavacek, W.S.: Rule-based modeling of biochemical systems with BioNetGen. Methods in Molecular Biology\u00a0500, 113\u2013167 (2009)","journal-title":"Methods in Molecular Biology"},{"doi-asserted-by":"crossref","unstructured":"Geva-Zatorsky, N., Rosenfeld, N., Itzkovitz, S., Milo, R., Sigal, A., Dekel, E., Yarnitzky, T., Liron, Y., Polak, P., Lahav, G., Alon, U.: Oscillations and variability in the p53 system. Molecular Systems Biology, 2:2006.0033 (2006)","key":"7_CR14","DOI":"10.1038\/msb4100068"},{"issue":"4","key":"7_CR15","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1016\/0021-9991(76)90041-3","volume":"22","author":"D.T. Gillespie","year":"1976","unstructured":"Gillespie, D.T.: A general method for numerically simulating the stochastic time evolution of coupled chemical reactions. Journal of Computational Physics\u00a022(4), 403\u2013434 (1976)","journal-title":"Journal of Computational Physics"},{"issue":"1","key":"7_CR16","doi-asserted-by":"publisher","first-page":"11914","DOI":"10.1103\/PhysRevE.81.011914","volume":"81","author":"H. Gong","year":"2010","unstructured":"Gong, H., Guo, Y., Linstedt, A., Schwartz, R.: Discrete, continuous, and stochastic models of protein sorting in the Golgi apparatus. Physical Review E\u00a081(1), 011914 (2010)","journal-title":"Physical Review E"},{"key":"7_CR17","doi-asserted-by":"publisher","first-page":"1674","DOI":"10.1529\/biophysj.107.127498","volume":"95","author":"H. Gong","year":"2008","unstructured":"Gong, H., Sengupta, H., Linstedt, A., Schwartz, R.: Simulated de novo assembly of Golgi compartments by selective cargo capture during vesicle budding and targeted vesicle fusion. Biophysical Journal\u00a095, 1674\u20131688 (2008)","journal-title":"Biophysical Journal"},{"doi-asserted-by":"crossref","unstructured":"Gong, H., Zuliani, P., Komuravelli, A., Faeder, J.R., Clarke, E.M.: Analysis and verification of the HMGB1 signaling pathway. BMC Bioinformatics (2010) (to appear)","key":"7_CR18","DOI":"10.1186\/1471-2105-11-S7-S10"},{"issue":"1","key":"7_CR19","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1016\/S0092-8674(00)81683-9","volume":"100","author":"D. Hanahan","year":"2000","unstructured":"Hanahan, D., Weinberg, R.A.: The hallmarks of cancer. Cell\u00a0100(1), 57\u201370 (2000)","journal-title":"Cell"},{"key":"7_CR20","doi-asserted-by":"publisher","first-page":"2690","DOI":"10.1128\/MCB.19.4.2690","volume":"19","author":"M. Hinz","year":"1999","unstructured":"Hinz, M., Krappmann, D., Eichten, A., Heder, A., Scheidereit, C., Strauss, M.: NF-\u03baB function in growth control: regulation of cyclin D1 expression and G0\/G1-to-S-phase transition. Mol. Cell Biol.\u00a019, 2690\u20132698 (1999)","journal-title":"Mol. Cell Biol."},{"doi-asserted-by":"crossref","unstructured":"Hlavacek, W.S., Faeder, J.R., Blinov, M.L., Posner, R.G., Hucka, M., Fontana, W.: Rules for modeling signal-transduction system. Science STKE 2006\u00a0re6 (2006)","key":"7_CR21","DOI":"10.1126\/stke.3442006re6"},{"key":"7_CR22","doi-asserted-by":"publisher","first-page":"1241","DOI":"10.1126\/science.1071914","volume":"298","author":"A. Hoffmann","year":"2002","unstructured":"Hoffmann, A., Levchenko, A., Scott, M.L., Baltimore, D.: The I\u03baB-NF\u03baB signaling module: Temporal control and selective gene activation. Science\u00a0298, 1241\u20131245 (2002)","journal-title":"Science"},{"key":"7_CR23","doi-asserted-by":"publisher","first-page":"6627","DOI":"10.1038\/sj.onc.1204087","volume":"19","author":"Z. Huang","year":"2000","unstructured":"Huang, Z.: Bcl-2 family proteins as targets for anticancer drug design. Oncogene\u00a019, 6627\u20136631 (2000)","journal-title":"Oncogene"},{"key":"7_CR24","doi-asserted-by":"publisher","first-page":"14235","DOI":"10.1073\/pnas.1835672100","volume":"100","author":"S. Idel","year":"2003","unstructured":"Idel, S., Dansky, H.M., Breslow, J.L.: A20, a regulator of NF\u03baB, maps to an atherosclerosis locus and differs between parental sensitive C57BL\/6J and resistant FVB\/N strains. Proceedings of the National Academy of Sciences\u00a0100, 14235\u201314240 (2003)","journal-title":"Proceedings of the National Academy of Sciences"},{"key":"7_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"218","DOI":"10.1007\/978-3-642-03845-7_15","volume-title":"Computational Methods in Systems Biology","author":"S.K. 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.\u00a05688, pp. 218\u2013234. Springer, Heidelberg (2009)"},{"issue":"4","key":"7_CR26","doi-asserted-by":"publisher","first-page":"666","DOI":"10.1038\/cdd.2009.149","volume":"17","author":"R. Kang","year":"2009","unstructured":"Kang, R., Tang, D., Schapiro, N.E., Livesey, K.M., Farkas, A., Loughran, P., Bierhaus, A., Lotze, M.T., Zeh, H.J.: The receptor for advanced glycation end products (RAGE) sustains autophagy and limits apoptosis, promoting pancreatic tumor cell survival. Cell Death and Differentiation\u00a017(4), 666\u2013676 (2009)","journal-title":"Cell Death and Differentiation"},{"key":"7_CR27","doi-asserted-by":"publisher","first-page":"10840","DOI":"10.1073\/pnas.0604085103","volume":"103","author":"S. Krishna","year":"2006","unstructured":"Krishna, S., Jensen, M.H., Sneppen, K.: Minimal model of spiky oscillations in NF-kB signaling. Proceedings of the National Academy of Sciences\u00a0103, 10840\u201310845 (2006)","journal-title":"Proceedings of the National Academy of Sciences"},{"unstructured":"Langmead, C.J.: Generalized queries and bayesian statistical model checking in dynamic bayesian networks: Application to personalized medicine. In: CSB, pp. 201\u2013212 (2009)","key":"7_CR28"},{"key":"7_CR29","doi-asserted-by":"publisher","first-page":"2899","DOI":"10.1038\/sj.onc.1208615","volume":"24","author":"S. Larris","year":"2005","unstructured":"Larris, S., Levine, A.J.: The p53 pathway: positive and negative feedback loops. Oncogene\u00a024, 2899\u20132908 (2005)","journal-title":"Oncogene"},{"key":"7_CR30","doi-asserted-by":"publisher","first-page":"5656","DOI":"10.1158\/1078-0432.CCR-08-0123","volume":"14","author":"D.F. Lee","year":"2008","unstructured":"Lee, D.F., Huang, M.C.: Advances in targeting IKK and IKK-related kinases for cancer therapy. Clinical Cancer Research\u00a014, 5656 (2008)","journal-title":"Clinical Cancer Research"},{"key":"7_CR31","doi-asserted-by":"publisher","first-page":"110","DOI":"10.1016\/j.jtbi.2008.05.001","volume":"254","author":"T. Lipniacki","year":"2008","unstructured":"Lipniacki, T., Hat, T., Faeder, J.R., Hlavacek, W.S.: Stochastic effects and bistability in T cell receptor signaling. Journal of Theoretical Biology\u00a0254, 110\u2013122 (2008)","journal-title":"Journal of Theoretical Biology"},{"key":"7_CR32","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1016\/j.jtbi.2004.01.001","volume":"228","author":"T. Lipniacki","year":"2004","unstructured":"Lipniacki, T., Paszek, P., Brasier, A., Luxon, B., Kimmel, M.: Crosstalk between p53 and nuclear factor-kB systems: pro-and anti-apoptotic functions of NF-kB. Journal of Theoretical Biology\u00a0228, 195\u2013215 (2004)","journal-title":"Journal of Theoretical Biology"},{"key":"7_CR33","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1038\/nri1594","volume":"5","author":"M.T. Lotze","year":"2005","unstructured":"Lotze, M.T., Tracey, K.: High-mobility group box 1 protein (HMGB1): nuclear weapon in the immune arsenal. Nature Reviews Immunology\u00a05, 331\u2013342 (2005)","journal-title":"Nature Reviews Immunology"},{"issue":"19-20","key":"7_CR34","doi-asserted-by":"publisher","first-page":"875","DOI":"10.1016\/j.drudis.2008.06.012","volume":"13","author":"C. McInnes","year":"2008","unstructured":"McInnes, C.: Progress in the evaluation of CDK inhibitors as anti-tumor agents. Drug Discovery Today\u00a013(19-20), 875\u2013881 (2008)","journal-title":"Drug Discovery Today"},{"doi-asserted-by":"crossref","unstructured":"Mengel, B., Krishna, S., Jensen, M.H., Trusina, A.: Theoretical analyses predict A20 regulates period of NF-\u03baB oscillation. arXiv: bio-ph 0911.0529 (2009)","key":"7_CR35","DOI":"10.1016\/j.bpj.2009.12.1280"},{"key":"7_CR36","doi-asserted-by":"publisher","first-page":"704","DOI":"10.1126\/science.1099962","volume":"306","author":"D.E. Nelson","year":"2004","unstructured":"Nelson, D.E., Ihekwaba, A.E.C., et al.: Oscillations in NF-\u03baB signaling control the dynamics of gene expression. Science\u00a0306, 704\u2013708 (2004)","journal-title":"Science"},{"key":"7_CR37","doi-asserted-by":"publisher","first-page":"699","DOI":"10.1093\/hmg\/10.7.699","volume":"10","author":"J.R. Nevins","year":"2001","unstructured":"Nevins, J.R.: The Rb\/E2F pathway and cancer. Human Molecular Genetics\u00a010, 699\u2013703 (2001)","journal-title":"Human Molecular Genetics"},{"key":"7_CR38","doi-asserted-by":"publisher","first-page":"452","DOI":"10.1016\/j.jtbi.2008.05.039","volume":"254","author":"K. Puszynski","year":"2008","unstructured":"Puszynski, K., Hat, B., Lipniacki, T.: Oscillations and bistability in the stochastic model of p53 regulation. Journal of Theoretical Biology\u00a0254, 452\u2013465 (2008)","journal-title":"Journal of Theoretical Biology"},{"key":"7_CR39","series-title":"Lecture Notes in Bioinformatics","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1007\/978-3-540-88562-7_19","volume-title":"Computational Methods in Systems Biology","author":"A. Rizk","year":"2008","unstructured":"Rizk, A., Batt, G., Fages, F., Soliman, S.: On a Continuous Degree of Satisfaction of Temporal Logic Formulae with Applications to Systems Biology. In: Heiner, M., Uhrmacher, A.M. (eds.) CMSB 2008. LNCS (LNBI), vol.\u00a05307, pp. 251\u2013268. Springer, Heidelberg (2008)"},{"key":"7_CR40","doi-asserted-by":"publisher","first-page":"467","DOI":"10.1016\/S0076-6879(07)00432-6","volume":"439","author":"B. Rotblat","year":"2008","unstructured":"Rotblat, B., Ehrlich, M., Haklai, R., Kloog, Y.: The Ras inhibitor farnesylthiosalicylic acid (salirasib) disrupts the spatiotemporal localization of active Ras: a potential treatment for cancer. Methods in Enzymology\u00a0439, 467\u2013489 (2008)","journal-title":"Methods in Enzymology"},{"key":"7_CR41","doi-asserted-by":"publisher","first-page":"609","DOI":"10.1182\/blood-2004-10-3906","volume":"106","author":"C. Semino","year":"2005","unstructured":"Semino, C., Angelini, G., Poggi, A., Rubartelli, A.: NK\/iDC interaction results in IL-18 secretion by DCs at the synaptic cleft followed by NK cell activation and release of the DC maturation factor HMGB1. Blood\u00a0106, 609\u2013616 (2005)","journal-title":"Blood"},{"key":"7_CR42","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1016\/S1535-6108(02)00102-2","volume":"2","author":"C.J. Sherr","year":"2002","unstructured":"Sherr, C.J., McCormick, F.: The Rb and p53 pathways in cancer. Cancer Cell\u00a02, 103\u2013112 (2002)","journal-title":"Cancer Cell"},{"key":"7_CR43","doi-asserted-by":"publisher","first-page":"2637","DOI":"10.1002\/cncr.22315","volume":"107","author":"X. Tang","year":"2006","unstructured":"Tang, X., Liu, D., Shishodia, S., Ozburn, N., Behrens, C., Lee, J.J., Hong, W.K., Aggarwal, B.B., Wistuba, I.I.: Nuclear factor-\u03baB (NF-\u03baB) is frequently expressed in lung cancer and preneoplastic lesions. Cancer\u00a0107, 2637\u20132646 (2006)","journal-title":"Cancer"},{"key":"7_CR44","doi-asserted-by":"publisher","first-page":"641","DOI":"10.1038\/nri1415","volume":"4","author":"J. Vakkila","year":"2004","unstructured":"Vakkila, J., Lotze, M.T.: Inflammation and necrosis promote tumour growth. Nature Reviews Immunology\u00a04, 641\u2013648 (2004)","journal-title":"Nature Reviews Immunology"},{"key":"7_CR45","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/s10456-008-9093-5","volume":"11","author":"J.R. Beijnum van","year":"2008","unstructured":"van Beijnum, J.R., Buurman, W.A., Griffioen, A.W.: Convergence and amplification of toll-like receptor (TLR) and receptor for advanced glycation end products (RAGE) signaling pathways via high mobility group B1. Angiogenesis\u00a011, 91\u201399 (2008)","journal-title":"Angiogenesis"},{"key":"7_CR46","doi-asserted-by":"publisher","first-page":"307","DOI":"10.1038\/35042675","volume":"408","author":"B. Vogelstein","year":"2000","unstructured":"Vogelstein, B., Lane, D., Levine, A.J.: Surfing the p53 network. Nature\u00a0408, 307\u2013310 (2000)","journal-title":"Nature"},{"key":"7_CR47","doi-asserted-by":"publisher","first-page":"857","DOI":"10.1529\/biophysj.105.077693","volume":"91","author":"K.B. Wee","year":"2006","unstructured":"Wee, K.B., Aguda, B.D.: Akt versus p53 in a network of oncogenes and tumor suppressor genes regulating cell survival and death. Biophysical Journal\u00a091, 857\u2013865 (2006)","journal-title":"Biophysical Journal"},{"key":"7_CR48","doi-asserted-by":"crossref","first-page":"20067","DOI":"10.1016\/S0021-9258(17)32128-2","volume":"269","author":"H. Wu","year":"1994","unstructured":"Wu, H., Lozano, G.: NF-\u03baB activation of p53. a potential mechanism for suppressing cell growth in response to stress. J. Biol. Chem.\u00a0269, 20067\u201320074 (1994)","journal-title":"J. Biol. Chem."},{"key":"7_CR49","doi-asserted-by":"publisher","first-page":"476","DOI":"10.1038\/ncb1711","volume":"10","author":"G. Yao","year":"2008","unstructured":"Yao, G., Lee, T.J., Mori, S., Nevins, J., You, L.: A bistable Rb-E2F switch underlies the restriction point. Nature Cell Biology\u00a010, 476\u2013482 (2008)","journal-title":"Nature Cell Biology"},{"issue":"9","key":"7_CR50","doi-asserted-by":"publisher","first-page":"1368","DOI":"10.1016\/j.ic.2006.05.002","volume":"204","author":"H.L.S. Younes","year":"2006","unstructured":"Younes, H.L.S., Simmons, R.G.: Statistical probabilistic model checking with a focus on time-bounded properties. Information and Computation\u00a0204(9), 1368\u20131409 (2006)","journal-title":"Information and Computation"},{"doi-asserted-by":"crossref","unstructured":"Zuliani, P., Platzer, A., Clarke, E.M.: Bayesian statistical model checking with application to simulink\/stateflow verification. In: HSCC, pp. 243\u2013252 (2010)","key":"7_CR51","DOI":"10.21236\/ADA531406"}],"container-title":["Lecture Notes in Computer Science","Algebraic and Numeric Biology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-28067-2_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,25]],"date-time":"2021-12-25T15:42:29Z","timestamp":1640446949000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-28067-2_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642280665","9783642280672"],"references-count":51,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-28067-2_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}