{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,9]],"date-time":"2025-09-09T21:41:36Z","timestamp":1757454096731,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":29,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,6,23]]},"DOI":"10.1145\/3726301.3728414","type":"proceedings-article","created":{"date-parts":[[2025,6,21]],"date-time":"2025-06-21T11:16:41Z","timestamp":1750504601000},"page":"46-55","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Model reduction of infinite rule-based models"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2601-2785","authenticated-orcid":false,"given":"Jerome","family":"Feret","sequence":"first","affiliation":[{"name":"DI-ENS (INRIA\/ENS\/CNRS), PSL Research University, Paris, France"}]}],"member":"320","published-online":{"date-parts":[[2025,6,22]]},"reference":[{"key":"e_1_3_3_1_2_2","doi-asserted-by":"crossref","unstructured":"Xavier Allamigeon St\u00e9phane Gaubert Nikolas Stott Eric Goubault and Sylvie Putot. 2016. A Scalable Algebraic Method to Infer Quadratic Invariants of Switched Systems. ACM Trans. Embedded Comput. Syst. 15 4 (2016) 69:1\u201369:20.","DOI":"10.1145\/2932187"},{"key":"e_1_3_3_1_3_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-26916-0_10"},{"key":"e_1_3_3_1_4_2","doi-asserted-by":"crossref","unstructured":"Michael\u00a0L. Blinov James\u00a0R. Faeder Byron Goldstein and William\u00a0S. Hlavacek. 2004. BioNetGen: software for rule-based modeling of signal transduction based on the interactions of molecular domains. Bioinformatics 20 17 (2004).","DOI":"10.1093\/bioinformatics\/bth378"},{"key":"e_1_3_3_1_5_2","doi-asserted-by":"crossref","unstructured":"Ferdinanda Camporesi J\u00e9r\u00f4me Feret Heinz Koeppl and Tatjana Petrov. 2010. Combining Model Reductions. Electr. Notes Theor. Comput. Sci. 265 (2010) 73\u201396.","DOI":"10.1016\/j.entcs.2010.08.006"},{"key":"e_1_3_3_1_6_2","series-title":"LIPIcs","first-page":"226","volume-title":"Concurrency Theory - CONCUR 2015,","author":"Cardelli Luca","year":"2015","unstructured":"Luca Cardelli, Mirco Tribastone, Max Tschaikowski, and Andrea Vandin. 2015. Forward and Backward Bisimulations for Chemical Reaction Networks. In Concurrency Theory - CONCUR 2015,(LIPIcs, Vol.\u00a042), Luca Aceto and David de\u00a0Frutos-Escrig (Eds.). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Madrid, Spain, 226\u2013239."},{"key":"e_1_3_3_1_7_2","doi-asserted-by":"publisher","DOI":"10.1145\/2933575.2935318"},{"key":"e_1_3_3_1_8_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-54580-5_19"},{"key":"e_1_3_3_1_9_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICESS.2009.80"},{"key":"e_1_3_3_1_10_2","series-title":"LIPIcs","first-page":"276","volume-title":"Foundations of Software Technology and Theoretical Computer Science - FSTTCS 2012","author":"Danos Vincent","year":"2012","unstructured":"Vincent Danos, J\u00e9r\u00f4me Feret, Walter Fontana, Russell Harmer, Jonathan Hayman, Jean Krivine, Christopher\u00a0D. Thompson-Walsh, and Glynn Winskel. 2012. Graphs, Rewriting and Pathway Reconstruction for Rule-Based Models. In Foundations of Software Technology and Theoretical Computer Science - FSTTCS 2012(LIPIcs, Vol.\u00a018), Deepak D\u2019Souza, Telikepalli Kavitha, and Jaikumar Radhakrishnan (Eds.). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Hyderabad, 276\u2013288."},{"key":"e_1_3_3_1_11_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-74407-8_3"},{"key":"e_1_3_3_1_12_2","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2010.44"},{"key":"e_1_3_3_1_13_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-76637-7_10"},{"key":"e_1_3_3_1_14_2","doi-asserted-by":"crossref","unstructured":"Vincent Danos and Cosimo Laneve. 2004. Formal molecular biology. Theor. Comput. Sci. 325 1 (2004) 69\u2013110.","DOI":"10.1016\/j.tcs.2004.03.065"},{"key":"e_1_3_3_1_15_2","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0091636"},{"key":"e_1_3_3_1_16_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24725-8_4"},{"key":"e_1_3_3_1_17_2","doi-asserted-by":"crossref","unstructured":"J\u00e9r\u00f4me Feret Vincent Danos Jean Krivine Russ Harmer and Walter Fontana. 2009. Internal coarse-graining of molecular systems. PNAS 106 16 (2009) 6453\u20136458.","DOI":"10.1073\/pnas.0809908106"},{"key":"e_1_3_3_1_18_2","unstructured":"Jerome Feret Heinz Koeppl and Tatjana Petrov. 2013. Stochastic Fragments: A Framework for the Exact Reduction of the Stochastic Semantics of Rule-Based Models. International Journal of Software and Informatics 7 4 (2013) 527\u2013604."},{"key":"e_1_3_3_1_19_2","doi-asserted-by":"crossref","unstructured":"J\u00e9r\u00f4me Feret and Kim\u00a0Quy\u00ean L\u00fd. 2016. Reachability analysis via orthogonal sets of patterns. Electr. Notes Theor. Comput. Sci. 335 (2016) 27 \u2013 48.","DOI":"10.1016\/j.entcs.2018.03.007"},{"key":"e_1_3_3_1_20_2","first-page":"6","volume-title":"IEEE Conference on Decision and Control and European Control Conference - DCECC (2005)","author":"Girard Antoine","year":"2005","unstructured":"Antoine Girard and Georje\u00a0J. Pappas. 2005. Approximate Bisimulations for Non Linear Dynamical Systems. In IEEE Conference on Decision and Control and European Control Conference - DCECC (2005). IEEE Computer Society, Seville, Spain, 6."},{"key":"e_1_3_3_1_21_2","doi-asserted-by":"crossref","unstructured":"Russ Harmer Vincent Danos J\u00e9r\u00f4me Feret Jean Krivine and Walter Fontana. 2010. Intrinsic information carriers in combinatorial dynamical systems. Chaos 20 (2010) 15\u00a0pages. Issue 3.","DOI":"10.1063\/1.3491100"},{"key":"e_1_3_3_1_22_2","volume-title":"Lecture Notes of the 16th Internet Seminar on Evolution Equations","author":"Hundertmark Dirk","year":"2013","unstructured":"Dirk Hundertmark, Martin Meyries, Lars Machinek, and Roland Schnaubelt. 2013. Operator Semigroups and Dispersive Equations. In Lecture Notes of the 16th Internet Seminar on Evolution Equations. KIT, Karlruher Fakult\u00e4t f\u00fcr Mathematik, KIT, Karlruher Fakult\u00e4t f\u00fcr Mathematik, 149\u00a0pages. http:\/\/www.math.kit.edu\/iana3\/\u00a0schnaubelt\/media\/isem16-skript.pdf"},{"key":"e_1_3_3_1_23_2","first-page":"108","volume-title":"Computational Methods in Systems Biology - CMSB 2024","author":"Jim\u00e9nez-Pastor Antonio","year":"2024","unstructured":"Antonio Jim\u00e9nez-Pastor, Alexander Leguizamon-Robayo, Max Tschaikowski, and Andrea Vandin. 2024. Approximate Reductions of\u00a0Rational Dynamical Systems in\u00a0CLUE. In Computational Methods in Systems Biology - CMSB 2024, Roberta Gori, Paolo Milazzo, and Mirco Tribastone (Eds.). Springer Nature Switzerland, Cham, 108\u2013116."},{"key":"e_1_3_3_1_24_2","doi-asserted-by":"crossref","unstructured":"Markus Kirkilionis and Sebastian Walcher. 2004. On comparison systems for ordinary differential equations. J. Math. Anal. Appl. 299 1 (2004) 157 \u2013 173.","DOI":"10.1016\/j.jmaa.2004.06.025"},{"key":"e_1_3_3_1_25_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-42697-1_8"},{"key":"e_1_3_3_1_26_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-21690-4_24"},{"key":"e_1_3_3_1_27_2","doi-asserted-by":"publisher","DOI":"10.1109\/WSC.2012.6465241"},{"key":"e_1_3_3_1_28_2","doi-asserted-by":"crossref","unstructured":"Ovidiu Radulescu Alexander\u00a0N. Gorban Andrei Zinovyev and Vincent Noel. 2012. Reduction of dynamical biochemical reactions networks in computational biology. Frontiers in Genetics 3 131 (2012) 17.","DOI":"10.3389\/fgene.2012.00131"},{"key":"e_1_3_3_1_29_2","doi-asserted-by":"crossref","unstructured":"Radulescu Ovidiu Vakulenko Sergey and Grigoriev Dimitry. 2015. Model Reduction of Biochemical Reactions Networks by Tropical Analysis Methods. Mathematical Modelling of Natural Phenomena 10 3 (2015) 124 \u2013 138.","DOI":"10.1051\/mmnp\/201510310"},{"key":"e_1_3_3_1_30_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-53413-7_21"}],"event":{"name":"SIGSIM-PADS '25: 39th ACM SIGSIM Conference on Principles of Advanced Discrete Simulation","sponsor":["SIGSIM ACM Special Interest Group on Simulation and Modeling"],"location":"Santa Fe USA","acronym":"SIGSIM-PADS '25"},"container-title":["Proceedings of the 39th ACM SIGSIM Conference on Principles of Advanced Discrete Simulation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3726301.3728414","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,24]],"date-time":"2025-06-24T15:33:23Z","timestamp":1750779203000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3726301.3728414"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,6,22]]},"references-count":29,"alternative-id":["10.1145\/3726301.3728414","10.1145\/3726301"],"URL":"https:\/\/doi.org\/10.1145\/3726301.3728414","relation":{},"subject":[],"published":{"date-parts":[[2025,6,22]]},"assertion":[{"value":"2025-06-22","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}