{"id":"https://openalex.org/W3206531527","doi":"https://doi.org/10.1109/cibcb49929.2021.9562947","title":"An Improved Method for Finding Attractors of Large-Scale Asynchronous Boolean Networks","display_name":"An Improved Method for Finding Attractors of Large-Scale Asynchronous Boolean Networks","publication_year":2021,"publication_date":"2021-10-13","ids":{"openalex":"https://openalex.org/W3206531527","doi":"https://doi.org/10.1109/cibcb49929.2021.9562947","mag":"3206531527"},"language":"en","primary_location":{"id":"doi:10.1109/cibcb49929.2021.9562947","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cibcb49929.2021.9562947","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2021 IEEE Conference on Computational Intelligence in Bioinformatics and Computational Biology (CIBCB)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Trinh Van Giang","orcid":null},"institutions":[{"id":"https://openalex.org/I177738480","display_name":"Japan Advanced Institute of Science and Technology","ror":"https://ror.org/03frj4r98","country_code":"JP","type":"education","lineage":["https://openalex.org/I177738480"]}],"countries":["JP"],"is_corresponding":true,"raw_author_name":"Trinh Van Giang","raw_affiliation_strings":["School of Information Science Japan Advanced Institute of Science and Technology"],"affiliations":[{"raw_affiliation_string":"School of Information Science Japan Advanced Institute of Science and Technology","institution_ids":["https://openalex.org/I177738480"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5073091856","display_name":"Kunihiko Hiraishi","orcid":"https://orcid.org/0000-0003-1750-1891"},"institutions":[{"id":"https://openalex.org/I177738480","display_name":"Japan Advanced Institute of Science and Technology","ror":"https://ror.org/03frj4r98","country_code":"JP","type":"education","lineage":["https://openalex.org/I177738480"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Kunihiko Hiraishi","raw_affiliation_strings":["School of Information Science Japan Advanced Institute of Science and Technology"],"affiliations":[{"raw_affiliation_string":"School of Information Science Japan Advanced Institute of Science and Technology","institution_ids":["https://openalex.org/I177738480"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I177738480"],"apc_list":null,"apc_paid":null,"fwci":0.488,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":{"value":0.6266495,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"9"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10621","display_name":"Gene Regulatory Network Analysis","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},"topics":[{"id":"https://openalex.org/T10621","display_name":"Gene Regulatory Network Analysis","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9896000027656555,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11178","display_name":"Receptor Mechanisms and Signaling","score":0.9884999990463257,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/reachability","display_name":"Reachability","score":0.8776278495788574},{"id":"https://openalex.org/keywords/asynchronous-communication","display_name":"Asynchronous communication","score":0.7432113289833069},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7418472170829773},{"id":"https://openalex.org/keywords/vertex","display_name":"Vertex (graph theory)","score":0.5925924777984619},{"id":"https://openalex.org/keywords/attractor","display_name":"Attractor","score":0.5568742752075195},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.554875373840332},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5346791744232178},{"id":"https://openalex.org/keywords/relation","display_name":"Relation (database)","score":0.5183611512184143},{"id":"https://openalex.org/keywords/boolean-function","display_name":"Boolean function","score":0.5034090876579285},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.49755480885505676},{"id":"https://openalex.org/keywords/boolean-network","display_name":"Boolean network","score":0.48059722781181335},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.332996129989624},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.17101061344146729},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.1326233148574829}],"concepts":[{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.8776278495788574},{"id":"https://openalex.org/C151319957","wikidata":"https://www.wikidata.org/wiki/Q752739","display_name":"Asynchronous communication","level":2,"score":0.7432113289833069},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7418472170829773},{"id":"https://openalex.org/C80899671","wikidata":"https://www.wikidata.org/wiki/Q1304193","display_name":"Vertex (graph theory)","level":3,"score":0.5925924777984619},{"id":"https://openalex.org/C164380108","wikidata":"https://www.wikidata.org/wiki/Q507187","display_name":"Attractor","level":2,"score":0.5568742752075195},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.554875373840332},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5346791744232178},{"id":"https://openalex.org/C25343380","wikidata":"https://www.wikidata.org/wiki/Q277521","display_name":"Relation (database)","level":2,"score":0.5183611512184143},{"id":"https://openalex.org/C187455244","wikidata":"https://www.wikidata.org/wiki/Q942353","display_name":"Boolean function","level":2,"score":0.5034090876579285},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.49755480885505676},{"id":"https://openalex.org/C134444547","wikidata":"https://www.wikidata.org/wiki/Q585230","display_name":"Boolean network","level":3,"score":0.48059722781181335},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.332996129989624},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.17101061344146729},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.1326233148574829},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/cibcb49929.2021.9562947","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cibcb49929.2021.9562947","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2021 IEEE Conference on Computational Intelligence in Bioinformatics and Computational Biology (CIBCB)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":38,"referenced_works":["https://openalex.org/W54191953","https://openalex.org/W123856239","https://openalex.org/W1480909796","https://openalex.org/W1787074469","https://openalex.org/W1970441315","https://openalex.org/W1981898075","https://openalex.org/W1989284002","https://openalex.org/W2000982470","https://openalex.org/W2011039300","https://openalex.org/W2015377888","https://openalex.org/W2016743899","https://openalex.org/W2078201066","https://openalex.org/W2097263107","https://openalex.org/W2103454055","https://openalex.org/W2108020239","https://openalex.org/W2112656672","https://openalex.org/W2122902176","https://openalex.org/W2127392156","https://openalex.org/W2147013823","https://openalex.org/W2159518203","https://openalex.org/W2166214692","https://openalex.org/W2300731574","https://openalex.org/W2752840894","https://openalex.org/W2794960257","https://openalex.org/W2811402744","https://openalex.org/W2902246075","https://openalex.org/W2906588180","https://openalex.org/W2938679187","https://openalex.org/W2944603686","https://openalex.org/W2963357480","https://openalex.org/W3000286799","https://openalex.org/W3089714821","https://openalex.org/W3105213231","https://openalex.org/W4231640108","https://openalex.org/W4388252848","https://openalex.org/W6604963759","https://openalex.org/W6679003134","https://openalex.org/W6786242586"],"related_works":["https://openalex.org/W2101472055","https://openalex.org/W2061235113","https://openalex.org/W1574278709","https://openalex.org/W2808998548","https://openalex.org/W1968124963","https://openalex.org/W2789889436","https://openalex.org/W2802923427","https://openalex.org/W2963357480","https://openalex.org/W4302620569","https://openalex.org/W2509811556"],"abstract_inverted_index":{"Attractor":[0],"detection":[1],"in":[2,62,111],"Asynchronous":[3],"Boolean":[4],"Networks":[5],"(ABNs)":[6],"is":[7],"very":[8],"challenging":[9],"due":[10],"to":[11,46,73,76,94,106,140,148],"the":[12,16,60,109,129,150,159,165,169],"high":[13],"complexity":[14],"of":[15,20,36,51,102,131,145,153],"state":[17,116],"transition":[18],"graph":[19],"an":[21,24,37,132,142,146],"ABN.":[22,38,133],"Recently,":[23],"efficient":[25],"method":[26,65,87,167],"(called":[27],"FVS-ARBN)":[28],"has":[29],"been":[30],"proposed":[31],"for":[32],"exactly":[33],"finding":[34],"attractors":[35],"FVS-ARBN":[39],"uses":[40],"a":[41,48,85,99,119,122],"Feedback":[42,124],"Vertex":[43,125],"Set":[44,126],"(FVS)":[45],"get":[47,149],"candidate":[49,151],"set":[50,57,152],"states,":[52],"then":[53],"filters":[54],"out":[55],"this":[56,81,136],"by":[58],"checking":[59],"reachability":[61,110],"ABNs.":[63,112],"This":[64],"gives":[66],"promising":[67],"results;":[68],"however,":[69],"it":[70],"still":[71],"needs":[72],"be":[74],"improved":[75,166],"handle":[77],"larger":[78],"networks.":[79],"In":[80],"paper,":[82],"we":[83,97,114,138],"propose":[84,98,139],"new":[86],"(named":[88],"iFVS-ABN)":[89],"that":[90,158],"includes":[91],"two":[92,160],"improvements":[93,161],"FVS-ARBN.":[95],"First,":[96],"reasonable":[100],"combination":[101],"multiple":[103],"existing":[104],"techniques":[105],"efficiently":[107],"check":[108],"Second,":[113],"formally":[115],"and":[117,128,164],"prove":[118],"relation":[120],"between":[121],"Negative":[123],"(NFVS)":[127],"dynamics":[130],"Based":[134],"on":[135],"relation,":[137],"use":[141],"NFVS":[143],"instead":[144],"FVS":[147],"states.":[154],"Experimental":[155],"results":[156],"show":[157],"are":[162],"effective":[163],"outperforms":[168],"original":[170],"one.":[171]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":4},{"year":2022,"cited_by_count":1}],"updated_date":"2026-04-16T08:26:57.006410","created_date":"2025-10-10T00:00:00"}