{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T06:09:44Z","timestamp":1743142184653,"version":"3.40.3"},"publisher-location":"Cham","reference-count":51,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030856328"},{"type":"electronic","value":"9783030856335"}],"license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021]]},"DOI":"10.1007\/978-3-030-85633-5_1","type":"book-chapter","created":{"date-parts":[[2021,9,12]],"date-time":"2021-09-12T23:04:33Z","timestamp":1631487873000},"page":"1-18","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Reducing Boolean Networks with\u00a0Backward Boolean Equivalence"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-3203-0410","authenticated-orcid":false,"given":"Georgios","family":"Argyris","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7405-0818","authenticated-orcid":false,"given":"Alberto","family":"Lluch Lafuente","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6018-5989","authenticated-orcid":false,"given":"Mirco","family":"Tribastone","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6186-8669","authenticated-orcid":false,"given":"Max","family":"Tschaikowski","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2606-7241","authenticated-orcid":false,"given":"Andrea","family":"Vandin","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2021,9,13]]},"reference":[{"key":"1_CR1","unstructured":"Argyris, G., Lafuente, A.L., Tribastone, M., Tschaikowski, M., Vandin, A.: Reducing boolean networks with backward boolean equivalence - extended version (2021). https:\/\/arxiv.org\/abs\/2106.15476"},{"issue":"2","key":"1_CR2","doi-asserted-by":"publisher","first-page":"025114","DOI":"10.1063\/1.4809783","volume":"23","author":"D B\u00e9renguier","year":"2013","unstructured":"B\u00e9renguier, D., Chaouiya, C., Monteiro, P.T., Naldi, A., Remy, E., Thieffry, D., Tichit, L.: Dynamical modeling and analysis of large cellular regulatory networks. Chaos. Interdisc. J. Nonlinear Sci. 23(2), 025114 (2013)","journal-title":"Chaos. Interdisc. J. Nonlinear Sci."},{"key":"1_CR3","unstructured":"Biere, A., Biere, A., Heule, M., van Maaren, H., Walsh, T.: Handbook of Satisfiability: Volume 185 Frontiers in Artificial Intelligence and Applications. IOS Press, NLD (2009)"},{"issue":"1","key":"1_CR4","doi-asserted-by":"publisher","first-page":"016129","DOI":"10.1103\/PhysRevE.65.016129","volume":"65","author":"S Bilke","year":"2001","unstructured":"Bilke, S., Sjunnesson, F.: Stability of the Kauffman model. Phys. Rev. E 65(1), 016129 (2001)","journal-title":"Phys. Rev. E"},{"key":"1_CR5","doi-asserted-by":"publisher","unstructured":"Cardelli, L., Perez-Verona, I.C., Tribastone, M., Tschaikowski, M., Vandin, A., Waizmann, T.: Exact maximal reduction of stochastic reaction networks by species lumping. Bioinformatics (2021). https:\/\/doi.org\/10.1093\/bioinformatics\/btab081","DOI":"10.1093\/bioinformatics\/btab081"},{"key":"1_CR6","doi-asserted-by":"publisher","unstructured":"Cardelli, L., Tribastone, M., Tschaikowski, M., Vandin, A.: Forward and backward bisimulations for chemical reaction networks. In: 26th International Conference on Concurrency Theory, CONCUR 2015, Madrid, Spain, 1\u20134 September 2015, pp. 226\u2013239 (2015). https:\/\/doi.org\/10.4230\/LIPIcs.CONCUR.2015.226","DOI":"10.4230\/LIPIcs.CONCUR.2015.226"},{"key":"1_CR7","doi-asserted-by":"publisher","unstructured":"Cardelli, L., Tribastone, M., Tschaikowski, M., Vandin, A.: Comparing chemical reaction networks: a categorical and algorithmic perspective. In: Proceedings of the 31st Annual ACM\/IEEE Symposium on Logic in Computer Science, LICS 2016, New York, NY, USA, 5\u20138 July 2016, pp. 485\u2013494 (2016). https:\/\/doi.org\/10.1145\/2933575.2935318","DOI":"10.1145\/2933575.2935318"},{"key":"1_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1007\/978-3-662-49674-9_6","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"L Cardelli","year":"2016","unstructured":"Cardelli, L., Tribastone, M., Tschaikowski, M., Vandin, A.: Efficient syntax-driven lumping of differential equations. In: Chechik, M., Raskin, J.-F. (eds.) TACAS 2016. LNCS, vol. 9636, pp. 93\u2013111. Springer, Heidelberg (2016). https:\/\/doi.org\/10.1007\/978-3-662-49674-9_6"},{"key":"1_CR9","doi-asserted-by":"publisher","unstructured":"Cardelli, L., Tribastone, M., Tschaikowski, M., Vandin, A.: Symbolic computation of differential equivalences. In: Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2016, St. Petersburg, FL, USA, 20\u201322 January 2016, pp. 137\u2013150 (2016). https:\/\/doi.org\/10.1145\/2837614.2837649","DOI":"10.1145\/2837614.2837649"},{"key":"1_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"310","DOI":"10.1007\/978-3-662-54580-5_19","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"L Cardelli","year":"2017","unstructured":"Cardelli, L., Tribastone, M., Tschaikowski, M., Vandin, A.: ERODE: a tool for the evaluation and reduction of ordinary differential equations. In: Legay, A., Margaria, T. (eds.) TACAS 2017. LNCS, vol. 10206, pp. 310\u2013328. Springer, Heidelberg (2017). https:\/\/doi.org\/10.1007\/978-3-662-54580-5_19"},{"issue":"38","key":"1_CR11","doi-asserted-by":"publisher","first-page":"10029","DOI":"10.1073\/pnas.1702697114","volume":"114","author":"L Cardelli","year":"2017","unstructured":"Cardelli, L., Tribastone, M., Tschaikowski, M., Vandin, A.: Maximal aggregation of polynomial dynamical systems. Proc. Nat. Acad. Sci. 114(38), 10029\u201310034 (2017)","journal-title":"Proc. Nat. Acad. Sci."},{"key":"1_CR12","doi-asserted-by":"publisher","unstructured":"Cardelli, L., Tribastone, M., Tschaikowski, M., Vandin, A.: Comparing chemical reaction networks: a categorical and algorithmic perspective. Theor. Comput. Sci. 765, 47\u201366 (2019). https:\/\/doi.org\/10.1016\/j.tcs.2017.12.018","DOI":"10.1016\/j.tcs.2017.12.018"},{"key":"1_CR13","doi-asserted-by":"publisher","unstructured":"Cardelli, L., Tribastone, M., Tschaikowski, M., Vandin, A.: Symbolic computation of differential equivalences. Theor. Comput. Sci. 777, 132\u2013154 (2019). https:\/\/doi.org\/10.1016\/j.tcs.2019.03.018","DOI":"10.1016\/j.tcs.2019.03.018"},{"issue":"1","key":"1_CR14","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1186\/1752-0509-7-135","volume":"7","author":"C Chaouiya","year":"2013","unstructured":"Chaouiya, C., et al.: SBML qualitative models: a model representation format and infrastructure to foster interactions between qualitative modelling formalisms and tools. BMC Syst. Biol. 7(1), 1\u201315 (2013)","journal-title":"BMC Syst. Biol."},{"key":"1_CR15","doi-asserted-by":"publisher","unstructured":"Chaouiya, C., Naldi, A., Thieffry, D.: Logical modelling of gene regulatory networks with ginsim. In: van Helden, J., Toussaint, A., Thieffry, D. (eds.) Bacterial Molecular Networks, pp. 463\u2013479. Springer, New York (2012). https:\/\/doi.org\/10.1007\/978-1-61779-361-5_23","DOI":"10.1007\/978-1-61779-361-5_23"},{"issue":"2","key":"1_CR16","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1016\/j.jda.2007.06.003","volume":"6","author":"C Chaouiya","year":"2008","unstructured":"Chaouiya, C., Remy, E., Thieffry, D.: Petri net modelling of biological regulatory networks. J. Discrete Algorithms 6(2), 165\u2013177 (2008)","journal-title":"J. Discrete Algorithms"},{"key":"1_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/978-3-540-78800-3_24","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"L de Moura","year":"2008","unstructured":"de Moura, L., Bj\u00f8rner, N.: Z3: an efficient SMT solver. In: Ramakrishnan, C.R., Rehof, J. (eds.) TACAS 2008. LNCS, vol. 4963, pp. 337\u2013340. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-78800-3_24"},{"key":"1_CR18","doi-asserted-by":"publisher","first-page":"104205","DOI":"10.1016\/j.biosystems.2020.104205","volume":"197","author":"F Delaplace","year":"2020","unstructured":"Delaplace, F., Ivanov, S.: Bisimilar booleanization of multivalued networks. BioSystems 197, 104205 (2020)","journal-title":"BioSystems"},{"issue":"1","key":"1_CR19","doi-asserted-by":"publisher","first-page":"462","DOI":"10.1186\/1471-2105-8-462","volume":"8","author":"A Di Cara","year":"2007","unstructured":"Di Cara, A., Garg, A., De Micheli, G., Xenarios, I., Mendoza, L.: Dynamic simulation of regulatory networks using squad. BMC Bioinformatics 8(1), 462 (2007)","journal-title":"BMC Bioinformatics"},{"key":"1_CR20","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1002\/9783527626359.ch3","volume":"1","author":"B Drossel","year":"2008","unstructured":"Drossel, B.: Random boolean networks. Rev. Nonlinear Dyn. Complex. 1, 69\u2013110 (2008)","journal-title":"Rev. Nonlinear Dyn. Complex."},{"issue":"5","key":"1_CR21","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 Trans. Comput. Biol. Bioinf. 8(5), 1393\u20131399 (2011)","journal-title":"IEEE\/ACM Trans. Comput. Biol. Bioinf."},{"key":"1_CR22","doi-asserted-by":"publisher","first-page":"1787","DOI":"10.1039\/b910101m","volume":"5","author":"A Faur\u00e9","year":"2009","unstructured":"Faur\u00e9, A., Naldi, A., Lopez, F., Chaouiya, C., Ciliberto, A., Thieffry, D.: Modular logical modelling of the budding yeast cell cycle. Mol. BioSyst. 5, 1787\u201396 (2009)","journal-title":"Mol. BioSyst."},{"key":"1_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/978-3-319-38827-4_2","volume-title":"Algorithms for Computational Biology","author":"D Figueiredo","year":"2016","unstructured":"Figueiredo, D.: Relating bisimulations with attractors in boolean network models. In: Bot\u00f3n-Fern\u00e1ndez, M., Mart\u00edn-Vide, C., Santander-Jim\u00e9nez, S., Vega-Rodr\u00edguez, M.A. (eds.) AlCoB 2016. LNCS, vol. 9702, pp. 17\u201325. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-38827-4_2"},{"key":"1_CR24","doi-asserted-by":"publisher","unstructured":"Garg, A., Di\u00a0Cara, A., Xenarios, I., Mendoza, L., De\u00a0Micheli, G.: Synchronous versus asynchronous modeling of gene regulatory networks. Bioinformatics 24(17), 1917\u20131925 (2008). https:\/\/doi.org\/10.1093\/bioinformatics\/btn336","DOI":"10.1093\/bioinformatics\/btn336"},{"key":"1_CR25","doi-asserted-by":"publisher","unstructured":"Giacomantonio, C.E., Goodhill, G.J.: A boolean model of the gene regulatory network underlying mammalian cortical area development. PLOS Comput. Biol. 6(9), 1\u201313 (2010). https:\/\/doi.org\/10.1371\/journal.pcbi.1000936","DOI":"10.1371\/journal.pcbi.1000936"},{"issue":"10","key":"1_CR26","doi-asserted-by":"publisher","first-page":"e1003286","DOI":"10.1371\/journal.pcbi.1003286","volume":"9","author":"L Grieco","year":"2013","unstructured":"Grieco, L., Calzone, L., Bernard-Pierrot, I., Radvanyi, F., Kahn-Perles, B., Thieffry, D.: Integrative modelling of the influence of MAPK network on cancer cell fate decision. PLoS Comput. Biol. 9(10), e1003286 (2013)","journal-title":"PLoS Comput. Biol."},{"issue":"1","key":"1_CR27","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/s00180-012-0324-2","volume":"28","author":"M Hopfensitz","year":"2013","unstructured":"Hopfensitz, M., M\u00fcssel, C., Maucher, M., Kestler, H.A.: Attractors in boolean networks: a tutorial. Comput. Stat. 28(1), 19\u201336 (2013)","journal-title":"Comput. Stat."},{"issue":"3","key":"1_CR28","doi-asserted-by":"publisher","first-page":"437","DOI":"10.1016\/0022-5193(69)90015-0","volume":"22","author":"S Kauffman","year":"1969","unstructured":"Kauffman, S.: Metabolic stability and epigenesis in randomly constructed genetic nets. J. Theor. Biol. 22(3), 437\u2013467 (1969)","journal-title":"J. Theor. Biol."},{"issue":"5","key":"1_CR29","doi-asserted-by":"publisher","first-page":"e1000385","DOI":"10.1371\/journal.pcbi.1000385","volume":"5","author":"S Klamt","year":"2009","unstructured":"Klamt, S., Haus, U.U., Theis, F.: Hypergraphs and cellular networks. PLoS Comput. Biol. 5(5), e1000385 (2009)","journal-title":"PLoS Comput. Biol."},{"issue":"5","key":"1_CR30","doi-asserted-by":"crossref","first-page":"770","DOI":"10.1093\/bioinformatics\/btw682","volume":"33","author":"H Klarner","year":"2017","unstructured":"Klarner, H., Streck, A., Siebert, H.: PyBoolNet: a Python package for the generation, analysis and visualization of boolean networks. Bioinformatics 33(5), 770\u2013772 (2017)","journal-title":"Bioinformatics"},{"issue":"2","key":"1_CR31","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1016\/j.biosystems.2009.04.008","volume":"97","author":"A Naldi","year":"2009","unstructured":"Naldi, A., Berenguier, D., Faur\u00e9, A., Lopez, F., Thieffry, D., Chaouiya, C.: Logical modelling of regulatory networks with GINsim 2.3. Biosystems 97(2), 134\u2013139 (2009)","journal-title":"Biosystems"},{"key":"1_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"288","DOI":"10.1007\/978-3-642-33636-2_17","volume-title":"Computational Methods in Systems Biology","author":"A Naldi","year":"2012","unstructured":"Naldi, A., Monteiro, P.T., Chaouiya, C.: Efficient handling of large signalling-regulatory networks by focusing on their core control. In: Gilbert, D., Heiner, M. (eds.) CMSB 2012. LNCS, pp. 288\u2013306. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-33636-2_17"},{"issue":"7","key":"1_CR33","doi-asserted-by":"publisher","first-page":"1154","DOI":"10.1093\/bioinformatics\/btv013","volume":"31","author":"A Naldi","year":"2015","unstructured":"Naldi, A., et al.: Cooperative development of logical modelling standards and tools with colomoto. Bioinformatics 31(7), 1154\u20131159 (2015)","journal-title":"Bioinformatics"},{"issue":"21","key":"1_CR34","doi-asserted-by":"publisher","first-page":"2207","DOI":"10.1016\/j.tcs.2010.10.021","volume":"412","author":"A Naldi","year":"2011","unstructured":"Naldi, A., Remy, E., Thieffry, D., Chaouiya, C.: Dynamically consistent reduction of logical regulatory graphs. Theor. Comput. Sci. 412(21), 2207\u20132218 (2011)","journal-title":"Theor. Comput. Sci."},{"key":"1_CR35","doi-asserted-by":"publisher","unstructured":"Naldi, A., et al.: The colomoto interactive notebook: accessible and reproducible computational analyses for qualitative biological networks. Front. Physiol. 9, 680 (2018) https:\/\/doi.org\/10.3389\/fphys.2018.00680","DOI":"10.3389\/fphys.2018.00680"},{"issue":"6","key":"1_CR36","doi-asserted-by":"publisher","first-page":"973","DOI":"10.1137\/0216062","volume":"16","author":"R Paige","year":"1987","unstructured":"Paige, R., Tarjan, R.E.: Three partition refinement algorithms. SIAM J. Comput. 16(6), 973\u2013989 (1987)","journal-title":"SIAM J. Comput."},{"key":"1_CR37","doi-asserted-by":"publisher","unstructured":"P\u00e9rez-Verona, I.C., Tribastone, M., Vandin, A.: A large-scale assessment of exact model reduction in the biomodels repository. In: Computational Methods in Systems Biology - 17th International Conference, CMSB 2019, Trieste, Italy, 18\u201320 September 2019, Proceedings, pp. 248\u2013265 (2019). https:\/\/doi.org\/10.1007\/978-3-030-31304-3_13","DOI":"10.1007\/978-3-030-31304-3_13"},{"key":"1_CR38","doi-asserted-by":"publisher","unstructured":"Perez-Verona, I.C., Tribastone, M., Vandin, A.: A large-scale assessment of exact lumping of quantitative models in the biomodels repository. Theor. Comput. Sci. (2021). https:\/\/doi.org\/10.1016\/j.tcs.2021.06.026. https:\/\/www.sciencedirect.com\/science\/article\/pii\/S0304397521003716","DOI":"10.1016\/j.tcs.2021.06.026"},{"issue":"04","key":"1_CR39","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1142\/S0219525905000518","volume":"8","author":"KA Richardson","year":"2005","unstructured":"Richardson, K.A.: Simplifying boolean networks. Adv. Complex Syst. 8(04), 365\u2013381 (2005)","journal-title":"Adv. Complex Syst."},{"key":"1_CR40","doi-asserted-by":"crossref","unstructured":"Rodr\u00edguez-Jorge, O., et al.: Cooperation between T cell receptor and toll-like receptor 5 signaling for CD4+ T cell activation. Sci. Signal. 12(577), eaar3641 (2019)","DOI":"10.1126\/scisignal.aar3641"},{"issue":"4","key":"1_CR41","doi-asserted-by":"publisher","first-page":"1997","DOI":"10.1137\/13090537X","volume":"12","author":"A Saadatpour","year":"2013","unstructured":"Saadatpour, A., Albert, R., Reluga, T.C.: A reduction method for boolean network models proven to conserve attractors. SIAM J. Appl. Dyna. Syst. 12(4), 1997\u20132011 (2013)","journal-title":"SIAM J. Appl. Dyna. Syst."},{"key":"1_CR42","doi-asserted-by":"publisher","unstructured":"Schwab, J.D., K\u00fchlwein, S.D., Ikonomi, N., K\u00fchl, M., Kestler, H.A.: Concepts in boolean network modeling: what do they all mean? Comput. Struct. Biotechnol. J. 18, 571\u2013582 (2020). https:\/\/doi.org\/10.1016\/j.csbj.2020.03.001. http:\/\/www.sciencedirect.com\/science\/article\/pii\/S200103701930460X","DOI":"10.1016\/j.csbj.2020.03.001"},{"issue":"2","key":"1_CR43","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1093\/bioinformatics\/18.2.261","volume":"18","author":"I Shmulevich","year":"2002","unstructured":"Shmulevich, I., Dougherty, E.R., Kim, S., Zhang, W.: Probabilistic boolean networks: a rule-based uncertainty model for gene regulatory networks. Bioinformatics 18(2), 261\u2013274 (2002)","journal-title":"Bioinformatics"},{"issue":"3","key":"1_CR44","doi-asserted-by":"publisher","first-page":"336","DOI":"10.1093\/bioinformatics\/btl596","volume":"23","author":"LJ Steggles","year":"2007","unstructured":"Steggles, L.J., Banks, R., Shaw, O., Wipat, A.: Qualitatively modelling and analysing genetic regulatory networks: a petri net approach. Bioinformatics 23(3), 336\u2013343 (2007)","journal-title":"Bioinformatics"},{"key":"1_CR45","unstructured":"Su, C., Pang, J.: Sequential control of boolean networks with temporary and permanent perturbations. arXiv preprint arXiv:2004.07184 (2020)"},{"issue":"1","key":"1_CR46","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0022-5193(05)80350-9","volume":"153","author":"R Thomas","year":"1991","unstructured":"Thomas, R.: Regulatory networks seen as asynchronous automata: a logical description. J. Theor. Biol. 153(1), 1\u201323 (1991)","journal-title":"J. Theor. Biol."},{"key":"1_CR47","doi-asserted-by":"publisher","unstructured":"Thomas, R.: Kinetic logic: a Boolean approach to the analysis of complex regulatory systems. In: Proceedings of the EMBO Course \u201cFormal Analysis of Genetic Regulation\u201d, held in Brussels, 6\u201316 September 1977, vol. 29. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-49321-8","DOI":"10.1007\/978-3-642-49321-8"},{"key":"1_CR48","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1016\/j.jtbi.2011.08.042","volume":"289","author":"A Veliz-Cuba","year":"2011","unstructured":"Veliz-Cuba, A.: Reduction of boolean network models. J. Theor. Biol. 289, 167\u2013172 (2011)","journal-title":"J. Theor. Biol."},{"issue":"1","key":"1_CR49","doi-asserted-by":"publisher","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). https:\/\/doi.org\/10.1186\/1752-0509-3-98","journal-title":"BMC Syst. Biol."},{"key":"1_CR50","doi-asserted-by":"publisher","unstructured":"Za\u00f1udo, J.G.T., Albert, R.: An effective network reduction approach to find the dynamical repertoire of discrete dynamic networks. Chaos Interdiscip. J. Nonlinear Sci. 23(2), 025111 (2013). https:\/\/doi.org\/10.1063\/1.4809777","DOI":"10.1063\/1.4809777"},{"issue":"42","key":"1_CR51","doi-asserted-by":"publisher","first-page":"16308","DOI":"10.1073\/pnas.0806447105","volume":"105","author":"R Zhang","year":"2008","unstructured":"Zhang, R., et al.: Network model of survival signaling in large granular lymphocyte leukemia. Proc. Nat. Acad. Sci. 105(42), 16308\u201316313 (2008)","journal-title":"Proc. Nat. Acad. Sci."}],"container-title":["Lecture Notes in Computer Science","Computational Methods in Systems Biology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-85633-5_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,11,8]],"date-time":"2023-11-08T18:05:43Z","timestamp":1699466743000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-85633-5_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9783030856328","9783030856335"],"references-count":51,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-85633-5_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2021]]},"assertion":[{"value":"13 September 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"CMSB","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Computational Methods in Systems Biology","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Bordeaux","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"France","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2021","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22 September 2021","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"24 September 2021","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"cmsb2021","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/cmsb2021.labri.fr\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}