{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T07:46:49Z","timestamp":1725522409907},"publisher-location":"Berlin, Heidelberg","reference-count":37,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540922728"},{"type":"electronic","value":"9783540922735"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-92273-5_3","type":"book-chapter","created":{"date-parts":[[2008,12,22]],"date-time":"2008-12-22T08:24:34Z","timestamp":1229934274000},"page":"41-58","source":"Crossref","is-referenced-by-count":4,"title":["A Computational Scheme Based on Random Boolean Networks"],"prefix":"10.1007","author":[{"given":"Elena","family":"Dubrova","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maxim","family":"Teslenko","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hannu","family":"Tenhunen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","volume-title":"Molecular Biology of the Cell","author":"B. Alberts","year":"1994","unstructured":"Alberts, B., Bray, D., Lewis, J., Ra, M., Roberts, K., Watson, J.D.: Molecular Biology of the Cell. Garland Publishing, New York (1994)"},{"key":"3_CR2","doi-asserted-by":"publisher","first-page":"318","DOI":"10.1016\/S0022-2836(61)80072-7","volume":"3","author":"F. Jacob","year":"1961","unstructured":"Jacob, F., Monod, J.: Genetic regulatory mechanisms in the synthesis of proteins. Journal of Molecular Biology\u00a03, 318\u2013356 (1961)","journal-title":"Journal of Molecular Biology"},{"key":"3_CR3","doi-asserted-by":"publisher","first-page":"437","DOI":"10.1016\/0022-5193(69)90015-0","volume":"22","author":"S.A. Kauffman","year":"1969","unstructured":"Kauffman, S.A.: Metabolic stability and epigenesis in randomly constructed nets. Journal of Theoretical Biology\u00a022, 437\u2013467 (1969)","journal-title":"Journal of Theoretical Biology"},{"key":"3_CR4","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1006\/excr.2000.5044","volume":"261","author":"S. Huang","year":"2000","unstructured":"Huang, S., Ingber, D.E.: Shape-dependent control of cell growth, differentiation, and apoptosis: Switching between attractors in cell regulatory networks. Experimental Cell Research\u00a0261, 91\u2013103 (2000)","journal-title":"Experimental Cell Research"},{"key":"3_CR5","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1016\/S0022-5193(89)80019-0","volume":"141","author":"S.A. Kauffman","year":"1989","unstructured":"Kauffman, S.A., Weinberger, E.D.: The nk model of rugged fitness landscapes and its application to maturation of the immune response. Journal of Theoretical Biology\u00a0141, 211\u2013245 (1989)","journal-title":"Journal of Theoretical Biology"},{"key":"3_CR6","doi-asserted-by":"publisher","first-page":"6114","DOI":"10.1103\/PhysRevLett.84.6114","volume":"84","author":"S. Bornholdt","year":"2000","unstructured":"Bornholdt, S., Rohlf, T.: Topological evolution of dynamical networks: Global criticality from local dynamics. Physical Review Letters\u00a084, 6114\u20136117 (2000)","journal-title":"Physical Review Letters"},{"key":"3_CR7","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1080\/01969728108927667","volume":"12","author":"H. Atlan","year":"2001","unstructured":"Atlan, H., Fogelman-Soulie, F., Salomon, J., Weisbuch, G.: Random Boolean networks. Cybernetics and System\u00a012, 103\u2013121 (2001)","journal-title":"Cybernetics and System"},{"key":"3_CR8","unstructured":"Aldana, M., Coopersmith, S., Kadanoff, L.P.: Boolean dynamics with random couplings, http:\/\/arXiv.org\/abs\/adap-org\/9305001"},{"key":"3_CR9","first-page":"45","volume":"1","author":"B. Derrida","year":"1986","unstructured":"Derrida, B., Pomeau, Y.: Random networks of automata: a simple annealed approximation. Biophys. Lett.\u00a01, 45 (1986)","journal-title":"Biophys. Lett."},{"key":"3_CR10","doi-asserted-by":"publisher","first-page":"1103","DOI":"10.1088\/0305-4470\/19\/8\/024","volume":"19","author":"B. Derrida","year":"1986","unstructured":"Derrida, B., Flyvbjerg, H.: Multivalley structure in Kauffman\u2019s model: Analogy with spin glass. J. Phys. A: Math. Gen.\u00a019, L1103 (1986)","journal-title":"J. Phys. A: Math. Gen."},{"key":"3_CR11","doi-asserted-by":"publisher","first-page":"1107","DOI":"10.1088\/0305-4470\/20\/16\/013","volume":"20","author":"B. Derrida","year":"1987","unstructured":"Derrida, B., Flyvbjerg, H.: Distribution of local magnetizations in random networks of automata. J. Phys. A: Math. Gen.\u00a020, L1107 (1987)","journal-title":"J. Phys. A: Math. Gen."},{"issue":"13","key":"3_CR12","doi-asserted-by":"publisher","first-page":"2145","DOI":"10.1063\/1.1564291","volume":"81","author":"E.S. Snow","year":"2003","unstructured":"Snow, E.S., Novak, J.P., Campbell, P.M., Park, D.: Random networks of carbon nanotubes as an electronic material. Applied Physics Letters\u00a081(13), 2145\u20132147 (2003)","journal-title":"Applied Physics Letters"},{"key":"3_CR13","doi-asserted-by":"publisher","first-page":"1533","DOI":"10.1088\/0305-4470\/31\/6\/005","volume":"31","author":"B. Luque","year":"1998","unstructured":"Luque, B., Sole, R.V.: Stable core and chaos control in Random boolean networks. Journal of Physics A: Mathematical and General\u00a031, 1533\u20131537 (1998)","journal-title":"Journal of Physics A: Mathematical and General"},{"key":"3_CR14","doi-asserted-by":"publisher","first-page":"1695","DOI":"10.1088\/0305-4470\/21\/7\/031","volume":"21","author":"H. Flyvbjerg","year":"1988","unstructured":"Flyvbjerg, H., Kjaer, N.J.: Exact solution of Kauffman model with connectivity one. J. Phys. A: Math. Gen.\u00a021, 1695 (1988)","journal-title":"J. Phys. A: Math. Gen."},{"key":"3_CR15","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1006\/jtbi.1997.0423","volume":"187","author":"U. Bastola","year":"1997","unstructured":"Bastola, U., Parisi, G.: The critical line of Kauffman networks. J. Theor. Biol.\u00a0187, 117 (1997)","journal-title":"J. Theor. Biol."},{"key":"3_CR16","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780195079517.001.0001","volume-title":"The Origins of Order: Self-Organization and Selection of Evolution","author":"S.A. Kauffman","year":"1993","unstructured":"Kauffman, S.A.: The Origins of Order: Self-Organization and Selection of Evolution. Oxford University Press, Oxford (1993)"},{"key":"3_CR17","unstructured":"Socolar, J.E.S., Kauffman, S.A.: Scaling in ordered and critical random Boolean networks, http:\/\/arXiv.org\/abs\/cond-mat\/0212306"},{"key":"3_CR18","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1016\/S0167-2789(97)00242-X","volume":"115","author":"U. Bastola","year":"1998","unstructured":"Bastola, U., Parisi, G.: The modular structure of Kauffman networks. Phys. D\u00a0115, 219 (1998)","journal-title":"Phys. D"},{"key":"3_CR19","unstructured":"Wuensche, A.: The DDlab manual (2000), http:\/\/www.cogs.susx.ac.uk\/users\/andywu\/man_contents.html"},{"key":"3_CR20","doi-asserted-by":"publisher","first-page":"16129","DOI":"10.1103\/PhysRevE.65.016129","volume":"65","author":"S. Bilke","year":"2001","unstructured":"Bilke, S., Sjunnesson, F.: Stability of the Kauffman model. Physical Review E\u00a065, 016129 (2001)","journal-title":"Physical Review E"},{"key":"3_CR21","doi-asserted-by":"crossref","unstructured":"Dubrova, E., Teslenko, M., Martinelli, A.: Kauffman networks: Analysis and applications. In: Proceedings of the IEEE\/ACM International Conference on Computer-Aided Design, pp. 479\u2013484 (November 2005)","DOI":"10.1109\/ICCAD.2005.1560115"},{"key":"3_CR22","first-page":"677","volume":"35","author":"R. Bryant","year":"1986","unstructured":"Bryant, R.: Graph-based algorithms for Boolean function manipulation. Transactions on Computer-Aided Design of Integrated Circuits and Systems\u00a035, 677\u2013691 (1986)","journal-title":"Transactions on Computer-Aided Design of Integrated Circuits and Systems"},{"key":"3_CR23","doi-asserted-by":"publisher","first-page":"955","DOI":"10.1088\/0305-4470\/21\/19\/006","volume":"21","author":"H. Flyvbjerg","year":"1988","unstructured":"Flyvbjerg, H.: An order parameter for networks of automata. J. Phys. A: Math. Gen.\u00a021, L955 (1988)","journal-title":"J. Phys. A: Math. Gen."},{"key":"3_CR24","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1016\/S0167-2789(97)00243-1","volume":"115","author":"U. Bastola","year":"1998","unstructured":"Bastola, U., Parisi, G.: Relevant elements, magnetization and dynamic properties in Kauffman networks: a numerical study. Physica D\u00a0115, 203 (1998)","journal-title":"Physica D"},{"key":"3_CR25","doi-asserted-by":"publisher","first-page":"56116","DOI":"10.1103\/PhysRevE.71.056116","volume":"71","author":"E. Dubrova","year":"2005","unstructured":"Dubrova, E., Teslenko, M.: Compositional properties of Random Boolean Networks. Physical Review E\u00a071, 056116 (2005)","journal-title":"Physical Review E"},{"key":"3_CR26","volume-title":"Logic Synthesis and Verification Algorithms","author":"G.D. Hachtel","year":"2000","unstructured":"Hachtel, G.D., Somenzi, F.: Logic Synthesis and Verification Algorithms. Kluwer Academic Publishers, Norwell (2000)"},{"key":"3_CR27","first-page":"1","volume-title":"Proceedings of the Fifth Annual IEEE Symposium on Logic in Computer Science","author":"J. Burch","year":"1990","unstructured":"Burch, J., Clarke, E., McMillan, K., Dill, D., Hwang, L.: Symbolic Model Checking: 1020 States and Beyond. In: Proceedings of the Fifth Annual IEEE Symposium on Logic in Computer Science, Washington, D.C, pp. 1\u201333. IEEE Computer Society Press, Los Alamitos (1990)"},{"issue":"4","key":"3_CR28","doi-asserted-by":"publisher","first-page":"401","DOI":"10.1109\/43.275352","volume":"13","author":"J. Burch","year":"1994","unstructured":"Burch, J., Clarke, E., Long, D.E., McMillan, K., Dill, D.: Symbolic Model Checking for sequential circuit verification. Transactions on Computer-Aided Design of Integrated Circuits and Systems\u00a013(4), 401\u2013442 (1994)","journal-title":"Transactions on Computer-Aided Design of Integrated Circuits and Systems"},{"key":"3_CR29","doi-asserted-by":"crossref","unstructured":"Bjesse, P.: DAG-aware circuit compression for formal verification. In: Proceedings of the IEEE\/ACM International Conference on Computer-Aided Design, pp. 42\u201349 (November 2004)","DOI":"10.1109\/ICCAD.2004.1382541"},{"key":"3_CR30","doi-asserted-by":"crossref","unstructured":"Reddy, S.M., Kunz, W., Pradhan, D.K.: Novel verification framework combining structural and OBDD methods in a synthesis environment. In: Proceedings of the 32th ACM\/IEEE Design Automation Conference, San Francisco, pp. 414\u2013419 (June 1995)","DOI":"10.1145\/217474.328705"},{"key":"3_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1007\/10722167_13","volume-title":"Computer Aided Verification","author":"P.F. Williams","year":"2000","unstructured":"Williams, P.F., Biere, A., Clarke, E.M., Gupta, A.: Combining decision diagrams and SAT procedures for efficient symbolic model checking. In: Emerson, E.A., Sistla, A.P. (eds.) CAV 2000. LNCS, vol.\u00a01855, pp. 125\u2013138. Springer, Heidelberg (2000)"},{"key":"3_CR32","unstructured":"van Eijk, C.A.J., Jess, J.A.G.: Detection of equivalent state variables in finite state machine verification. In: 1995 ACM\/IEEE International Workshop on Logic Synthesis, Tahoe City, CA, pp. 3-35\u20133-44 (May 1995)"},{"key":"3_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"299","DOI":"10.1007\/3-540-58179-0_63","volume-title":"Computer Aided Verification","author":"D. Geist","year":"1994","unstructured":"Geist, D., Beer, I.: Efficient model checking by automated ordering of transition relation partitions. In: Dill, D.L. (ed.) CAV 1994. LNCS, vol.\u00a0818, pp. 299\u2013310. Springer, Heidelberg (1994)"},{"key":"3_CR34","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1016\/S0002-9440(10)64346-5","volume":"160","author":"A.Y. Liu","year":"2002","unstructured":"Liu, A.Y., True, L.D.: Characterization of prostate cell types by cd cell surface molecules. The American Journal of Pathology\u00a0160, 37\u201343 (2002)","journal-title":"The American Journal of Pathology"},{"key":"3_CR35","unstructured":"Birnbaum, K.D., Shasha, D.E., Wang, J.Y., Jung, J.W., Lambert, G.M., Galbraith, D.W., Benfey, P.N.: A global view of cellular identity in the Arabidopsis root. In: Proceedings of the International Conference on Arabidopsis Research, Berlin, Germany (July 2004)"},{"key":"3_CR36","doi-asserted-by":"publisher","first-page":"3262","DOI":"10.1103\/PhysRevE.55.3262","volume":"55","author":"J.A. Sales De","year":"1997","unstructured":"De Sales, J.A., Martins, M.L., Stariolo, D.A.: Cellular automata model for gene networks. Physical Review E\u00a055, 3262\u20133270 (1997)","journal-title":"Physical Review E"},{"key":"3_CR37","doi-asserted-by":"publisher","first-page":"268","DOI":"10.1038\/35065725","volume":"410","author":"S.H. Strogatz","year":"2001","unstructured":"Strogatz, S.H.: Exploring complex networks. Nature\u00a0410, 268\u2013276 (2001)","journal-title":"Nature"}],"container-title":["Lecture Notes in Computer Science","Transactions on Computational Systems Biology X"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-92273-5_3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,7]],"date-time":"2024-03-07T10:53:59Z","timestamp":1709808839000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-92273-5_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540922728","9783540922735"],"references-count":37,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-92273-5_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}