{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:19:21Z","timestamp":1750306761640,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":40,"publisher":"ACM","license":[{"start":{"date-parts":[[2013,9,22]],"date-time":"2013-09-22T00:00:00Z","timestamp":1379808000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2013,9,22]]},"DOI":"10.1145\/2506583.2506586","type":"proceedings-article","created":{"date-parts":[[2013,10,29]],"date-time":"2013-10-29T14:11:56Z","timestamp":1383055916000},"page":"3-12","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["PReach"],"prefix":"10.1145","author":[{"given":"Haitham","family":"Gabr","sequence":"first","affiliation":[{"name":"University of Florida, CISE Department, Gainesville, Florida 32611"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrei","family":"Todor","sequence":"additional","affiliation":[{"name":"University of Florida, CISE Department, Gainesville, Florida 32611"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Helia","family":"Zandi","sequence":"additional","affiliation":[{"name":"University of Florida, CISE Department, Gainesville, Florida 32611"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alin","family":"Dobra","sequence":"additional","affiliation":[{"name":"University of Florida, CISE Department, Gainesville, Florida 32611"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tamer","family":"Kahveci","sequence":"additional","affiliation":[{"name":"University of Florida, CISE Department, Gainesville, Florida 32611"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2013,9,22]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1016\/0026-2714(75)90461-8"},{"key":"e_1_3_2_1_2_1","volume-title":"GENSIPS","author":"Ay F.","year":"2005","unstructured":"F. Ay , G. Gulsoy , and T. Kahveci . Finding steady states of large scale regulatory networks through partitioning . GENSIPS , 2005 . F. Ay, G. Gulsoy, and T. Kahveci. Finding steady states of large scale regulatory networks through partitioning. GENSIPS, 2005."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1038\/nbt924"},{"key":"e_1_3_2_1_4_1","volume-title":"Function and assembly of nuclear pore complex proteins. Biochemistry and cell biology","author":"Bodoor K. K.","year":"1999","unstructured":"K. K. Bodoor Function and assembly of nuclear pore complex proteins. Biochemistry and cell biology , 1999 . K. K. Bodoor et al. Function and assembly of nuclear pore complex proteins. Biochemistry and cell biology, 1999."},{"key":"e_1_3_2_1_5_1","author":"Brown D. B.","year":"1971","unstructured":"D. B. Brown . A computerized algorithm for determining the reliability of redundant configurations. IEEE Trans. on Reliability , 1971 . D. B. Brown. A computerized algorithm for determining the reliability of redundant configurations. IEEE Trans. on Reliability, 1971.","journal-title":"Trans. on Reliability"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1022484229443"},{"key":"e_1_3_2_1_7_1","volume-title":"Nucleic Acids Res.","author":"Ceol A.","year":"2010","unstructured":"A. Ceol , A. Chatr Aryamontri, et al. MINT, the Molecular INTeraction database: 2009 update . Nucleic Acids Res. , 2010 . A. Ceol, A. Chatr Aryamontri, et al. MINT, the Molecular INTeraction database: 2009 update. Nucleic Acids Res., 2010."},{"key":"e_1_3_2_1_8_1","author":"Easton M. C.","year":"1980","unstructured":"M. C. Easton and C. K. Wong . Sequential destruction method for monte carlo evaluation of system reliability. IEEE Transactions on Reliability , 1980 . M. C. Easton and C. K. Wong. Sequential destruction method for monte carlo evaluation of system reliability. IEEE Transactions on Reliability, 1980.","journal-title":"IEEE Transactions on Reliability"},{"key":"e_1_3_2_1_9_1","volume-title":"Nature","author":"Fields S.","year":"1989","unstructured":"S. Fields and O. Song . A novel genetic system to detect protein-protein interactions . Nature , 1989 . S. Fields and O. Song. A novel genetic system to detect protein-protein interactions. Nature, 1989."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/2775890.2775899"},{"key":"e_1_3_2_1_12_1","volume-title":"Nature","author":"Gavin A. C.","year":"2002","unstructured":"A. C. Gavin , M. Bosche , Functional organization of the yeast proteome by the systematic analysis of protein complexes . Nature , 2002 . A. C. Gavin, M. Bosche, et al. Functional organization of the yeast proteome by the systematic analysis of protein complexes. Nature, 2002."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1186\/1471-2105-13-250"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/0026-2714(94)90489-8"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1111\/j.1749-6632.2010.05907.x"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-17493-3_19"},{"key":"e_1_3_2_1_17_1","author":"Hwang G. L.","year":"1981","unstructured":"G. L. Hwang , T. A. Tillman , and M. H. Lee . System-Reliability Evaluation Techniques for Complex\/Large Systems-A Review. IEEE Trans. on Reliability , 1981 . G. L. Hwang, T. A. Tillman, and M. H. Lee. System-Reliability Evaluation Techniques for Complex\/Large Systems-A Review. IEEE Trans. on Reliability, 1981.","journal-title":"System-Reliability Evaluation Techniques for Complex\/Large Systems-A Review. IEEE Trans. on Reliability"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1093\/nar\/gkh063"},{"key":"e_1_3_2_1_19_1","volume-title":"A new monte carlo method for estimating the failure probability of an n-component system. EECS TR UCB\/CSD-83-117","author":"Karp R. M.","year":"1983","unstructured":"R. M. Karp and M. G. Luby . A new monte carlo method for estimating the failure probability of an n-component system. EECS TR UCB\/CSD-83-117 , University of California , Berkley , 1983 . R. M. Karp and M. G. Luby. A new monte carlo method for estimating the failure probability of an n-component system. EECS TR UCB\/CSD-83-117, University of California, Berkley, 1983."},{"key":"e_1_3_2_1_20_1","volume-title":"Biochimica et Biophysica Acta (BBA)-Molecular Basis","author":"Kim E.","year":"2010","unstructured":"E. Kim and E. Choi . Pathological roles of MAPK signaling pathwaysin human diseases . Biochimica et Biophysica Acta (BBA)-Molecular Basis , 2010 . E. Kim and E. Choi. Pathological roles of MAPK signaling pathwaysin human diseases. Biochimica et Biophysica Acta (BBA)-Molecular Basis, 2010."},{"key":"e_1_3_2_1_21_1","author":"Kumamoto H.","year":"1977","unstructured":"H. Kumamoto , K. Tanaka , and K. Inoue . Efficient evaluation of system reliability by Monte Carlo method. IEEE Trans. on Reliability , 1977 . H. Kumamoto, K. Tanaka, and K. Inoue. Efficient evaluation of system reliability by Monte Carlo method. IEEE Trans. on Reliability, 1977.","journal-title":"IEEE Trans. on Reliability"},{"key":"e_1_3_2_1_22_1","volume-title":"Cell","author":"Laplante M.","year":"2012","unstructured":"M. Laplante and D. M. Sabatini . mTOR signaling in growth control and disease . Cell , 2012 . M. Laplante and D. M. Sabatini. mTOR signaling in growth control and disease. Cell, 2012."},{"key":"e_1_3_2_1_23_1","volume-title":"Mathematical Methods in Reliability","author":"Lucet C.","year":"1997","unstructured":"C. Lucet and J.-F. Manouvrier . Exact methods to compute network reliability . Mathematical Methods in Reliability , 1997 . C. Lucet and J.-F. Manouvrier. Exact methods to compute network reliability. Mathematical Methods in Reliability, 1997."},{"key":"e_1_3_2_1_24_1","volume-title":"Developmental Cell","author":"MacDonald B.","year":"2009","unstructured":"B. MacDonald , K. Tamai , and X. He . Wnt\/\u00df-Catenin Signaling: Components, Mechanisms, and Diseases . Developmental Cell , 2009 . B. MacDonald, K. Tamai, and X. He. Wnt\/\u00df-Catenin Signaling: Components, Mechanisms, and Diseases. Developmental Cell, 2009."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1186\/1752-0509-6-52"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1038\/emboj.2012.46"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1093\/bioinformatics\/btm170"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0963548302005175"},{"key":"e_1_3_2_1_29_1","author":"Provan J. S.","year":"1983","unstructured":"J. S. Provan and M. O. Ball . The Complexity of Counting Cuts and of Computing the Probability that a Graph is Connected. SIAM Journal of Computing , 1983 . J. S. Provan and M. O. Ball. The Complexity of Counting Cuts and of Computing the Probability that a Graph is Connected. SIAM Journal of Computing, 1983.","journal-title":"SIAM Journal of Computing"},{"key":"e_1_3_2_1_30_1","volume-title":"Operations Research","author":"Provan J. S.","year":"1984","unstructured":"J. S. Provan and M. O. Ball . Computing network reliability in time polynomial in the number of cuts . Operations Research , 1984 . J. S. Provan and M. O. Ball. Computing network reliability in time polynomial in the number of cuts. Operations Research, 1984."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.5555\/1783534.1783553"},{"key":"e_1_3_2_1_32_1","volume-title":"Trends in Cell Biology","author":"Sherer N. M.","year":"2008","unstructured":"N. M. Sherer and W. Mothes . Cytonemes and tunneling nanotubules in cell\u00e2\u0102\u015ecell communication and viral pathogenesis . Trends in Cell Biology , 2008 . N. M. Sherer and W. Mothes. Cytonemes and tunneling nanotubules in cell\u00e2\u0102\u015ecell communication and viral pathogenesis. Trends in Cell Biology, 2008."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1073\/pnas.0806627105"},{"key":"e_1_3_2_1_34_1","volume-title":"Surveys in Combinatorics","author":"Sokal A. D.","year":"2010","unstructured":"A. D. Sokal . The multivariate tutte polynomial (alias potts model) for graphs and matroids . Surveys in Combinatorics , 2010 . A. D. Sokal. The multivariate tutte polynomial (alias potts model) for graphs and matroids. Surveys in Combinatorics, 2010."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1093\/nar\/gkq973"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCBB.2012.142"},{"key":"e_1_3_2_1_37_1","volume-title":"Nature","author":"von Mering C.","year":"2002","unstructured":"C. von Mering , R. Krause , Comparative assessment of large-scale data sets of protein-protein interactions . Nature , 2002 . C. von Mering, R. Krause, et al. Comparative assessment of large-scale data sets of protein-protein interactions. Nature, 2002."},{"key":"e_1_3_2_1_38_1","author":"Wen A. Y.","year":"2010","unstructured":"A. Y. Wen , K. M. Sakamoto , and L. S. Miller . The role of the transcription factor creb in immune function. The Journal of Immunology , 2010 . A. Y. Wen, K. M. Sakamoto, and L. S. Miller. The role of the transcription factor creb in immune function. The Journal of Immunology, 2010.","journal-title":"The Journal of Immunology"},{"key":"e_1_3_2_1_39_1","volume-title":"Analysis and design of reliable computer networks","author":"Wilkow R.","year":"1975","unstructured":"R. Wilkow . Analysis and design of reliable computer networks . IEEE Transactions on Communications , 1975 . R. Wilkow. Analysis and design of reliable computer networks. IEEE Transactions on Communications, 1975."},{"key":"e_1_3_2_1_40_1","volume-title":"A genomic storm in critically injured humans. The Journal of experimental medicine","author":"Xiao W.","year":"2011","unstructured":"W. Xiao , M. N. Mindrinos , A genomic storm in critically injured humans. The Journal of experimental medicine , 2011 . W. Xiao, M. N. Mindrinos, et al. A genomic storm in critically injured humans. The Journal of experimental medicine, 2011."},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.5555\/1997305.1997346"}],"event":{"name":"BCB'13: ACM-BCB2013","sponsor":["SIGBio ACM Special Interest Group on Bioinformatics"],"location":"Wshington DC USA","acronym":"BCB'13"},"container-title":["Proceedings of the International Conference on Bioinformatics, Computational Biology and Biomedical Informatics"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2506583.2506586","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2506583.2506586","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:28:44Z","timestamp":1750231724000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2506583.2506586"}},"subtitle":["Reachability in Probabilistic Signaling Networks"],"short-title":[],"issued":{"date-parts":[[2013,9,22]]},"references-count":40,"alternative-id":["10.1145\/2506583.2506586","10.1145\/2506583"],"URL":"https:\/\/doi.org\/10.1145\/2506583.2506586","relation":{},"subject":[],"published":{"date-parts":[[2013,9,22]]},"assertion":[{"value":"2013-09-22","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}