{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,11]],"date-time":"2025-09-11T20:38:41Z","timestamp":1757623121260,"version":"3.44.0"},"publisher-location":"Cham","reference-count":29,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783032014351"},{"type":"electronic","value":"9783032014368"}],"license":[{"start":{"date-parts":[[2025,8,19]],"date-time":"2025-08-19T00:00:00Z","timestamp":1755561600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,8,19]],"date-time":"2025-08-19T00:00:00Z","timestamp":1755561600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026]]},"DOI":"10.1007\/978-3-032-01436-8_3","type":"book-chapter","created":{"date-parts":[[2025,8,18]],"date-time":"2025-08-18T03:24:29Z","timestamp":1755487469000},"page":"42-60","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["On Model Reductions of\u00a0Boolean Networks"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-2350-0756","authenticated-orcid":false,"given":"Claudine","family":"Chaouiya","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2601-2785","authenticated-orcid":false,"given":"J\u00e9r\u00f4me","family":"Feret","sequence":"additional","affiliation":[]},{"given":"Patr\u00edcia","family":"Tenera Roxo","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2025,8,19]]},"reference":[{"key":"3_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1007\/978-3-319-23401-4_17","volume-title":"Computational Methods in Systems Biology","author":"W Abou-Jaoud\u00e9","year":"2015","unstructured":"Abou-Jaoud\u00e9, W., Feret, J., Thieffry, D.: Derivation of qualitative dynamical models from biochemical networks. In: Roux, O., Bourdon, J. (eds.) CMSB 2015. LNCS, vol. 9308, pp. 195\u2013207. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-23401-4_17"},{"key":"3_CR2","doi-asserted-by":"publisher","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). https:\/\/doi.org\/10.1016\/j.biosystems.2016.09.001","journal-title":"Biosystems"},{"key":"3_CR3","doi-asserted-by":"publisher","first-page":"94","DOI":"10.3389\/fgene.2016.00094","volume":"7","author":"W Abou-Jaoud\u00e9","year":"2016","unstructured":"Abou-Jaoud\u00e9, W., et al.: Logical modeling and dynamical analysis of cellular networks. Front. Genet. 7, 94 (2016). https:\/\/doi.org\/10.3389\/fgene.2016.00094","journal-title":"Front. Genet."},{"key":"3_CR4","doi-asserted-by":"publisher","unstructured":"Beica, A., Feret, J., Petrov, T.: Tropical abstraction of biochemical reaction networks with guarantees. In: Gupta, A., Petrov, T. (eds.) Proceedings of SASB 2018, the Ninth International Workshop on Static Analysis and Systems Biology, Freiburg, Germany - August 28th, 2018. Electronic Notes in Theoretical Computer Science, vol.\u00a0350, pp. 3\u201332. Elsevier (2020). https:\/\/doi.org\/10.1016\/J.ENTCS.2020.06.002","DOI":"10.1016\/J.ENTCS.2020.06.002"},{"key":"3_CR5","unstructured":"Chaouiya, C., Feret, J., Roxo, P.: On model reductions of Boolean networks (extended version). https:\/\/inria.hal.science\/hal-05115042, https:\/\/inria.hal.science\/hal-05115042"},{"key":"3_CR6","unstructured":"Cousot, P.: The calculational design of a generic abstract interpreter. In: Broy, M., Steinbr\u00fcggen, R. (eds.) Calculational System Design. NATO ASI Series F. IOS Press, Amsterdam (1999)"},{"key":"3_CR7","doi-asserted-by":"crossref","unstructured":"Cousot, P., Cousot, R.: Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: Conference Record of the Fourth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. pp. 238\u2013252. ACM Press, New York, NY, Los Angeles, California (1977)","DOI":"10.1145\/512950.512973"},{"issue":"1","key":"3_CR8","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1016\/J.TCS.2008.04.024","volume":"403","author":"F Fages","year":"2008","unstructured":"Fages, F., Soliman, S.: Abstract interpretation and types for systems biology. Theor. Comput. Sci. 403(1), 52\u201370 (2008). https:\/\/doi.org\/10.1016\/J.TCS.2008.04.024","journal-title":"Theor. Comput. Sci."},{"key":"3_CR9","doi-asserted-by":"publisher","unstructured":"Feret, J.: Model reduction of infinite rule-based models. In: Uhrmacher, A. (ed.) Conference Record of the thirty-ninth Annual ACM SIGSIM International Conference on Principles of Advanced Discrete Simulation. ACM Press, New York (2025). https:\/\/doi.org\/10.1145\/3726301.3728414","DOI":"10.1145\/3726301.3728414"},{"issue":"16","key":"3_CR10","doi-asserted-by":"publisher","first-page":"6453","DOI":"10.1073\/pnas.0809908106","volume":"106","author":"J Feret","year":"2009","unstructured":"Feret, J., Danos, V., Krivine, J., Harmer, R., Fontana, W.: Internal coarse-graining of molecular systems. Proc. Natl. Acad. Sci. 106(16), 6453\u20136458 (2009). https:\/\/doi.org\/10.1073\/pnas.0809908106","journal-title":"Proc. Natl. Acad. Sci."},{"key":"3_CR11","unstructured":"Feret, J., Koeppl, H., Petrov, T.: Stochastic fragments: a framework for the exact reduction of the stochastic semantics of rule-based models. Int. J. Softw. Inform. 7(4), 527\u2013604 (2013). http:\/\/www.ijsi.org\/ch\/reader\/view_abstract.aspx?file_no=i173"},{"key":"3_CR12","doi-asserted-by":"publisher","unstructured":"Feret, J., Salazar, A.: A generic framework to coarse-grain stochastic reaction networks by abstract interpretation. In: Dragoi, C., Emmi, M., Wang, J. (eds.) Verification, Model Checking, and Abstract Interpretation - 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023, Proceedings. LNCS, vol. 13881, pp. 228\u2013251. Springer (2023). https:\/\/doi.org\/10.1007\/978-3-031-24950-1_11","DOI":"10.1007\/978-3-031-24950-1_11"},{"key":"3_CR13","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1016\/J.TCS.2015.08.040","volume":"608","author":"M Folschette","year":"2015","unstructured":"Folschette, M., Paulev\u00e9, L., Magnin, M., Roux, O.F.: Sufficient conditions for reachability in automata networks with priorities. Theor. Comput. Sci. 608, 66\u201383 (2015). https:\/\/doi.org\/10.1016\/J.TCS.2015.08.040","journal-title":"Theor. Comput. Sci."},{"issue":"10","key":"3_CR14","doi-asserted-by":"publisher","DOI":"10.1371\/journal.pcbi.1003286","volume":"9","author":"L Grieco","year":"2013","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 Comput. Biol. 9(10), e1003286 (2013). https:\/\/doi.org\/10.1371\/journal.pcbi.1003286","journal-title":"PLoS Comput. Biol."},{"issue":"3","key":"3_CR15","doi-asserted-by":"publisher","first-page":"437","DOI":"10.1016\/0022-5193(69)90015-0","volume":"22","author":"SA Kauffman","year":"1969","unstructured":"Kauffman, S.A.: Metabolic stability and epigenesis in randomly constructed genetic nets. J. Theor. Biol. 22(3), 437\u2013467 (1969)","journal-title":"J. Theor. Biol."},{"key":"3_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"266","DOI":"10.1007\/978-3-642-03845-7_18","volume-title":"Computational Methods in Systems Biology","author":"A Naldi","year":"2009","unstructured":"Naldi, A., Remy, E., Thieffry, D., Chaouiya, C.: A reduction of logical regulatory graphs preserving essential dynamical properties. In: Degano, P., Gorrieri, R. (eds.) CMSB 2009. LNCS, vol. 5688, pp. 266\u2013280. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-03845-7_18"},{"issue":"21","key":"3_CR17","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. Theoret. Comput. Sci. 412(21), 2207\u20132218 (2011)","journal-title":"Theoret. Comput. Sci."},{"key":"3_CR18","doi-asserted-by":"publisher","unstructured":"Naldi, A.: Biolqm: A java toolkit for the manipulation and conversion of logical qualitative models of biological networks. Front. Physiol. 9, 01605 (2018). https:\/\/doi.org\/10.3389\/fphys.2018.01605","DOI":"10.3389\/fphys.2018.01605"},{"key":"3_CR19","doi-asserted-by":"publisher","unstructured":"Naldi, A., Hernandez, C., Abou-Jaoud\u00e9, W., Monteiro, P.T., Chaouiya, C., Thieffry, D.: Logical modeling and analysis of cellular regulatory networks with GINsim 3.0. Front. Physiol. 9, 646 (2018). https:\/\/doi.org\/10.3389\/fphys.2018.00646","DOI":"10.3389\/fphys.2018.00646"},{"key":"3_CR20","doi-asserted-by":"publisher","first-page":"680","DOI":"10.3389\/fphys.2018.00680","volume":"9","author":"A Naldi","year":"2018","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","journal-title":"Front. Physiol."},{"issue":"3","key":"3_CR21","doi-asserted-by":"publisher","first-page":"514","DOI":"10.2307\/1968978","volume":"44","author":"O Ore","year":"1943","unstructured":"Ore, O.: Combinations of closure relations. Ann. Math. 44(3), 514 (1943). https:\/\/doi.org\/10.2307\/1968978","journal-title":"Ann. Math."},{"issue":"4","key":"3_CR22","doi-asserted-by":"publisher","first-page":"651","DOI":"10.1017\/S0960129511000739","volume":"22","author":"L Paulev\u00e9","year":"2012","unstructured":"Paulev\u00e9, L., Magnin, M., Roux, O.F.: Static analysis of biological regulatory networks dynamics using abstract interpretation. Math. Struct. Comput. Sci. 22(4), 651\u2013685 (2012). https:\/\/doi.org\/10.1017\/S0960129511000739","journal-title":"Math. Struct. Comput. Sci."},{"key":"3_CR23","doi-asserted-by":"crossref","unstructured":"Schwieger, R., Tonello, E.: Reduction for asynchronous Boolean networks: elimination of negatively autoregulated components. Discr. Math. Theoret. Comput. Sci. 25(Automata, Logic and Semantics) (2024)","DOI":"10.46298\/dmtcs.10930"},{"key":"3_CR24","doi-asserted-by":"publisher","unstructured":"Sugita, M.: Functional analysis of chemical systems in vivo using a logical circuit equivalent. ii. the idea of a molecular automaton. J. Theor. Biol. 4(2), 179\u2013192 (1963). https:\/\/doi.org\/10.1016\/0022-5193(63)90027-4","DOI":"10.1016\/0022-5193(63)90027-4"},{"issue":"3","key":"3_CR25","doi-asserted-by":"publisher","first-page":"563","DOI":"10.1016\/0022-5193(73)90247-6","volume":"42","author":"R Thomas","year":"1973","unstructured":"Thomas, R.: Boolean formalization of genetic control circuits. J. Theor. Biol. 42(3), 563\u2013585 (1973)","journal-title":"J. Theor. Biol."},{"key":"3_CR26","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\u201323 (1991)","journal-title":"J. Theor. Biol."},{"key":"3_CR27","unstructured":"Thomas, R., d\u2019Ari, R.: Biological Feedback. CRC Press, Inc. (1990). https:\/\/hal.science\/hal-00087681v1\/"},{"issue":"5","key":"3_CR28","doi-asserted-by":"publisher","DOI":"10.1088\/1478-3975\/9\/5\/055001","volume":"9","author":"RS Wang","year":"2012","unstructured":"Wang, R.S., Saadatpour, A., Albert, R.: Boolean modeling in systems biology: an overview of methodology and applications. Phys. Biol. 9(5), 055001 (2012). https:\/\/doi.org\/10.1088\/1478-3975\/9\/5\/055001","journal-title":"Phys. Biol."},{"issue":"2","key":"3_CR29","doi-asserted-by":"publisher","first-page":"191","DOI":"10.2307\/1968865","volume":"43","author":"M Ward","year":"1942","unstructured":"Ward, M.: The closure operators of a lattice. Ann. Math. 43(2), 191 (1942). https:\/\/doi.org\/10.2307\/1968865","journal-title":"Ann. Math."}],"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-032-01436-8_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,9]],"date-time":"2025-09-09T04:32:22Z","timestamp":1757392342000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-01436-8_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,8,19]]},"ISBN":["9783032014351","9783032014368"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-01436-8_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2025,8,19]]},"assertion":[{"value":"19 August 2025","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":"Lyon","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":"2025","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"10 September 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"12 September 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"23","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"cmsb2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/cmsb2025.sciencesconf.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}