{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,19]],"date-time":"2025-11-19T14:52:54Z","timestamp":1763563974056,"version":"3.37.3"},"publisher-location":"Cham","reference-count":15,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319674704"},{"type":"electronic","value":"9783319674711"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-67471-1_14","type":"book-chapter","created":{"date-parts":[[2017,8,31]],"date-time":"2017-08-31T19:05:14Z","timestamp":1504206314000},"page":"233-248","source":"Crossref","is-referenced-by-count":4,"title":["Graph Representations of Monotonic Boolean Model Pools"],"prefix":"10.1007","author":[{"given":"Robert","family":"Schwieger","sequence":"first","affiliation":[]},{"given":"Heike","family":"Siebert","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,9,1]]},"reference":[{"key":"14_CR1","doi-asserted-by":"crossref","first-page":"70","DOI":"10.1016\/j.biosystems.2016.09.001","volume":"149","author":"W Abou-Jaoud\u00e9","year":"2016","unstructured":"Abou-Jaoud\u00e9, W., Thieffry, D., Feret, J.: Formal derivation of qualitative dynamical models from biochemical networks. Biosystems 149, 70\u2013112 (2016)","journal-title":"Biosystems"},{"issue":"2","key":"14_CR2","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1016\/j.bulm.2003.08.010","volume":"66","author":"H Jong De","year":"2004","unstructured":"De Jong, H., Gouz\u00e9, J.-L., Hernandez, C., Page, M., Sari, T., Geiselmann, J.: Qualitative simulation of genetic regulatory networks using piecewise-linear models. Bull. Math. Biol. 66(2), 301\u2013340 (2004)","journal-title":"Bull. Math. Biol."},{"key":"14_CR3","unstructured":"De Jong, H., Page, M., Hernandez, C., Geiselmann, J.: Qualitative simulation of genetic regulatory networks: method and application. In: IJCAI, pp. 67\u201373 (2001)"},{"key":"14_CR4","unstructured":"Eisenack, K.: Model ensembles for natural resource management: extensions of qualitative differential equations using graph theory and viability theory. Unpublished doctoral thesis, Free University Berlin, Germany (2006). Accessed 3 Feb 2008"},{"key":"14_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"355","DOI":"10.1007\/978-3-642-35873-9_22","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"M John","year":"2013","unstructured":"John, M., Nebut, M., Niehren, J.: Knockout prediction for reaction networks with partial kinetic information. In: Giacobazzi, R., Berdine, J., Mastroeni, I. (eds.) VMCAI 2013. LNCS, vol. 7737, pp. 355\u2013374. Springer, Heidelberg (2013). doi: 10.1007\/978-3-642-35873-9_22"},{"key":"14_CR6","unstructured":"Kein\u00e4nen, M.: Techniques for solving Boolean equation systems. Ph.D. thesis, Helsinki University of Technology (2006)"},{"key":"14_CR7","doi-asserted-by":"crossref","first-page":"770","DOI":"10.1093\/bioinformatics\/btw682","volume":"33","author":"H Klarner","year":"2016","unstructured":"Klarner, H., Streck, A., Siebert, H.: PyBoolNet-a python package for the generation, analysis and visualisation of boolean networks. Bioinformatics 33, 770\u2013772 (2016)","journal-title":"Bioinformatics"},{"key":"14_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"182","DOI":"10.1007\/978-3-319-44365-2_18","volume-title":"Cellular Automata","author":"T Melliti","year":"2016","unstructured":"Melliti, T., Regnault, D., Richard, A., Sen\u00e9, S.: Asynchronous simulation of boolean networks by monotone boolean networks. In: El Yacoubi, S., W\u0105s, J., Bandini, S. (eds.) ACRI 2016. LNCS, vol. 9863, pp. 182\u2013191. Springer, Cham (2016). doi: 10.1007\/978-3-319-44365-2_18"},{"issue":"3","key":"14_CR9","doi-asserted-by":"crossref","first-page":"335","DOI":"10.1016\/j.aam.2007.11.003","volume":"41","author":"\u00c9 Remy","year":"2008","unstructured":"Remy, \u00c9., Ruet, P., Thieffry, D.: Graphic requirements for multistability and attractive cycles in a boolean dynamical framework. Adv. Appl. Math. 41(3), 335\u2013350 (2008)","journal-title":"Adv. Appl. Math."},{"key":"14_CR10","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1016\/j.biosystems.2016.05.004","volume":"149","author":"A Streck","year":"2016","unstructured":"Streck, A., Thobe, K., Siebert, H.: Data-driven optimizations for model checking of multi-valued regulatory networks. Biosystems 149, 125\u2013138 (2016)","journal-title":"Biosystems"},{"key":"14_CR11","doi-asserted-by":"crossref","first-page":"180","DOI":"10.1007\/978-3-642-81703-8_24","volume-title":"Numerical Methods in the Study of Critical Phenomena","author":"R Thomas","year":"1981","unstructured":"Thomas, R.: On the relation between the logical structure of systems and their ability to generate multiple steady states or sustained oscillations. In: Della, D.J., Demongeot, J., Lacolle, B. (eds.) Numerical Methods in the Study of Critical Phenomena, pp. 180\u2013193. Springer, Heidelberg (1981)"},{"issue":"1","key":"14_CR12","doi-asserted-by":"crossref","first-page":"170","DOI":"10.1063\/1.1350439","volume":"11","author":"R Thomas","year":"2001","unstructured":"Thomas, R., Kaufman, M.: Multistationarity, the basis of cell differentiation and memory. I. Structural conditions of multistationarity and other nontrivial behavior. Chaos 11(1), 170\u2013179 (2001)","journal-title":"Chaos"},{"issue":"1","key":"14_CR13","doi-asserted-by":"crossref","first-page":"180","DOI":"10.1063\/1.1349893","volume":"11","author":"R Thomas","year":"2001","unstructured":"Thomas, R., Kaufman, M.: Multistationarity, the basis of cell differentiation and memory. II. Logical analysis of regulatory networks in terms of feedback circuits. Chaos Interdiscip. J. Nonlinear Sci. 11(1), 180\u2013195 (2001)","journal-title":"Chaos Interdiscip. J. Nonlinear Sci."},{"key":"14_CR14","doi-asserted-by":"crossref","first-page":"947","DOI":"10.1093\/bioinformatics\/btw738","volume":"33","author":"S Videla","year":"2017","unstructured":"Videla, S., Saez-Rodriguez, J., Guziolowski, C., Siegel, A.: caspo: a toolbox for automated reasoning on the response of logical signaling networks families. Bioinformatics 33, 947\u2013950 (2017)","journal-title":"Bioinformatics"},{"issue":"1","key":"14_CR15","doi-asserted-by":"crossref","first-page":"98","DOI":"10.1186\/1752-0509-3-98","volume":"3","author":"DM Wittmann","year":"2009","unstructured":"Wittmann, D.M., Krumsiek, J., Saez-Rodriguez, J., Lauffenburger, D.A., Klamt, S., Theis, F.J.: Transforming boolean models to continuous models: methodology and application to T-cell receptor signaling. BMC Syst. Biol. 3(1), 98 (2009)","journal-title":"BMC Syst. Biol."}],"container-title":["Lecture Notes in Computer Science","Computational Methods in Systems Biology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-67471-1_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,25]],"date-time":"2023-08-25T10:32:16Z","timestamp":1692959536000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-67471-1_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319674704","9783319674711"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-67471-1_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}