{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T06:31:58Z","timestamp":1729665118884,"version":"3.28.0"},"reference-count":36,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,11]]},"DOI":"10.1109\/bibm.2014.6999149","type":"proceedings-article","created":{"date-parts":[[2015,1,19]],"date-time":"2015-01-19T21:42:30Z","timestamp":1421703750000},"page":"182-187","source":"Crossref","is-referenced-by-count":3,"title":["Probabilistic verification of ER stress-induced signaling pathways"],"prefix":"10.1109","author":[{"given":"Haijun","family":"Gong","sequence":"first","affiliation":[]},{"given":"Lu","family":"Feng","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevE.81.011914"},{"key":"35","doi-asserted-by":"publisher","DOI":"10.1155\/2013\/910502"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1016\/0021-9991(76)90041-3"},{"key":"36","doi-asserted-by":"publisher","DOI":"10.1007\/s12192-014-0506-7"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1529\/biophysj.107.127498"},{"key":"33","doi-asserted-by":"publisher","DOI":"10.1145\/1059816.1059820"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1186\/1752-0509-7-S3-S5"},{"journal-title":"Prism Code for Er Stress-induced Pathway Model","year":"0","key":"34"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1186\/1752-0509-8-S4-S3"},{"key":"13","article-title":"Model checking of a diabetescancer model","author":"gong","year":"2011","journal-title":"3rd International Symposium on Computational Models for Life Sciences"},{"key":"14","first-page":"231","volume":"5307","author":"clarke","year":"2008","journal-title":"Statistical Model Checking in Biolab Applications to the Automated Analysis of T-cell Receptor Signaling Pathway"},{"key":"11","article-title":"Symbolic model checking of the signaling pathway in pancreatic cancer","author":"gong","year":"2011","journal-title":"Proceedings of the International Conference on Bioinformatics and Computational Biology (BICoB)"},{"key":"12","doi-asserted-by":"crossref","first-page":"243","DOI":"10.1145\/1755952.1755987","article-title":"Bayesian statistical model checking with application to simulink\/stateflow verification","author":"zuliani","year":"2010","journal-title":"HSCC"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-28067-2_7"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1186\/1471-2105-11-S7-S10"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1016\/j.cell.2010.02.034"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1038\/sj.onc.1207108"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcb.2003.11.001"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1155\/2013\/256404"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1186\/1742-2094-6-41"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1002\/jcb.10711"},{"key":"28","article-title":"Possible mechanisms involved in the downregulation of translation during transient global ischaemia in the rat brain","volume":"357","author":"de la vega c","year":"2001","journal-title":"Biochem J"},{"key":"29","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":"3","doi-asserted-by":"publisher","DOI":"10.1142\/S0219720011005744"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1016\/j.leukres.2009.05.025"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1111\/j.1467-9868.2005.00532.x"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.3390\/genes4030306"},{"key":"30","doi-asserted-by":"crossref","first-page":"1241","DOI":"10.1126\/science.1071914","article-title":"The IBNF B signaling module: Temporal control and selective gene activation","volume":"298","author":"hoffmann","year":"2002","journal-title":"Science"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1093\/bioinformatics\/btp041"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1093\/biostatistics\/kxm015"},{"key":"32","doi-asserted-by":"publisher","DOI":"10.1007\/s001650300007"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1093\/bioinformatics\/bti033"},{"journal-title":"Model checking","year":"1999","author":"clarke","key":"31"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1186\/1752-0509-8-S1-S3"},{"key":"9","doi-asserted-by":"crossref","first-page":"175","DOI":"10.4310\/SII.2013.v6.n2.a2","article-title":"Doubly regularized cox regression for highdimensional survival data with group structures","volume":"6","author":"wu","year":"2013","journal-title":"Statisstics and Its Interface"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1186\/1471-2105-8-60"}],"event":{"name":"2014 IEEE International Conference on Bioinformatics and Biomedicine (BIBM)","start":{"date-parts":[[2014,11,2]]},"location":"Belfast, United Kingdom","end":{"date-parts":[[2014,11,5]]}},"container-title":["2014 IEEE International Conference on Bioinformatics and Biomedicine (BIBM)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6979782\/6999111\/06999149.pdf?arnumber=6999149","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,22]],"date-time":"2017-06-22T23:54:46Z","timestamp":1498175686000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6999149\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,11]]},"references-count":36,"URL":"https:\/\/doi.org\/10.1109\/bibm.2014.6999149","relation":{},"subject":[],"published":{"date-parts":[[2014,11]]}}}