{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:49:12Z","timestamp":1740098952695,"version":"3.37.3"},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319694825"},{"type":"electronic","value":"9783319694832"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"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":[[2017]]},"DOI":"10.1007\/978-3-319-69483-2_14","type":"book-chapter","created":{"date-parts":[[2017,10,16]],"date-time":"2017-10-16T07:34:48Z","timestamp":1508139288000},"page":"232-249","source":"Crossref","is-referenced-by-count":7,"title":["A New Decomposition Method for Attractor Detection in Large Synchronous Boolean Networks"],"prefix":"10.1007","author":[{"given":"Andrzej","family":"Mizera","sequence":"first","affiliation":[]},{"given":"Jun","family":"Pang","sequence":"additional","affiliation":[]},{"given":"Hongyang","family":"Qu","sequence":"additional","affiliation":[]},{"given":"Qixia","family":"Yuan","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,10,17]]},"reference":[{"key":"14_CR1","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1038\/224177a0","volume":"224","author":"S Kauffman","year":"1969","unstructured":"Kauffman, S.: Homeostasis and differentiation in random genetic control networks. Nature 224, 177\u2013178 (1969)","journal-title":"Nature"},{"issue":"3","key":"14_CR2","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1517\/14622416.2.3.203","volume":"2","author":"S Huang","year":"2001","unstructured":"Huang, S.: Genomics, complexity and drug discovery: insights from Boolean network models of cellular regulation. Pharmacogenomics 2(3), 203\u2013222 (2001)","journal-title":"Pharmacogenomics"},{"issue":"24","key":"14_CR3","doi-asserted-by":"crossref","first-page":"1267","DOI":"10.1016\/S1359-6446(01)02096-7","volume":"6","author":"R Somogyi","year":"2001","unstructured":"Somogyi, R., Greller, L.D.: The dynamics of molecular networks: applications to therapeutic discovery. Drug Discov. Today 6(24), 1267\u20131277 (2001)","journal-title":"Drug Discov. Today"},{"key":"14_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1007\/978-3-540-71681-5_5","volume-title":"Research in Computational Molecular Biology","author":"A Garg","year":"2007","unstructured":"Garg, A., Xenarios, I., Mendoza, L., De Micheli, G.: An efficient method for dynamic analysis of gene regulatory networks and in\u00a0silico gene perturbation experiments. In: Speed, T., Huang, H. (eds.) RECOMB 2007. LNCS, vol. 4453, pp. 62\u201376. Springer, Heidelberg (2007). doi: 10.1007\/978-3-540-71681-5_5"},{"issue":"17","key":"14_CR5","doi-asserted-by":"crossref","first-page":"1917","DOI":"10.1093\/bioinformatics\/btn336","volume":"24","author":"A Garg","year":"2008","unstructured":"Garg, A., Di Cara, A., Xenarios, I., Mendoza, L., De Micheli, G.: Synchronous versus asynchronous modeling of gene regulatory networks. Bioinformatics 24(17), 1917\u20131925 (2008)","journal-title":"Bioinformatics"},{"issue":"5","key":"14_CR6","doi-asserted-by":"crossref","first-page":"1393","DOI":"10.1109\/TCBB.2010.20","volume":"8","author":"E Dubrova","year":"2011","unstructured":"Dubrova, E., Teslenko, M.: A SAT-based algorithm for finding attractors in synchronous Boolean networks. IEEE\/ACM Trans. Comput. Biol. Bioinform. 8(5), 1393\u20131399 (2011)","journal-title":"IEEE\/ACM Trans. Comput. Biol. Bioinform."},{"issue":"4","key":"14_CR7","doi-asserted-by":"crossref","first-page":"e94258","DOI":"10.1371\/journal.pone.0094258","volume":"9","author":"W Guo","year":"2014","unstructured":"Guo, W., Yang, G., Wu, W., He, L., Sun, M.: A parallel attractor finding algorithm based on Boolean satisfiability for genetic regulatory networks. PLOS ONE 9(4), e94258 (2014)","journal-title":"PLOS ONE"},{"issue":"8","key":"14_CR8","doi-asserted-by":"crossref","first-page":"080101","DOI":"10.1007\/s11432-016-5594-9","volume":"59","author":"Q Yuan","year":"2016","unstructured":"Yuan, Q., Qu, H., Pang, J., Mizera, A.: Improving BDD-based attractor detection for synchronous Boolean networks. Sci. China Inf. Sci. 59(8), 080101 (2016)","journal-title":"Sci. China Inf. Sci."},{"key":"14_CR9","unstructured":"Mizera, A., Pang, J., Qu, H., Yuan, Q.: Taming asynchrony for attractor detection in large Boolean networks (Technical report) (2017). http:\/\/arxiv.org\/abs\/1704.06530"},{"issue":"3","key":"14_CR10","doi-asserted-by":"crossref","first-page":"437","DOI":"10.1016\/0022-5193(69)90015-0","volume":"22","author":"SA Kauffman","year":"1969","unstructured":"Kauffman, S.A.: Metabolic stability and epigenesis in randomly constructed genetic nets. J. Theor. Biol. 22(3), 437\u2013467 (1969)","journal-title":"J. Theor. Biol."},{"key":"14_CR11","doi-asserted-by":"crossref","unstructured":"Shmulevich, I., Dougherty, E.R.: Probabilistic Boolean Networks: The Modeling and Control of Gene Regulatory Networks. SIAM Press (2010)","DOI":"10.1137\/1.9780898717631"},{"issue":"4","key":"14_CR12","doi-asserted-by":"crossref","first-page":"985","DOI":"10.1002\/j.1538-7305.1959.tb01585.x","volume":"38","author":"CY Lee","year":"1959","unstructured":"Lee, C.Y.: Representation of switching circuits by binary-decision programs. Bell Syst. Tech. J. 38(4), 985\u2013999 (1959)","journal-title":"Bell Syst. Tech. J."},{"issue":"6","key":"14_CR13","doi-asserted-by":"crossref","first-page":"509","DOI":"10.1109\/TC.1978.1675141","volume":"100","author":"SB Akers","year":"1978","unstructured":"Akers, S.B.: Binary decision diagrams. IEEE Trans. Comput. 100(6), 509\u2013516 (1978)","journal-title":"IEEE Trans. Comput."},{"key":"14_CR14","doi-asserted-by":"crossref","unstructured":"Lomuscio, A., Qu, H., Raimondi, F.: MCMAS: An open-source model checker for the verification of multi-agent systems. Int. J. Softw. Tools Technol. Transf. (2015)","DOI":"10.1007\/s10009-015-0378-x"},{"key":"14_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1007\/978-3-319-24953-7_16","volume-title":"Automated Technology for Verification and Analysis","author":"A Mizera","year":"2015","unstructured":"Mizera, A., Pang, J., Yuan, Q.: ASSA-PBN: an approximate steady-state analyser of probabilistic Boolean networks. In: Finkbeiner, B., Pu, G., Zhang, L. (eds.) ATVA 2015. LNCS, vol. 9364, pp. 214\u2013220. Springer, Cham (2015). doi: 10.1007\/978-3-319-24953-7_16"},{"key":"14_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1007\/978-3-319-45177-0_19","volume-title":"Computational Methods in Systems Biology","author":"A Mizera","year":"2016","unstructured":"Mizera, A., Pang, J., Yuan, Q.: ASSA-PBN 2.0: a software tool for probabilistic Boolean networks. In: Bartocci, E., Lio, P., Paoletti, N. (eds.) CMSB 2016. LNCS, vol. 9859, pp. 309\u2013315. Springer, Cham (2016). doi: 10.1007\/978-3-319-45177-0_19"},{"key":"14_CR17","unstructured":"Mizera, A., Pang, J., Qu, H., Yuan, Q.: Benchmark Boolean networks. http:\/\/satoss.uni.lu\/software\/ASSA-PBN\/benchmark\/attractor_syn.xlsx"}],"container-title":["Lecture Notes in Computer Science","Dependable Software Engineering. Theories, Tools, and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-69483-2_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,4]],"date-time":"2019-10-04T14:51:02Z","timestamp":1570200662000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-69483-2_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319694825","9783319694832"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-69483-2_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}