{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,28]],"date-time":"2025-06-28T07:23:42Z","timestamp":1751095422301,"version":"3.28.0"},"reference-count":36,"publisher":"IEEE","license":[{"start":{"date-parts":[[2021,10,13]],"date-time":"2021-10-13T00:00:00Z","timestamp":1634083200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2021,10,13]],"date-time":"2021-10-13T00:00:00Z","timestamp":1634083200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2021,10,13]],"date-time":"2021-10-13T00:00:00Z","timestamp":1634083200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021,10,13]]},"DOI":"10.1109\/cibcb49929.2021.9562947","type":"proceedings-article","created":{"date-parts":[[2021,10,20]],"date-time":"2021-10-20T00:00:25Z","timestamp":1634688025000},"page":"1-9","source":"Crossref","is-referenced-by-count":6,"title":["An Improved Method for Finding Attractors of Large-Scale Asynchronous Boolean Networks"],"prefix":"10.1109","author":[{"given":"Trinh","family":"Van Giang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kunihiko","family":"Hiraishi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-2789(03)00174-X"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1073\/pnas.0407783101"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1093\/bioinformatics\/btq124"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1016\/j.jtbi.2018.11.028"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1016\/j.biosystems.2013.05.007"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1186\/1752-0509-6-96"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33636-2_17"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TCBB.2010.20"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/s11432-016-5594-9"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/j.jtbi.2018.03.037"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2019.05.001"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1142\/S0219525911003098"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TCBB.2018.2850901"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TCBB.2020.3028862"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/j.endm.2008.01.043"},{"key":"ref18","first-page":"67","article-title":"Time out of joint: Attractors in asynchronous random Boolean networks","author":"harvey","year":"1997","journal-title":"Proceedings of the Fourth European Conference on Artificial Life"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2012.05.017"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.21236\/ADA360973"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/j.jtbi.2010.07.022"},{"key":"ref3","first-page":"1","article-title":"Classification of random Boolean networks","author":"gershenson","year":"0","journal-title":"Proceedings of the Eighth International Conference on Artificial Life"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2020.06.008"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1038\/nature08180"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1016\/j.aam.2009.11.011"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1517\/14622416.2.3.203"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1093\/bioinformatics\/btn336"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TCBB.2018.2889102"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1155\/2020\/6183798"},{"key":"ref9","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0022-5193(05)80350-9","article-title":"Regulatory networks seen as asynchronous automata: a logical description","volume":"153","author":"thomas","year":"1991","journal-title":"J Theor Biol"},{"key":"ref1","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780195079517.001.0001","author":"kauffman","year":"1993","journal-title":"The Origins of Order Self-Organization and Selection in Evolution"},{"journal-title":"Computers and Intractability A Guide to the Theory of NP-Completeness","year":"1979","author":"johnson","key":"ref20"},{"key":"ref22","first-page":"337","article-title":"Z3: An efficient SMT solver","author":"de moura","year":"0","journal-title":"International Conference on Tools and Algorithms for the Construction and Analysis of Systems"},{"journal-title":"JDD A Pure Java BDD and Z-BDD Library","year":"2003","author":"vahidi","key":"ref21"},{"key":"ref24","first-page":"1","article-title":"Concurrency in Boolean networks","author":"chatain","year":"2019","journal-title":"Nat Comput"},{"journal-title":"Mole - a petri net unfolder","year":"2016","author":"schwoon","key":"ref23"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-67471-1_20"},{"key":"ref25","first-page":"129","article-title":"Char-acterization of reachable attractors using Petri net unfoldings","author":"chatain","year":"0","journal-title":"In-ternational Conference on Computational Methods in Systems Biology"}],"event":{"name":"2021 IEEE Conference on Computational Intelligence in Bioinformatics and Computational Biology (CIBCB)","start":{"date-parts":[[2021,10,13]]},"location":"Melbourne, Australia","end":{"date-parts":[[2021,10,15]]}},"container-title":["2021 IEEE Conference on Computational Intelligence in Bioinformatics and Computational Biology (CIBCB)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9562742\/9562772\/09562947.pdf?arnumber=9562947","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,11,11]],"date-time":"2023-11-11T06:37:20Z","timestamp":1699684640000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9562947\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,10,13]]},"references-count":36,"URL":"https:\/\/doi.org\/10.1109\/cibcb49929.2021.9562947","relation":{},"subject":[],"published":{"date-parts":[[2021,10,13]]}}}