{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,19]],"date-time":"2025-11-19T14:51:12Z","timestamp":1763563872770},"publisher-location":"Cham","reference-count":11,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319115191"},{"type":"electronic","value":"9783319115207"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-11520-7_59","type":"book-chapter","created":{"date-parts":[[2014,9,12]],"date-time":"2014-09-12T05:05:05Z","timestamp":1410498305000},"page":"561-570","source":"Crossref","is-referenced-by-count":24,"title":["Computing Symbolic Steady States of Boolean Networks"],"prefix":"10.1007","author":[{"given":"Hannes","family":"Klarner","sequence":"first","affiliation":[]},{"given":"Alexander","family":"Bockmayr","sequence":"additional","affiliation":[]},{"given":"Heike","family":"Siebert","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"59_CR1","doi-asserted-by":"crossref","unstructured":"Wang, R.-S., Saadatpour, A., Albert, R.: Boolean modeling in systems biology: an overview of methodology and applications. Physical Biology\u00a09(5), 055001 (2012)","DOI":"10.1088\/1478-3975\/9\/5\/055001"},{"issue":"5","key":"59_CR2","doi-asserted-by":"publisher","first-page":"1393","DOI":"10.1109\/TCBB.2010.20","volume":"8","author":"E. Dubrova","year":"2011","unstructured":"Dubrova, E., Teslenko, M.: A SAT-based algorithm for finding attractors in synchronous boolean networks. IEEE\/ACM Transactions on Computational Biology and Bioinformatics (TCBB)\u00a08(5), 1393\u20131399 (2011)","journal-title":"IEEE\/ACM Transactions on Computational Biology and Bioinformatics (TCBB)"},{"key":"59_CR3","doi-asserted-by":"publisher","first-page":"873","DOI":"10.1007\/s11538-010-9609-1","volume":"73","author":"H. Siebert","year":"2011","unstructured":"Siebert, H.: Analysis of discrete bioregulatory networks using symbolic steady states. Bulletin of Mathematical Biology\u00a073, 873\u2013898 (2011)","journal-title":"Bulletin of Mathematical Biology"},{"key":"59_CR4","doi-asserted-by":"crossref","unstructured":"Crama, Y., Hammer, P.L.: Boolean functions: theory, algorithms, and applications, vol.\u00a0142. Cambridge University Press (2011)","DOI":"10.1017\/CBO9780511852008"},{"key":"59_CR5","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1016\/0304-3975(85)90171-9","volume":"40","author":"F. Fogelman-Soulie","year":"1985","unstructured":"Fogelman-Soulie, F.: Parallel and sequential computation on boolean networks. Theoretical Computer Science\u00a040, 275\u2013300 (1985)","journal-title":"Theoretical Computer Science"},{"key":"59_CR6","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780195079517.001.0001","volume-title":"The origins of order: Self organization and selection in evolution","author":"S.A. Kauffman","year":"1993","unstructured":"Kauffman, S.A.: The origins of order: Self organization and selection in evolution. Oxford University Press, USA (1993)"},{"issue":"12","key":"59_CR7","doi-asserted-by":"publisher","first-page":"2960","DOI":"10.1587\/transinf.E95.D.2960","volume":"95","author":"T. Akutsu","year":"2012","unstructured":"Akutsu, T., Yang, Z., Hayashida, M., Tamura, T.: Integer programming-based approach to attractor detection and control of boolean networks. IEICE Transactions on Information and Systems\u00a095(12), 2960\u20132970 (2012)","journal-title":"IEICE Transactions on Information and Systems"},{"key":"59_CR8","unstructured":"Dick, R.: Quine-McCluskey two-level logic minimization method (2008), http:\/\/pypi.python.org\/pypi\/qm\/0.2 (accessed in April 2014)"},{"key":"59_CR9","unstructured":"Gurobi\u00a0Optimization, Inc.: Gurobi optimizer reference manual (2014)"},{"key":"59_CR10","doi-asserted-by":"crossref","unstructured":"Grieco, L., Calzone, L., Bernard-Pierrot, I., Radvanyi, F., Kahn-Perl\u00e8s, B., Thieffry, D.: Integrative modelling of the influence of mapk network on cancer cell fate decision. PLoS Computational Biology\u00a09(10), e1003286 (2013)","DOI":"10.1371\/journal.pcbi.1003286"},{"key":"59_CR11","doi-asserted-by":"crossref","unstructured":"Gershenson, C.: Updating schemes in random boolean networks: Do they really matter. In: Artificial Life IX Proceedings of the Ninth International Conference on the Simulation and Synthesis of Living Systems, pp. 238\u2013243. MIT Press (2004)","DOI":"10.7551\/mitpress\/1429.003.0040"}],"container-title":["Lecture Notes in Computer Science","Cellular Automata"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-11520-7_59","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,2]],"date-time":"2024-06-02T12:24:23Z","timestamp":1717331063000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-11520-7_59"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319115191","9783319115207"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-11520-7_59","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}