TY - JOUR AU - Bardeesy, N. AU - DePinho, R. A. PY - 2002 DA - 2002// TI - Pancreatic cancer biology and genetics JO - Nature Reviews Cancer VL - 2 UR - https://doi.org/10.1038/nrc949 DO - 10.1038/nrc949 ID - Bardeesy2002 ER - TY - JOUR AU - Jones, S. AU - Zhang, X. AU - Parsons, D. PY - 2008 DA - 2008// TI - Core signaling pathways in human pancreatic cancers revealed by Global genomic analyses JO - Science VL - 321 UR - https://doi.org/10.1126/science.1164368 DO - 10.1126/science.1164368 ID - Jones2008 ER - TY - JOUR AU - Bachem, M. G. AU - Zhou, S. PY - 2008 DA - 2008// TI - Pancreatic stellate cells-role in pancreas cancer JO - Langenbecks Arch Surg VL - 393 UR - https://doi.org/10.1007/s00423-008-0279-5 DO - 10.1007/s00423-008-0279-5 ID - Bachem2008 ER - TY - JOUR AU - Vonlaufen, A. AU - Joshi, S. PY - 2008 DA - 2008// TI - Pancreatic stellate cells: Partners in crime with pancreatic cancer cells JO - Cancer Res VL - 68 UR - https://doi.org/10.1158/0008-5472.CAN-07-2477 DO - 10.1158/0008-5472.CAN-07-2477 ID - Vonlaufen2008 ER - TY - JOUR AU - Xu, Z. AU - Vonlaufen, A. AU - Phillips, P. PY - 2010 DA - 2010// TI - Role of Pancreatic stellate cells in pancreatic cancer metastasis JO - The American Journal of Pathology VL - 177 UR - https://doi.org/10.2353/ajpath.2010.090899 DO - 10.2353/ajpath.2010.090899 ID - Xu2010 ER - TY - JOUR AU - Gong, H. AU - Zuliani, P. AU - Komuravelli, A. AU - Faeder, J. R. AU - Clarke, E. M. PY - 2010 DA - 2010// TI - Analysis and Verification of the HMGB1 Signaling Pathway JO - BMC Bioinformatics VL - 11 UR - https://doi.org/10.1186/1471-2105-11-S7-S10 DO - 10.1186/1471-2105-11-S7-S10 ID - Gong2010 ER - TY - CHAP AU - Gong, H. AU - Zuliani, P. AU - Komuravelli, A. AU - Faeder, J. AU - Clarke, E. PY - 2012 DA - 2012// TI - Computational Modeling and Verification of Signaling Pathways in Cancer BT - Proceedings of Algebraic and Numeric Biology, LNCS ID - Gong2012 ER - TY - CHAP AU - Gong, H. AU - Wang, Q. AU - Zuliani, P. AU - Lotze, M. T. AU - Faeder, J. R. AU - Clarke, E. M. PY - 2011 DA - 2011// TI - Symbolic model checking of the Signaling Pathway in pancreatic cancer BT - Proceedings of the International Conference on Bioinformatics and Computational Biology (BICoB) ID - Gong2011 ER - TY - CHAP AU - Gong, H. AU - Zuliani, P. AU - Clarke, E. PY - 2011 DA - 2011// TI - Model Checking of a Diabetes-Cancer Model BT - 3rd International Symposium on Computational Models for Life Sciences ID - Gong2011 ER - TY - BOOK AU - Clarke, E. M. AU - Grumberg, O. AU - Peled, D. A. PY - 1999 DA - 1999// TI - Model Checking PB - MIT Press CY - Cambridge, Massachusetts. ID - Clarke1999 ER - TY - JOUR AU - Thayer, S. AU - Di Magliano, M. AU - Heiser, P. PY - 2003 DA - 2003// TI - Hedgehog is an early and late mediator of pancreatic cancer tumorigenesis JO - Nature VL - 425 UR - https://doi.org/10.1038/nature02009 DO - 10.1038/nature02009 ID - Thayer2003 ER - TY - JOUR AU - di Magliano, M. AU - Sekine, S. AU - Ermilov, A. PY - 2006 DA - 2006// TI - Hedgehog/Ras interactions regulate early stages of pancreatic cancer JO - Genes & Development VL - 20 UR - https://doi.org/10.1101/gad.1470806 DO - 10.1101/gad.1470806 ID - di Magliano2006 ER - TY - JOUR AU - Walter, K. AU - Omura, N. AU - Hong, S. M. AU - Griffith, M. AU - Vincent, A. AU - Borges, M. AU - Goggins, M. PY - 2010 DA - 2010// TI - Overexpression of Smoothened Activates the Sonic Hedgehog Signaling Pathway in Pancreatic Cancer-Associated Fibroblasts JO - Clinical Cancer Research VL - 16 UR - https://doi.org/10.1158/1078-0432.CCR-09-1913 DO - 10.1158/1078-0432.CCR-09-1913 ID - Walter2010 ER - TY - JOUR AU - Vogelstein, B. AU - Kinzler, K. PY - 2004 DA - 2004// TI - Cancer genes and the pathways they control JO - Nature Medicine VL - 10 UR - https://doi.org/10.1038/nm1087 DO - 10.1038/nm1087 ID - Vogelstein2004 ER - TY - JOUR AU - Wodarz, A. AU - Nusse, R. PY - 1998 DA - 1998// TI - Mechanisms of Wnt signaling in development JO - Annu Rev Cell Dev Biol VL - 14 UR - https://doi.org/10.1146/annurev.cellbio.14.1.59 DO - 10.1146/annurev.cellbio.14.1.59 ID - Wodarz1998 ER - TY - JOUR AU - Zeng, G. AU - Germinaro, M. AU - Micsenyi, A. PY - 2006 DA - 2006// TI - Aberrant Wnt/beta-catenin signaling in pancreatic adenocarcinoma JO - Neoplasia VL - 8 UR - https://doi.org/10.1593/neo.05607 DO - 10.1593/neo.05607 ID - Zeng2006 ER - TY - JOUR AU - Kang, R. AU - Tang, D. AU - Schapiro, N. E. AU - Livesey, K. M. PY - 2009 DA - 2009// TI - The receptor for advanced glycation end products (RAGE) sustains autophagy and limits apoptosis, promoting pancreatic tumor cell survival JO - Cell Death and Differentiation VL - 17 UR - https://doi.org/10.1038/cdd.2009.149 DO - 10.1038/cdd.2009.149 ID - Kang2009 ER - TY - JOUR AU - van Beijnum, J. R. AU - Buurman, W. A. AU - Griffioen, A. W. PY - 2008 DA - 2008// TI - Convergence and amplification of toll-like receptor (TLR) and receptor for advanced glycation end products (RAGE) signaling pathways via high mobility group B1 JO - Angiogenesis VL - 11 UR - https://doi.org/10.1007/s10456-008-9093-5 DO - 10.1007/s10456-008-9093-5 ID - van Beijnum2008 ER - TY - JOUR AU - Hoffmann, A. AU - Levchenko, A. AU - Scott, M. AU - Baltimore, D. PY - 2002 DA - 2002// TI - The IκB-NFκ B Signaling Module: Temporal Control and Selective Gene Activation JO - Science VL - 298 UR - https://doi.org/10.1126/science.1071914 DO - 10.1126/science.1071914 ID - Hoffmann2002 ER - TY - JOUR AU - Kang, R. AU - Tang, D. PY - 2011 DA - 2011// TI - The Receptor for Advanced Glycation End-products (RAGE) Protects Pancreatic Tumor Cells Against Oxidative Injury JO - Antioxidants and Redox Signaling VL - 15 UR - https://doi.org/10.1089/ars.2010.3378 DO - 10.1089/ars.2010.3378 ID - Kang2011 ER - TY - JOUR AU - Yao, G. AU - Lee, T. J. AU - Mori, S. AU - Nevins, J. AU - You, L. PY - 2008 DA - 2008// TI - A bistable Rb-E2F switch underlies the restriction point JO - Nature Cell Biology VL - 10 UR - https://doi.org/10.1038/ncb1711 DO - 10.1038/ncb1711 ID - Yao2008 ER - TY - JOUR AU - Haupt, Y. AU - Maya, R. AU - Kasaz, A. AU - Oren, M. PY - 1997 DA - 1997// TI - Mdm2 promotes the rapid degradation of p53 JO - Nature VL - 387 UR - https://doi.org/10.1038/387296a0 DO - 10.1038/387296a0 ID - Haupt1997 ER - TY - JOUR AU - Downward, J. PY - 2002 DA - 2002// TI - Targeting Ras Signalling Pathways in Cancer Therapy JO - Nature Reviews VL - 3 ID - Downward2002 ER - TY - JOUR AU - Gong, H. AU - Zuliani, P. AU - Clarke, E. M. PY - 2013 DA - 2013// TI - Model checking of a synchronous diabetes-cancer logical network JO - Current Bioinformatics VL - 8 ID - Gong2013 ER - TY - JOUR AU - Garg, A. AU - Cara, A. D. PY - 2008 DA - 2008// TI - Synchronous versus asynchronous modeling of gene regulatory networks JO - Bioinformatics VL - 24 UR - https://doi.org/10.1093/bioinformatics/btn336 DO - 10.1093/bioinformatics/btn336 ID - Garg2008 ER - TY - JOUR AU - Mendoza, L. AU - Xenarios, I. PY - 2006 DA - 2006// TI - A method for the generation of standardized qualitative dynamical systems of regulatory networks JO - Theoretial biology and medical modeling VL - 3 UR - https://doi.org/10.1186/1742-4682-3-13 DO - 10.1186/1742-4682-3-13 ID - Mendoza2006 ER - TY - JOUR AU - Albert, I. AU - Thakar, J. AU - Li, S. AU - Zhang, R. AU - Albert, R. PY - 2008 DA - 2008// TI - Boolean network simulations for life scientists JO - Source Code for Biology and Medicine VL - 3 UR - https://doi.org/10.1186/1751-0473-3-16 DO - 10.1186/1751-0473-3-16 ID - Albert2008 ER - TY - CHAP AU - Langmead, C. J. PY - 2009 DA - 2009// TI - Generalized Queries and Bayesian Statistical Model Checking in Dynamic Bayesian Networks: Application to Personalized Medicine BT - CSB ID - Langmead2009 ER - TY - BOOK AU - McMillan, K. L. PY - 1992 DA - 1992// TI - PhD thesis: Symbolic model checking-an approach to the state explosion problem PB - Carnegie Mellon University CY - United States ID - McMillan1992 ER - TY - JOUR AU - Bryant, R. PY - 1986 DA - 1986// TI - Graph-based algorithms for boolean function manipulation JO - IEEE Tran on Computers VL - 35 UR - https://doi.org/10.1109/TC.1986.1676819 DO - 10.1109/TC.1986.1676819 ID - Bryant1986 ER - TY - STD TI - SMV Code. [http://cs.slu.edu/~gong/PSC.zip] UR - http://cs.slu.edu/~gong/PSC.zip ID - ref31 ER - TY - JOUR AU - Altomare, D. AU - Wang, H. AU - Skele, K. AU - Rienzo, A. D. AU - Klein-Szanto, A. AU - Godwin, A. AU - Testa, J. PY - 2004 DA - 2004// TI - AKT and mTOR phosphorylation is frequently detected in ovarian cancer and can be targeted to disrupt ovarian tumor cell growth JO - Oncogene VL - 23 UR - https://doi.org/10.1038/sj.onc.1207721 DO - 10.1038/sj.onc.1207721 ID - Altomare2004 ER - TY - JOUR AU - Eddy, S. AU - Guo, S. PY - 2005 DA - 2005// TI - Inducible IkBkinase/IkB kinase expression is induced by CK2 and promotes aberrant Nuclear Factor-kB activation in breast cancer cells JO - Cancer Research VL - 65 UR - https://doi.org/10.1158/0008-5472.CAN-05-1602 DO - 10.1158/0008-5472.CAN-05-1602 ID - Eddy2005 ER - TY - JOUR AU - Chung, D. C. AU - Brown, S. B. AU - Graeme-Cook, F. PY - 2000 DA - 2000// TI - Overexpression of Cyclin D1 Occurs Frequently in Human Pancreatic Endocrine Tumors JO - The Journal of Clinical Endocrinology Metabolism VL - 85 ID - Chung2000 ER - TY - JOUR AU - Geva-Zatorsky, N. AU - Rosenfeld, N. AU - Itzkovitz, S. AU - Milo, R. AU - Sigal, A. AU - Dekel, E. AU - Yarnitzky, T. AU - Liron, Y. AU - Polak, P. AU - Lahav, G. AU - Alon, U. PY - 2006 DA - 2006// TI - Oscillations and variability in the p53 system JO - Mol Sys Biol VL - 2 ID - Geva-Zatorsky2006 ER -