{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,28]],"date-time":"2026-02-28T15:58:52Z","timestamp":1772294332267,"version":"3.50.1"},"reference-count":44,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/iccad.2005.1560115","type":"proceedings-article","created":{"date-parts":[[2005,12,22]],"date-time":"2005-12-22T17:52:37Z","timestamp":1135273957000},"page":"479-484","source":"Crossref","is-referenced-by-count":17,"title":["Kauffman networks: analysis and applications"],"prefix":"10.1109","author":[{"given":"E.","family":"Dubrova","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Teslenko","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Martinelli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","author":"redko","year":"1998","journal-title":"Kauffman's Nk Boolean Networks"},{"key":"35","doi-asserted-by":"publisher","DOI":"10.1017\/S0963548398003526"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-21789-5_2"},{"key":"36","first-page":"193","article-title":"Symbolic model checking without BDDs","author":"biere","year":"1999","journal-title":"5th International Conference on Tools and Algorithms for Construction and Analysis of Systems"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1080\/01969728108927667"},{"key":"33","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1986.1676819"},{"key":"15","article-title":"Modeling of gene regulatory systems by Random Boolean Networks","author":"dubrova","year":"2005","journal-title":"Microtechnologies for the New Millennium"},{"key":"34","doi-asserted-by":"publisher","DOI":"10.1109\/43.275352"},{"key":"16","doi-asserted-by":"crossref","DOI":"10.1103\/PhysRevE.71.056116","article-title":"Compositional properties of random boolean networks","author":"dubrova","year":"2005","journal-title":"Physical Review E"},{"key":"39","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2004.1382541"},{"key":"13","author":"shelley","year":"2004","journal-title":"Here We Go Again"},{"key":"14","first-page":"535","article-title":"Computing attractors in dynamic networks","author":"dubrova","year":"2005","journal-title":"Proceedings of International Symposium on Applied Computing (IADIS'2005)"},{"key":"37","article-title":"Symbolic reachability analysis based on SAT-solvers","author":"abdula","year":"2000","journal-title":"Proceedings of the 6th International Conference on Tools and Algorithms for the Analysis and Construction of Systems (TACAS'2000)"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevE.65.016129"},{"key":"38","doi-asserted-by":"publisher","DOI":"10.1145\/378239.378470"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.90.068702"},{"key":"21","doi-asserted-by":"crossref","first-page":"1695","DOI":"10.1088\/0305-4470\/21\/7\/031","article-title":"Exact solution of Kauffman model with connectivity one","volume":"21","author":"flyvbjerg","year":"1988","journal-title":"J Phys A Math Gen"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1209\/0295-5075\/1\/2\/001"},{"key":"43","first-page":"299","article-title":"Efficient model checking by automated ordering of transition relation partitions","author":"geist","year":"1994","journal-title":"Proc Computer-Aided Verification (CAV 94)"},{"key":"42","first-page":"335","article-title":"Detection of equivalent state variables in finite state machine verification","author":"van eijk","year":"1995","journal-title":"1995 ACM\/IEEE International Workshop on Logic Synthesis"},{"key":"41","first-page":"125","article-title":"Combining decision diagrams and SAT procedures for efficient symbolic model checking","author":"williams","year":"2000","journal-title":"Conference on Computer Aided Verification (CAV'00)"},{"key":"40","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.1995.249983"},{"key":"44","article-title":"A global view of cellular identity in the Arabidopsis root","author":"birnbaum","year":"2004","journal-title":"Proceedings of the International Conference on Arabidopsis Research"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1088\/0305-4470\/31\/6\/005"},{"key":"23","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1006\/jtbi.1997.0423","article-title":"The critical line of Kauffman networks","volume":"187","author":"bastola","year":"1997","journal-title":"J Theor Biol"},{"key":"24","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 of Evolution"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1006\/excr.2000.5044"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-5193(89)80019-0"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.84.6114"},{"key":"28","doi-asserted-by":"publisher","DOI":"10.1088\/0305-4470\/19\/16\/010"},{"key":"29","doi-asserted-by":"publisher","DOI":"10.1016\/S0002-9440(10)64346-5"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1016\/0022-5193(69)90015-0"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-2836(61)80072-7"},{"key":"10","author":"wuensche","year":"2000","journal-title":"The DDLab Manual"},{"key":"1","author":"alberts","year":"1994","journal-title":"Molecular Biology of the Cell"},{"key":"30","author":"dawkins","year":"1989","journal-title":"The Selfish Gene"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-3190-6"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1088\/0305-4470\/33\/38\/304"},{"key":"32","doi-asserted-by":"publisher","DOI":"10.1137\/0201010"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2002.998445"},{"key":"31","author":"suurkula","year":"2004","journal-title":"Over 95 percent of DNA has largely unknown function"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-2789(97)00243-1"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-2789(97)00242-X"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(92)90017-A"}],"event":{"name":"ICCAD-2005. IEEE\/ACM International Conference on Computer-Aided Design, 2005.","location":"San Jose, CA"},"container-title":["ICCAD-2005. IEEE\/ACM International Conference on Computer-Aided Design, 2005."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/10431\/33130\/01560115.pdf?arnumber=1560115","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,6]],"date-time":"2025-01-06T18:48:09Z","timestamp":1736189289000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1560115\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":44,"URL":"https:\/\/doi.org\/10.1109\/iccad.2005.1560115","relation":{},"subject":[]}}