{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:11:41Z","timestamp":1750306301610,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":26,"publisher":"ACM","license":[{"start":{"date-parts":[[2015,11,6]],"date-time":"2015-11-06T00:00:00Z","timestamp":1446768000000},"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":[[2015,11,6]]},"DOI":"10.1145\/2875913.2875925","type":"proceedings-article","created":{"date-parts":[[2016,10,11]],"date-time":"2016-10-11T16:59:00Z","timestamp":1476205140000},"page":"212-220","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Improving BDD-based Attractor Detection for Synchronous Boolean Networks"],"prefix":"10.1145","author":[{"given":"Hongyang","family":"Qu","sequence":"first","affiliation":[{"name":"Department of Automatic Control & Systems Engineering, University of Sheffield, UK"}]},{"given":"Qixia","family":"Yuan","sequence":"additional","affiliation":[{"name":"Faculty of Science, Technology and Communication, University of Luxembourg, Luxembourg and National Research Fund, Luxembourg"}]},{"given":"Jun","family":"Pang","sequence":"additional","affiliation":[{"name":"Faculty of Science, Technology and Communication, University of Luxembourg, Luxembourg and State Key Laboratory for Novel Software Technology at Nanjing University, China"}]},{"given":"Andrzej","family":"Mizera","sequence":"additional","affiliation":[{"name":"Faculty of Science, Technology and Communication, University of Luxembourg, Luxembourg"}]}],"member":"320","published-online":{"date-parts":[[2015,11,6]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1978.1675141"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/12.537122"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/136035.136043"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/850977.855005"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCBB.2010.20"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/1129601.1129670"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jbi.2011.02.002"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/43.184839"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1093\/bioinformatics\/btn336"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/1758222.1758227"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1517\/14622416.2.3.203"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.physd.2006.03.006"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1038\/224177a0"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/0022-5193(69)90015-0"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1002\/j.1538-7305.1959.tb01585.x"},{"key":"e_1_3_2_1_16_1","volume-title":"International Journal on Software Tools for Technology Transfer","author":"Lomuscio A.","year":"2015","unstructured":"Lomuscio , A. , Qu , H. , and Raimondi , F . MCMAS: An open-source model checker for the verification of multi-agent systems . International Journal on Software Tools for Technology Transfer ( 2015 ). Lomuscio, A., Qu, H., and Raimondi, F. MCMAS: An open-source model checker for the verification of multi-agent systems. International Journal on Software Tools for Technology Transfer (2015)."},{"key":"e_1_3_2_1_17_1","first-page":"3","article-title":"Dynamics of Boolean networks controlled by biologically meaningful functions","volume":"218","author":"Luc R","year":"2002","unstructured":"Luc , R . Dynamics of Boolean networks controlled by biologically meaningful functions . Journal of Theoretical Biology 218 , 3 ( 2002 ), 331--341. Luc, R. Dynamics of Boolean networks controlled by biologically meaningful functions. Journal of Theoretical Biology 218, 3 (2002), 331--341.","journal-title":"Journal of Theoretical Biology"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1988.122451"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-24953-7_16"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1093\/bioinformatics\/btu481"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1186\/1752-0509-3-85"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/277044.277168"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.5555\/1734075"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1359-6446(01)02096-7"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1186\/1478-811X-11-46"},{"key":"e_1_3_2_1_26_1","first-page":"4","article-title":"An efficient algorithm for computing attractors of synchronous and asynchronous Boolean networks","volume":"8","author":"Zheng D.","year":"2013","unstructured":"Zheng , D. , Yang , G. , Li , X. , Wang , Z. , Liu , F. , and He , L . An efficient algorithm for computing attractors of synchronous and asynchronous Boolean networks . PLoS ONE 8 , 4 ( 2013 ), e60593. Zheng, D., Yang, G., Li, X., Wang, Z., Liu, F., and He, L. An efficient algorithm for computing attractors of synchronous and asynchronous Boolean networks. PLoS ONE 8, 4 (2013), e60593.","journal-title":"PLoS ONE"}],"event":{"name":"Internetware '15: The Seventh Asia-Pacific Symposium on Internetware","sponsor":["Key Laboratory of High Confidence Software Technologies Key Laboratory of High Confidence Software Technologies, Ministry of Education"],"location":"Wuhan China","acronym":"Internetware '15"},"container-title":["Proceedings of the 7th Asia-Pacific Symposium on Internetware"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2875913.2875925","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2875913.2875925","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:39:18Z","timestamp":1750221558000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2875913.2875925"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,11,6]]},"references-count":26,"alternative-id":["10.1145\/2875913.2875925","10.1145\/2875913"],"URL":"https:\/\/doi.org\/10.1145\/2875913.2875925","relation":{},"subject":[],"published":{"date-parts":[[2015,11,6]]},"assertion":[{"value":"2015-11-06","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}