{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T17:37:25Z","timestamp":1729618645366,"version":"3.28.0"},"reference-count":42,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,12]]},"DOI":"10.1109\/cdc.2011.6161052","type":"proceedings-article","created":{"date-parts":[[2012,3,7]],"date-time":"2012-03-07T16:18:31Z","timestamp":1331137111000},"page":"4855-4860","source":"Crossref","is-referenced-by-count":8,"title":["Formal analysis for logical models of pancreatic cancer"],"prefix":"10.1109","author":[{"given":"Haijun","family":"Gong","sequence":"first","affiliation":[]},{"given":"Paolo","family":"Zuliani","sequence":"additional","affiliation":[]},{"given":"Qinsi","family":"Wang","sequence":"additional","affiliation":[]},{"given":"Edmund M.","family":"Clarke","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"19","DOI":"10.1038\/nm1087"},{"key":"35","first-page":"359","article-title":"NuSMV 2: An opensource tool for symbolic model checking","volume":"2404","author":"cimatti","year":"2002","journal-title":"CAV"},{"doi-asserted-by":"publisher","key":"17","DOI":"10.1593\/neo.05607"},{"key":"36","first-page":"1731","article-title":"Tumor-suppressive pathways in pancreatic carcinoma","volume":"57","author":"rozenblum","year":"1997","journal-title":"Cancer Res"},{"doi-asserted-by":"publisher","key":"18","DOI":"10.1146\/annurev.cellbio.14.1.59"},{"year":"1992","author":"mcmillan","journal-title":"Symbolic Model Checking - An Approach to the State Explosion Problem","key":"33"},{"doi-asserted-by":"publisher","key":"15","DOI":"10.1158\/1078-0432.CCR-09-1913"},{"doi-asserted-by":"publisher","key":"34","DOI":"10.1109\/TC.1986.1676819"},{"key":"16","first-page":"3161","article-title":"Hedgehog is an early and late mediator of pancreatic cancer tumorigenesis","volume":"20","author":"di magliano","year":"2006","journal-title":"Genes & Development"},{"doi-asserted-by":"publisher","key":"39","DOI":"10.1210\/jc.85.11.4373"},{"doi-asserted-by":"publisher","key":"13","DOI":"10.1038\/ncb1711"},{"doi-asserted-by":"publisher","key":"14","DOI":"10.1038\/nature02009"},{"key":"37","first-page":"2002","article-title":"Loss of expression of dpc4 in pancreatic intraepithelial neoplasia: Evidence that dpc4 inactivation occurs late in neoplastic progression","volume":"60","author":"wilentz","year":"2000","journal-title":"Cancer Res"},{"doi-asserted-by":"publisher","key":"11","DOI":"10.1038\/nrc949"},{"doi-asserted-by":"publisher","key":"38","DOI":"10.1016\/S0002-9440(10)64520-8"},{"doi-asserted-by":"publisher","key":"12","DOI":"10.1038\/387296a0"},{"doi-asserted-by":"publisher","key":"21","DOI":"10.1038\/cdd.2009.149"},{"doi-asserted-by":"publisher","key":"20","DOI":"10.1097\/01.sla.0000189115.94847.f1"},{"doi-asserted-by":"publisher","key":"42","DOI":"10.1038\/msb4100068"},{"doi-asserted-by":"publisher","key":"41","DOI":"10.1126\/science.1099962"},{"doi-asserted-by":"publisher","key":"40","DOI":"10.1242\/jcs.00739"},{"key":"22","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1007\/s10456-008-9093-5","article-title":"Convergence and amplification of toll-like receptor (tlr) and receptor for advanced glycation end products (rage) signaling pathways via high mobility group b1","volume":"11","author":"van beijnum","year":"2008","journal-title":"Angiogenesis"},{"key":"23","doi-asserted-by":"crossref","first-page":"1241","DOI":"10.1126\/science.1071914","article-title":"The I?B-NF?B signaling module: Temporal control and selective gene activation","volume":"298","author":"hoffmann","year":"2002","journal-title":"Science"},{"key":"24","article-title":"The receptor for advanced glycation end-products (rage) protects pancreatic tumor cells against oxidative injury","author":"kang","year":"2010","journal-title":"Antioxidants and Redox Signaling"},{"doi-asserted-by":"publisher","key":"25","DOI":"10.1007\/s12015-007-0004-8"},{"doi-asserted-by":"publisher","key":"26","DOI":"10.1097\/00001574-200109000-00006"},{"doi-asserted-by":"publisher","key":"27","DOI":"10.1038\/sj.onc.1208102"},{"doi-asserted-by":"publisher","key":"28","DOI":"10.3390\/cancers3010001"},{"doi-asserted-by":"publisher","key":"29","DOI":"10.1101\/gad.13.24.3179"},{"year":"1999","author":"clarke","journal-title":"Model checking","key":"3"},{"key":"2","article-title":"Symbolic model checking of signaling pathways in pancreatic cancer","author":"gong","year":"2011","journal-title":"Proceedings of the International Conference on Bioinformatics and Computational Biology (BICoB)"},{"key":"10","first-page":"11","article-title":"Targeting ras signalling pathways in cancer therapy","volume":"3","author":"downward","year":"2002","journal-title":"Nature Reviews"},{"doi-asserted-by":"publisher","key":"1","DOI":"10.1126\/science.1164368"},{"doi-asserted-by":"publisher","key":"30","DOI":"10.1007\/s00439-004-1129-3"},{"doi-asserted-by":"publisher","key":"7","DOI":"10.1063\/1.3596647"},{"doi-asserted-by":"publisher","key":"6","DOI":"10.1186\/1471-2105-11-S7-S10"},{"key":"32","article-title":"A method for the generation of standardized qualitative dynamical systems of regulatory networks","author":"mendoza","year":"2005","journal-title":"Theoretical Biology and Medical Modelling"},{"key":"5","article-title":"Computational modeling and verification of signaling pathways in cancer","volume":"6479","author":"gong","year":"2010","journal-title":"Algebraic and Numeric Biology LNCS"},{"doi-asserted-by":"publisher","key":"31","DOI":"10.1093\/bioinformatics\/btn336"},{"key":"4","first-page":"251","article-title":"On a continuous degree of satisfaction of temporal logic formulae with applications to systems biology","volume":"5307","author":"rizk","year":"2008","journal-title":"CMSB"},{"key":"9","first-page":"858","article-title":"Smad7 abrogates transforming growth factor-beta1-mediated growth inhibition in colo-357 cells through functional inactivation of the retinoblastoma protein","volume":"280","author":"arnold","year":"2005","journal-title":"J Biol Chem"},{"doi-asserted-by":"publisher","key":"8","DOI":"10.1016\/S1571-0661(05)82533-2"}],"event":{"name":"2011 50th IEEE Conference on Decision and Control and European Control Conference (CDC-ECC 2011)","start":{"date-parts":[[2011,12,12]]},"location":"Orlando, FL, USA","end":{"date-parts":[[2011,12,15]]}},"container-title":["IEEE Conference on Decision and Control and European Control Conference"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6149620\/6159299\/06161052.pdf?arnumber=6161052","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T11:20:35Z","timestamp":1497957635000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6161052\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,12]]},"references-count":42,"URL":"https:\/\/doi.org\/10.1109\/cdc.2011.6161052","relation":{},"subject":[],"published":{"date-parts":[[2011,12]]}}}