{"id":"https://openalex.org/W4391983522","doi":"https://doi.org/10.1109/tcns.2024.3367455","title":"A BDD-Based Approach to Model Reduction of Boolean Networks","display_name":"A BDD-Based Approach to Model Reduction of Boolean Networks","publication_year":2024,"publication_date":"2024-02-20","ids":{"openalex":"https://openalex.org/W4391983522","doi":"https://doi.org/10.1109/tcns.2024.3367455"},"language":"en","primary_location":{"id":"doi:10.1109/tcns.2024.3367455","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tcns.2024.3367455","pdf_url":null,"source":{"id":"https://openalex.org/S2502544478","display_name":"IEEE Transactions on Control of Network Systems","issn_l":"2325-5870","issn":["2325-5870","2372-2533"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Control of Network Systems","raw_type":"journal-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":"https://openalex.org/A5022527003","display_name":"Fuma Motoyama","orcid":"https://orcid.org/0009-0008-4553-9073"},"institutions":[{"id":"https://openalex.org/I205349734","display_name":"Hokkaido University","ror":"https://ror.org/02e16g702","country_code":"JP","type":"education","lineage":["https://openalex.org/I205349734"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Fuma Motoyama","raw_affiliation_strings":["Graduate School of Information Science and Technology, Hokkaido University, Sapporo, Japan"],"raw_orcid":"https://orcid.org/0009-0008-4553-9073","affiliations":[{"raw_affiliation_string":"Graduate School of Information Science and Technology, Hokkaido University, Sapporo, Japan","institution_ids":["https://openalex.org/I205349734"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5040531473","display_name":"Koichi Kobayashi","orcid":"https://orcid.org/0000-0002-3358-0254"},"institutions":[{"id":"https://openalex.org/I205349734","display_name":"Hokkaido University","ror":"https://ror.org/02e16g702","country_code":"JP","type":"education","lineage":["https://openalex.org/I205349734"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Koichi Kobayashi","raw_affiliation_strings":["Graduate School of Information Science and Technology, Hokkaido University, Sapporo, Japan"],"raw_orcid":"https://orcid.org/0000-0002-3358-0254","affiliations":[{"raw_affiliation_string":"Graduate School of Information Science and Technology, Hokkaido University, Sapporo, Japan","institution_ids":["https://openalex.org/I205349734"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5054322992","display_name":"Yuh Yamashita","orcid":"https://orcid.org/0000-0001-7190-6609"},"institutions":[{"id":"https://openalex.org/I205349734","display_name":"Hokkaido University","ror":"https://ror.org/02e16g702","country_code":"JP","type":"education","lineage":["https://openalex.org/I205349734"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Yuh Yamashita","raw_affiliation_strings":["Graduate School of Information Science and Technology, Hokkaido University, Sapporo, Japan"],"raw_orcid":"https://orcid.org/0000-0001-7190-6609","affiliations":[{"raw_affiliation_string":"Graduate School of Information Science and Technology, Hokkaido University, Sapporo, Japan","institution_ids":["https://openalex.org/I205349734"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I205349734"],"apc_list":null,"apc_paid":null,"fwci":0.1866,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.50064436,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":97},"biblio":{"volume":"11","issue":"4","first_page":"1858","last_page":"1866"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10621","display_name":"Gene Regulatory Network Analysis","score":0.9995999932289124,"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.9995999932289124,"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.9945999979972839,"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/T10932","display_name":"Microbial Metabolic Engineering and Bioproduction","score":0.9915000200271606,"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/reduction","display_name":"Reduction (mathematics)","score":0.6991065740585327},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6069114804267883},{"id":"https://openalex.org/keywords/boolean-function","display_name":"Boolean function","score":0.5368779897689819},{"id":"https://openalex.org/keywords/boolean-circuit","display_name":"Boolean circuit","score":0.44276660680770874},{"id":"https://openalex.org/keywords/boolean-expression","display_name":"Boolean expression","score":0.4417637884616852},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4395807683467865},{"id":"https://openalex.org/keywords/and-inverter-graph","display_name":"And-inverter graph","score":0.4183647930622101},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.40147078037261963},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.28154122829437256}],"concepts":[{"id":"https://openalex.org/C111335779","wikidata":"https://www.wikidata.org/wiki/Q3454686","display_name":"Reduction (mathematics)","level":2,"score":0.6991065740585327},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6069114804267883},{"id":"https://openalex.org/C187455244","wikidata":"https://www.wikidata.org/wiki/Q942353","display_name":"Boolean function","level":2,"score":0.5368779897689819},{"id":"https://openalex.org/C141796577","wikidata":"https://www.wikidata.org/wiki/Q837479","display_name":"Boolean circuit","level":3,"score":0.44276660680770874},{"id":"https://openalex.org/C158465420","wikidata":"https://www.wikidata.org/wiki/Q1979515","display_name":"Boolean expression","level":3,"score":0.4417637884616852},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4395807683467865},{"id":"https://openalex.org/C196836630","wikidata":"https://www.wikidata.org/wiki/Q4753279","display_name":"And-inverter graph","level":4,"score":0.4183647930622101},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.40147078037261963},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.28154122829437256},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tcns.2024.3367455","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tcns.2024.3367455","pdf_url":null,"source":{"id":"https://openalex.org/S2502544478","display_name":"IEEE Transactions on Control of Network Systems","issn_l":"2325-5870","issn":["2325-5870","2372-2533"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Control of Network Systems","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G7671223964","display_name":"\u30b5\u30a4\u30d0\u30fc\u30d5\u30a3\u30b8\u30ab\u30eb\u30b7\u30b9\u30c6\u30e0\u306e\u30bb\u30ad\u30e5\u30a2\u306a\u30a4\u30d9\u30f3\u30c8\u30d9\u30fc\u30b9\u30c8\u5236\u5fa1\u3068\u30e2\u30d3\u30ea\u30c6\u30a3\u3078\u306e\u5c55\u958b","funder_award_id":"22K04163","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"}],"funders":[{"id":"https://openalex.org/F4320334764","display_name":"Japan Society for the Promotion of Science","ror":"https://ror.org/00hhkn466"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":54,"referenced_works":["https://openalex.org/W1487734816","https://openalex.org/W1581408534","https://openalex.org/W1975274391","https://openalex.org/W1985787415","https://openalex.org/W1987906683","https://openalex.org/W1991720013","https://openalex.org/W2003746073","https://openalex.org/W2007581236","https://openalex.org/W2009484965","https://openalex.org/W2021689790","https://openalex.org/W2030235975","https://openalex.org/W2041440895","https://openalex.org/W2048152443","https://openalex.org/W2058221907","https://openalex.org/W2070745908","https://openalex.org/W2077350721","https://openalex.org/W2079436907","https://openalex.org/W2080267935","https://openalex.org/W2101282755","https://openalex.org/W2113268441","https://openalex.org/W2118467699","https://openalex.org/W2134367920","https://openalex.org/W2146917465","https://openalex.org/W2152563826","https://openalex.org/W2160533336","https://openalex.org/W2202757959","https://openalex.org/W2267936660","https://openalex.org/W2300731574","https://openalex.org/W2401610261","https://openalex.org/W2409795543","https://openalex.org/W2486512961","https://openalex.org/W2516127196","https://openalex.org/W2524770642","https://openalex.org/W2693902573","https://openalex.org/W2747278573","https://openalex.org/W2755704933","https://openalex.org/W2799280827","https://openalex.org/W2800112896","https://openalex.org/W2904306350","https://openalex.org/W2904868358","https://openalex.org/W2906286942","https://openalex.org/W2919883859","https://openalex.org/W2920149896","https://openalex.org/W2963471494","https://openalex.org/W2972244977","https://openalex.org/W2995330358","https://openalex.org/W3011461731","https://openalex.org/W3034404538","https://openalex.org/W3045234274","https://openalex.org/W3089714821","https://openalex.org/W3097532239","https://openalex.org/W3217449296","https://openalex.org/W4281252259","https://openalex.org/W4388252848"],"related_works":["https://openalex.org/W1976822807","https://openalex.org/W3029381898","https://openalex.org/W2150974517","https://openalex.org/W4248224315","https://openalex.org/W2060171268","https://openalex.org/W4241453319","https://openalex.org/W2169792446","https://openalex.org/W2728195892","https://openalex.org/W3144510369","https://openalex.org/W1991822629"],"abstract_inverted_index":{"A":[0],"Boolean":[1,60],"network":[2],"(BN)":[3],"is":[4,33,55,76,86,98,113,124,133],"well":[5],"known":[6],"as":[7,20],"a":[8,43,50,63,122],"discrete":[9],"model":[10,38,44,91,102],"for":[11],"the":[12,37,70,82,89,101,106,127,130,139],"analysis":[13],"and":[14],"control":[15],"of":[16,47,59,84,129],"complex":[17,25],"networks,":[18],"such":[19],"gene":[21],"regulatory":[22],"networks.":[23],"Since":[24],"networks":[26],"are":[27,65],"large":[28],"scale":[29],"in":[30,79,95],"general,":[31],"it":[32],"important":[34],"to":[35],"consider":[36],"reduction.":[39],"In":[40,100],"this":[41,96],"article,":[42],"reduction":[45,92,103],"method":[46,93,120,132,141],"BNs":[48,85],"using":[49,62,69,121],"binary":[51],"decision":[52],"diagram":[53],"(BDD)":[54],"proposed.":[56,125],"Logical":[57],"operations":[58],"functions":[61],"BDD":[64,123],"more":[66],"efficient":[67],"than":[68],"semitensor":[71],"product":[72],"(STP)":[73],"method,":[74],"which":[75],"widely":[77],"used":[78,94],"BNs.":[80],"First,":[81],"outline":[83],"explained.":[87],"Next,":[88],"existing":[90],"article":[97],"introduced.":[99],"studied":[104],"here,":[105],"information":[107],"on":[108],"Singleton":[109],"attractors":[110],"(fixed":[111],"points)":[112],"preserved.":[114],"Under":[115],"these":[116],"preparations,":[117],"an":[118],"implementation":[119],"Finally,":[126],"effectiveness":[128],"proposed":[131],"presented":[134],"by":[135],"large-scale":[136],"examples":[137],"that":[138],"STP":[140],"cannot":[142],"be":[143],"applied.":[144]},"counts_by_year":[{"year":2026,"cited_by_count":1}],"updated_date":"2025-12-21T01:58:51.020947","created_date":"2025-10-10T00:00:00"}