{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,6]],"date-time":"2026-02-06T01:05:33Z","timestamp":1770339933805,"version":"3.49.0"},"reference-count":47,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"2","license":[{"start":{"date-parts":[[2022,3,1]],"date-time":"2022-03-01T00:00:00Z","timestamp":1646092800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2022,3,1]],"date-time":"2022-03-01T00:00:00Z","timestamp":1646092800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,3,1]],"date-time":"2022-03-01T00:00:00Z","timestamp":1646092800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"name":"JSPS","award":["#18H04113"],"award-info":[{"award-number":["#18H04113"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE\/ACM Trans. Comput. Biol. and Bioinf."],"published-print":{"date-parts":[[2022,3,1]]},"DOI":"10.1109\/tcbb.2020.3028862","type":"journal-article","created":{"date-parts":[[2020,10,5]],"date-time":"2020-10-05T21:00:48Z","timestamp":1601931648000},"page":"806-818","source":"Crossref","is-referenced-by-count":15,"title":["An FVS-Based Approach to Attractor Detection in Asynchronous Random Boolean Networks"],"prefix":"10.1109","volume":"19","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-6581-998X","authenticated-orcid":false,"given":"Trinh","family":"Van Giang","sequence":"first","affiliation":[{"name":"School of Information Science, Japan Advanced Institute of Science and Technology, Nomi, Japan"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9763-797X","authenticated-orcid":false,"given":"Tatsuya","family":"Akutsu","sequence":"additional","affiliation":[{"name":"Bioinformatics Center, Institute for Chemical Research, Kyoto University, Kyoto, Japan"}]},{"given":"Kunihiko","family":"Hiraishi","sequence":"additional","affiliation":[{"name":"School of Information Science, Japan Advanced Institute of Science and Technology, Nomi, Japan"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1093\/oso\/9780195079517.001.0001"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-39432-7_66"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-39432-7_66"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/j.jtbi.2010.07.022"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1142\/9789814415743_0003"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1517\/14622416.2.3.203"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1038\/nature08180"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.2174\/157340911796504297"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/S1359-6446(01)02096-7"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1155\/2007\/20180"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/s11432-016-5594-9"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71681-5_5"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1093\/bioinformatics\/btn336"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TCBB.2010.20"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2013.2251819"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1371\/journal.pone.0094258"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-5193(05)80350-9"},{"key":"ref18","first-page":"67","article-title":"Time out of joint: Attractors in asynchronous random Boolean networks","volume-title":"Proc. 4th Eur. Conf. Artif. Life","author":"Harvey"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1142\/S0219525911003098"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/TCBB.2018.2850901"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1016\/0022-5193(69)90015-0"},{"key":"ref22","volume-title":"Computers and Intractability: A Guide to the Theory of NP-Completeness","author":"Johnson","year":"1979"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/PL00009191"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1137\/0201010"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"ref26","volume-title":"Unfoldings: A Partial-Order Approach to Model Checking","author":"Esparza","year":"2008"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-12982-2_10"},{"key":"ref28","article-title":"Mole\u2014A Petri net unfolder","author":"Schwoon","year":"2016"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45833-6_25"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1986.1676819"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1007\/s11047-019-09748-4"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.1999.781333"},{"issue":"3\/4","key":"ref33","first-page":"231","article-title":"Unfolding based algorithms for the reachability problem","volume":"47","author":"Esparza","year":"2001","journal-title":"Fundamenta Informaticae"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-67471-1_20"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2020.06.008"},{"key":"ref36","article-title":"JDD: A pure Java BDD and Z-BDD library","author":"Vahidi","year":"2003"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1007\/s00180-012-0324-2"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33636-2_17"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1186\/1752-0509-6-96"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1016\/j.canlet.2015.11.025"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1158\/0008-5472.CAN-15-0602"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1117\/12.2050071"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1186\/s12918-019-0692-0"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2012.04.046"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-38697-8_3"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1016\/j.physd.2019.05.011"}],"container-title":["IEEE\/ACM Transactions on Computational Biology and Bioinformatics"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8857\/9747964\/09212582.pdf?arnumber=9212582","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,31]],"date-time":"2024-07-31T20:25:43Z","timestamp":1722457543000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9212582\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,3,1]]},"references-count":47,"journal-issue":{"issue":"2"},"URL":"https:\/\/doi.org\/10.1109\/tcbb.2020.3028862","relation":{},"ISSN":["1545-5963","1557-9964","2374-0043"],"issn-type":[{"value":"1545-5963","type":"print"},{"value":"1557-9964","type":"electronic"},{"value":"2374-0043","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022,3,1]]}}}