{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,20]],"date-time":"2026-08-20T13:23:41Z","timestamp":1787232221422,"version":"build-2736575974"},"publisher-location":"Cham","reference-count":97,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032087065","type":"print"},{"value":"9783032087072","type":"electronic"}],"license":[{"start":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T00:00:00Z","timestamp":1761436800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T00:00:00Z","timestamp":1761436800000},"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-08707-2_16","type":"book-chapter","created":{"date-parts":[[2025,10,25]],"date-time":"2025-10-25T22:33:32Z","timestamp":1761431612000},"page":"345-362","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Evaluation, Reduction, and\u00a0Approximation of\u00a0Dynamical Systems and\u00a0Networks with\u00a0ERODE"],"prefix":"10.1007","author":[{"given":"Luca","family":"Cardelli","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Giuseppe","family":"Squillace","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mirco","family":"Tribastone","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Max","family":"Tschaikowski","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Andrea","family":"Vandin","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2025,10,26]]},"reference":[{"key":"16_CR1","unstructured":"Erode-python online notebook. https:\/\/colab.research.google.com\/github\/andrea-vandin\/erode-python\/blob\/main\/erodePython.ipynb"},{"key":"16_CR2","unstructured":"Erode-python website. https:\/\/github.com\/andrea-vandin\/erode-python\/wiki"},{"key":"16_CR3","unstructured":"Erode source code. https:\/\/github.com\/IMTAltiStudiLucca\/ERODE4.18"},{"key":"16_CR4","unstructured":"Erode website. www.erode.eu"},{"key":"16_CR5","unstructured":"Matlab. https:\/\/www.mathworks.com\/products\/matlab.html"},{"key":"16_CR6","doi-asserted-by":"publisher","unstructured":"Abou-Jaoud\u00e9, W., et al.: Logical modeling and dynamical analysis of cellular networks. Front. Gen. 7, 94\u201394 (05 2016). https:\/\/doi.org\/10.3389\/fgene.2016.00094","DOI":"10.3389\/fgene.2016.00094"},{"key":"16_CR7","doi-asserted-by":"crossref","unstructured":"Althoff, M.: An introduction to Cora 2015. In: Proceeding of the Workshop on Applied Verification for Continuous and Hybrid Systems, pp. 120\u2013151 (2015)","DOI":"10.29007\/zbkv"},{"key":"16_CR8","unstructured":"Apache commons mathematics library. http:\/\/commons.apache.org\/proper\/commons-math\/"},{"key":"16_CR9","doi-asserted-by":"publisher","unstructured":"Argyris, G., Lluch-Lafuente, A., Leguizamon-Robayo, A., Tribastone, M., Tschaikowski, M., Vandin, A.: Minimization of dynamical systems over monoids. In: LICS, pp. 1\u201314 (2023). https:\/\/doi.org\/10.1109\/LICS56636.2023.10175697","DOI":"10.1109\/LICS56636.2023.10175697"},{"key":"16_CR10","doi-asserted-by":"publisher","unstructured":"Argyris, G., Lluch-Lafuente, A., Tribastone, M., Tschaikowski, M., Vandin, A.: Reducing Boolean networks with backward Boolean equivalence. In: 19th International Conference on Computational Methods in Systems Biology CMSB 2021, pp. 1\u201318 (2021). https:\/\/doi.org\/10.1007\/978-3-030-85633-5_1","DOI":"10.1007\/978-3-030-85633-5_1"},{"key":"16_CR11","doi-asserted-by":"publisher","unstructured":"Argyris, G., Lluch-Lafuente, A., Tribastone, M., Tschaikowski, M., Vandin, A.: An extension of ERODE to reduce Boolean networks by backward Boolean equivalence. In: Petre, I., Paun, A. (eds.) Computational Methods in Systems Biology - 20th International Conference, CMSB 2022, Bucharest, Romania, September 14-16, 2022, Proceedings. Lecture Notes in Computer Science, vol. 13447, pp. 294\u2013301. Springer (2022). https:\/\/doi.org\/10.1007\/978-3-031-15034-0_16","DOI":"10.1007\/978-3-031-15034-0_16"},{"issue":"1","key":"16_CR12","doi-asserted-by":"publisher","first-page":"212","DOI":"10.1186\/S12859-023-05326-9","volume":"24","author":"G Argyris","year":"2023","unstructured":"Argyris, G., Lluch-Lafuente, A., Tribastone, M., Tschaikowski, M., Vandin, A.: Reducing Boolean networks with backward equivalence. BMC Bioinform. 24(1), 212 (2023). https:\/\/doi.org\/10.1186\/S12859-023-05326-9","journal-title":"BMC Bioinform."},{"key":"16_CR13","doi-asserted-by":"publisher","unstructured":"Bacci, G., Bacci, G., Larsen, K.G., Tribastone, M., Tschaikowski, M., Vandin, A.: Efficient local computation of differential bisimulations via coupling and up-to methods. In: 36th Annual ACM\/IEEE Symposium on Logic in Computer Science, LICS 2021, pp. 1\u201314 (2021). https:\/\/doi.org\/10.1109\/LICS52264.2021.9470555","DOI":"10.1109\/LICS52264.2021.9470555"},{"key":"16_CR14","doi-asserted-by":"publisher","unstructured":"Bacci, G., Bacci, G., Larsen, K.G., Squillace, G., Tribastone, M., Tschaikowski, M., Vandin, A.: Dissimilarity for linear dynamical systems. In: Hillston, J., Soudjani, S., Waga, M. (eds.) Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems - First International Joint Conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9-13, 2024, Proceedings. Lecture Notes in Computer Science, vol. 14996, pp. 125\u2013142. Springer (2024). https:\/\/doi.org\/10.1007\/978-3-031-68416-6_8","DOI":"10.1007\/978-3-031-68416-6_8"},{"issue":"17","key":"16_CR15","doi-asserted-by":"publisher","first-page":"3289","DOI":"10.1093\/bioinformatics\/bth378","volume":"20","author":"ML Blinov","year":"2004","unstructured":"Blinov, M.L., Faeder, J.R., Goldstein, B., Hlavacek, W.S.: BioNetGen: software for rule-based modeling of signal transduction based on the interactions of molecular domains. Bioinformatics 20(17), 3289\u20133291 (2004)","journal-title":"Bioinformatics"},{"issue":"1","key":"16_CR16","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1007\/s10928-017-9567-4","volume":"45","author":"P Bloomingdale","year":"2018","unstructured":"Bloomingdale, P., Nguyen, V.A., Niu, J., Mager, D.E.: Boolean network modeling in systems pharmacology. J. Pharmacokinet Pharmacodyn. 45(1), 159\u2013180 (2018). https:\/\/doi.org\/10.1007\/s10928-017-9567-4","journal-title":"J. Pharmacokinet Pharmacodyn."},{"key":"16_CR17","doi-asserted-by":"publisher","unstructured":"Bortolussi, L., Cardelli, L., Kwiatkowska, M., Laurenti, L.: Approximation of probabilistic reachability for chemical reaction networks using the linear noise approximation. In: Agha, G., Houdt, B.V. (eds.) QEST. vol.\u00a09826, pp. 72\u201388. Springer (2016). https:\/\/doi.org\/10.1007\/978-3-319-43425-4_5","DOI":"10.1007\/978-3-319-43425-4_5"},{"key":"16_CR18","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/j.entcs.2010.08.006","volume":"265","author":"F Camporesi","year":"2010","unstructured":"Camporesi, F., Feret, J., Koeppl, H., Petrov, T.: Combining model reductions. Electr. Notes Theor. Comput. Sci. 265, 73\u201396 (2010)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"16_CR19","doi-asserted-by":"publisher","unstructured":"Camporesi, F., Feret, J., L\u00fd, K.Q.: Kade: a tool to compile kappa rules into (reduced) ODE models. In: Feret, J., Koeppl, H. (eds.) 15th International Conference on Computational Methods in Systems Biology CMSB 2017. Lecture Notes in Computer Science, vol. 10545, pp. 291\u2013299. Springer (2017). https:\/\/doi.org\/10.1007\/978-3-319-67471-1_18","DOI":"10.1007\/978-3-319-67471-1_18"},{"key":"16_CR20","doi-asserted-by":"publisher","first-page":"20214","DOI":"10.1038\/srep20214","volume":"6","author":"L Cardelli","year":"2016","unstructured":"Cardelli, L., Csik\u00e1sz-Nagy, A., Dalchau, N., Tribastone, M., Tschaikowski, M.: Noise reduction in complex biological switches. Sci. Rep. 6, 20214\u201320226 (2016)","journal-title":"Sci. Rep."},{"key":"16_CR21","doi-asserted-by":"crossref","unstructured":"Cardelli, L., Tribastone, M., Tschaikowski, M., Vandin, A.: Comparing chemical reaction networks: a categorical and algorithmic perspective. In: LICS, pp. 485\u2013494 (2016)","DOI":"10.1145\/2933575.2935318"},{"key":"16_CR22","doi-asserted-by":"crossref","unstructured":"Cardelli, L., Tribastone, M., Tschaikowski, M., Vandin, A.: Efficient syntax-driven lumping of differential equations. In: TACAS, pp. 93\u2013111 (2016)","DOI":"10.1007\/978-3-662-49674-9_6"},{"key":"16_CR23","doi-asserted-by":"publisher","unstructured":"Cardelli, L., Tribastone, M., Tschaikowski, M., Vandin, A.: Symbolic computation of differential equivalences. In: POPL, pp. 137\u2013150 (2016). https:\/\/doi.org\/10.1145\/2837614.2837649","DOI":"10.1145\/2837614.2837649"},{"issue":"3","key":"16_CR24","doi-asserted-by":"publisher","first-page":"190","DOI":"10.1016\/j.tcs.2007.11.012","volume":"391","author":"L Cardelli","year":"2008","unstructured":"Cardelli, L.: On process rate semantics. Theoret. Comput. Sci. 391(3), 190\u2013215 (2008)","journal-title":"Theoret. Comput. Sci."},{"key":"16_CR25","doi-asserted-by":"crossref","unstructured":"Cardelli, L., Csik\u00e1sz-Nagy, A.: The cell cycle switch computes approximate majority. Sci. Rep. 2, 656 EP \u2013 (2012)","DOI":"10.1038\/srep00656"},{"issue":"1","key":"16_CR26","doi-asserted-by":"publisher","first-page":"20214","DOI":"10.1038\/srep20214","volume":"6","author":"L Cardelli","year":"2016","unstructured":"Cardelli, L., Csik\u00e1sz-Nagy, A., Dalchau, N., Tribastone, M., Tschaikowski, M.: Noise reduction in complex biological switches. Sci. Rep. 6(1), 20214 (2016)","journal-title":"Sci. Rep."},{"key":"16_CR27","doi-asserted-by":"publisher","unstructured":"Cardelli, L., Grosu, R., Larsen, K.G., Tribastone, M., Tschaikowski, M., Vandin, A.: Lumpability for uncertain continuous-time markov chains. In: Quantitative Evaluation of Systems - 18th International Conference, QEST 2021, pp. 391\u2013409 (2021). https:\/\/doi.org\/10.1007\/978-3-030-85172-9_21","DOI":"10.1007\/978-3-030-85172-9_21"},{"issue":"11","key":"16_CR28","doi-asserted-by":"publisher","first-page":"6557","DOI":"10.1109\/TAC.2023.3244093","volume":"68","author":"L Cardelli","year":"2023","unstructured":"Cardelli, L., Grosu, R., Larsen, K.G., Tribastone, M., Tschaikowski, M., Vandin, A.: Algorithmic minimization of uncertain continuous-time Markov chains. IEEE Trans. Autom. Control 68(11), 6557\u20136572 (2023). https:\/\/doi.org\/10.1109\/TAC.2023.3244093","journal-title":"IEEE Trans. Autom. Control"},{"issue":"15","key":"16_CR29","doi-asserted-by":"publisher","first-page":"2175","DOI":"10.1093\/bioinformatics\/btab081","volume":"37","author":"L Cardelli","year":"2021","unstructured":"Cardelli, L., P\u00e9rez-Verona, I.C., Tribastone, M., Tschaikowski, M., Vandin, A., Waizmann, T.: Exact maximal reduction of stochastic reaction networks by species lumping. Bioinform. 37(15), 2175\u20132182 (2021). https:\/\/doi.org\/10.1093\/bioinformatics\/btab081","journal-title":"Bioinform."},{"key":"16_CR30","doi-asserted-by":"publisher","DOI":"10.1016\/J.JLAMP.2023.100876","volume":"134","author":"L Cardelli","year":"2023","unstructured":"Cardelli, L., Squillace, G., Tribastone, M., Tschaikowski, M., Vandin, A.: Formal lumping of polynomial differential equations through approximate equivalences. J. Log. Algebraic Methods Program. 134, 100876 (2023). https:\/\/doi.org\/10.1016\/J.JLAMP.2023.100876","journal-title":"J. Log. Algebraic Methods Program."},{"key":"16_CR31","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, pp. 226\u2013239 (2015). https:\/\/doi.org\/10.4230\/LIPIcs.CONCUR.2015.226","DOI":"10.4230\/LIPIcs.CONCUR.2015.226"},{"key":"16_CR32","doi-asserted-by":"crossref","unstructured":"Cardelli, L., Tribastone, M., Tschaikowski, M., Vandin, A.: ERODE: a tool for the evaluation and reduction of ordinary differential equations. In: International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), pp. 310\u2013328 (2017)","DOI":"10.1007\/978-3-662-54580-5_19"},{"issue":"38","key":"16_CR33","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. Natl. Acad. Sci. 114(38), 10029\u201310034 (2017)","journal-title":"Proc. Natl. Acad. Sci."},{"key":"16_CR34","doi-asserted-by":"publisher","unstructured":"Cardelli, L., Tribastone, M., Tschaikowski, M., Vandin, A.: Syntactic Markovian bisimulation for chemical reaction networks. In: Models, Algorithms, Logics and Tools, pp. 466\u2013483 (2017). https:\/\/doi.org\/10.1007\/978-3-319-63121-9_23","DOI":"10.1007\/978-3-319-63121-9_23"},{"key":"16_CR35","doi-asserted-by":"publisher","unstructured":"Cardelli, L., Tribastone, M., Tschaikowski, M., Vandin, A.: Guaranteed error bounds on approximate model abstractions through reachability analysis. In: Quantitative Evaluation of Systems - 15th International Conference, QEST 2018, pp. 104\u2013121 (2018). https:\/\/doi.org\/10.1007\/978-3-319-99154-2_7","DOI":"10.1007\/978-3-319-99154-2_7"},{"key":"16_CR36","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1016\/j.tcs.2017.12.018","volume":"765","author":"L Cardelli","year":"2019","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","journal-title":"Theor. Comput. Sci."},{"key":"16_CR37","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2019.03.018","author":"L Cardelli","year":"2019","unstructured":"Cardelli, L., Tribastone, M., Tschaikowski, M., Vandin, A.: Symbolic computation of differential equivalences. Theoret. Comput. Sci. (2019). https:\/\/doi.org\/10.1016\/j.tcs.2019.03.018","journal-title":"Theoret. Comput. Sci."},{"key":"16_CR38","doi-asserted-by":"crossref","unstructured":"Chen, X., \u00c1brah\u00e1m, E., Sankaranarayanan, S.: Flow*: an analyzer for non-linear hybrid systems. In: Proceedings of the 25th International Conference on Computer Aided Verification (CAV), pp. 258\u2013263. Springer (2013)","DOI":"10.1007\/978-3-642-39799-8_18"},{"key":"16_CR39","doi-asserted-by":"publisher","unstructured":"Chodak, J., Heiner, M.: Spike - reproducible simulation experiments with configuration file branching. In: 17th International Conference on Computational Methods in Systems Biology CMSB 2019. Lecture Notes in Computer Science, vol. 11773, pp. 315\u2013321. Springer (2019). https:\/\/doi.org\/10.1007\/978-3-030-31304-3_19","DOI":"10.1007\/978-3-030-31304-3_19"},{"issue":"1","key":"16_CR40","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1186\/1752-0509-2-78","volume":"2","author":"H Conzelmann","year":"2008","unstructured":"Conzelmann, H., Fey, D., Gilles, E.: Exact model reduction of combinatorial reaction networks. BMC Syst. Biol. 2(1), 78 (2008)","journal-title":"BMC Syst. Biol."},{"issue":"4","key":"16_CR41","doi-asserted-by":"publisher","first-page":"761","DOI":"10.1007\/s11047-018-9686-x","volume":"17","author":"N Dalchau","year":"2018","unstructured":"Dalchau, N., et al.: Computing with biological switches and clocks. Nat. Comput. 17(4), 761\u2013779 (2018). https:\/\/doi.org\/10.1007\/s11047-018-9686-x","journal-title":"Nat. Comput."},{"key":"16_CR42","doi-asserted-by":"publisher","unstructured":"Dehnert, C., Junges, S., Katoen, J., Volk, M.: A storm is coming: a modern probabilistic model checker. In: Majumdar, R., Kuncak, V. (eds.) Computer Aided Verification - 29th International Conference, CAV 2017. Lecture Notes in Computer Science, vol. 10427, pp. 592\u2013600. Springer (2017). https:\/\/doi.org\/10.1007\/978-3-319-63390-9_31","DOI":"10.1007\/978-3-319-63390-9_31"},{"key":"16_CR43","doi-asserted-by":"crossref","unstructured":"Doncel, J., Gast, N., Tribastone, M., Tschaikowski, M., Vandin, A.: Utopic: under-approximation through optimal control. In: International Conference on Quantitative Evaluation of Systems, pp. 277\u2013291. Springer (2019)","DOI":"10.1007\/978-3-030-30281-8_16"},{"issue":"1","key":"16_CR44","doi-asserted-by":"publisher","first-page":"356","DOI":"10.1186\/1471-2105-9-356","volume":"9","author":"F Erhard","year":"2008","unstructured":"Erhard, F., Friedel, C.C., Zimmer, R.: FERN - a Java framework for stochastic simulation and evaluation of reaction networks. BMC Bioinform. 9(1), 356 (2008). https:\/\/doi.org\/10.1186\/1471-2105-9-356","journal-title":"BMC Bioinform."},{"key":"16_CR45","doi-asserted-by":"crossref","unstructured":"Fan, C., Qi, B., Mitra, S., Viswanathan, M., Duggirala, P.S.: Automatic reachability analysis for nonlinear hybrid models with C2E2. In: CAV, pp. 531\u2013538 (2016)","DOI":"10.1007\/978-3-319-41528-4_29"},{"key":"16_CR46","doi-asserted-by":"crossref","unstructured":"Fritzson, P.: Principles of Object-Oriented Modeling and Simulation with Modelica 3.3. Wiley-IEEE Press, 2 edn. (2014)","DOI":"10.1002\/9781118989166"},{"key":"16_CR47","doi-asserted-by":"crossref","unstructured":"Gillespie, D.T.: Stochastic simulation of chemical kinetics. Ann. Rev. Phys. Chem. 58(1), pp. 35\u201355 (2007)","DOI":"10.1146\/annurev.physchem.58.032806.104637"},{"issue":"25","key":"16_CR48","doi-asserted-by":"publisher","first-page":"2340","DOI":"10.1021\/j100540a008","volume":"81","author":"DT Gillespie","year":"1977","unstructured":"Gillespie, D.T.: Exact stochastic simulation of coupled chemical reactions. J. Phys. Chem. 81(25), 2340\u20132361 (1977)","journal-title":"J. Phys. Chem."},{"issue":"1\u20133","key":"16_CR49","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1016\/S0024-3795(97)83595-1","volume":"255","author":"CD Godsil","year":"1997","unstructured":"Godsil, C.D.: Compact graphs and equitable partitions. Linear Algebra Appl. 255(1\u20133), 259\u2013266 (1997)","journal-title":"Linear Algebra Appl."},{"key":"16_CR50","doi-asserted-by":"publisher","DOI":"10.25080\/TCWV9851","volume-title":"Exploring network structure, dynamics, and function using networkx","author":"A Hagberg","year":"2008","unstructured":"Hagberg, A., Swart, P.J., Schult, D.A.: Exploring network structure, dynamics, and function using networkx. Tech. rep, Los Alamos National Laboratory (LANL), Los Alamos, NM (United States) (2008)"},{"issue":"3","key":"16_CR51","doi-asserted-by":"publisher","first-page":"363","DOI":"10.1145\/1089014.1089020","volume":"31","author":"AC Hindmarsh","year":"2005","unstructured":"Hindmarsh, A.C., et al.: SUNDIALS: suite of nonlinear and differential\/algebraic equation solvers. ACM Trans. Math. Softw. (TOMS) 31(3), 363\u2013396 (2005)","journal-title":"ACM Trans. Math. Softw. (TOMS)"},{"key":"16_CR52","doi-asserted-by":"publisher","unstructured":"Hucka, M., et al.: Systems biology markup language (SBML) level 2 version 5: structures and facilities for model definitions. J. Integrative Bioinformat. 12(2), 271\u2013271 (2015). https:\/\/doi.org\/10.2390\/biecoll-jib-2015-271","DOI":"10.2390\/biecoll-jib-2015-271"},{"key":"16_CR53","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1007\/978-3-662-48057-1_23","volume-title":"Mathematical Foundations of Computer Science 2015","author":"G Iacobelli","year":"2015","unstructured":"Iacobelli, G., Tribastone, M., Vandin, A.: Differential bisimulation for a Markovian process algebra. In: Italiano, G.F., Pighizzini, G., Sannella, D.T. (eds.) Mathematical Foundations of Computer Science 2015, pp. 293\u2013306. Springer, Berlin Heidelberg, Berlin, Heidelberg (2015)"},{"issue":"3","key":"16_CR54","doi-asserted-by":"publisher","DOI":"10.1002\/ctd2.104","volume":"2","author":"M Ilieva","year":"2022","unstructured":"Ilieva, M., Tschaikowski, M., Vandin, A., Uchida, S.: The current status of gene expression profilings in Covid-19 patients. Clin. Transl. Discovery 2(3), e104 (2022)","journal-title":"Clin. Transl. Discovery"},{"key":"16_CR55","doi-asserted-by":"crossref","unstructured":"Jim\u00e9nez-Pastor, A., Leguizamon-Robayo, A., Tschaikowski, M., Vandin, A.: Approximate reductions of rational dynamical systems in clue. In: International Conference on Computational Methods in Systems Biology, pp. 108\u2013116. Springer (2024)","DOI":"10.1007\/978-3-031-71671-3_9"},{"issue":"5215","key":"16_CR56","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1038\/224177a0","volume":"224","author":"S Kauffman","year":"1969","unstructured":"Kauffman, S.: Homeostasis and differentiation in random genetic control networks. Nature 224(5215), 177\u2013178 (1969). https:\/\/doi.org\/10.1038\/224177a0","journal-title":"Nature"},{"key":"16_CR57","doi-asserted-by":"publisher","unstructured":"Kwiatkowska, M.Z., Norman, G., Parker, D.: PRISM 4.0: verification of probabilistic real-time systems. In: Gopalakrishnan, G., Qadeer, S. (eds.) 23rd International Conference on Computer Aided Verification (CAV\u201911). Lecture Notes in Computer Science, vol.\u00a06806, pp. 585\u2013591. Springer (2011). https:\/\/doi.org\/10.1007\/978-3-642-22110-1_47","DOI":"10.1007\/978-3-642-22110-1_47"},{"key":"16_CR58","doi-asserted-by":"crossref","unstructured":"Larsen, K.G., Toller, D., Tribastone, M., Tschaikowski, M., Vandin, A.: Optimality-preserving reduction of chemical reaction networks. In: International Symposium on Leveraging Applications of Formal Methods, pp. 13\u201332. Springer (2024)","DOI":"10.1007\/978-3-031-75107-3_2"},{"issue":"2317","key":"16_CR59","doi-asserted-by":"publisher","first-page":"20240754","DOI":"10.1098\/rspa.2024.0754","volume":"481","author":"A Leguizamon-Robayo","year":"2025","unstructured":"Leguizamon-Robayo, A., Jim\u00e9nez-Pastor, A., Tribastone, M., Tschaikowski, M., Vandin, A.: Approximate constrained lumping of chemical reaction networks. Proc. Royal Soc. A 481(2317), 20240754 (2025)","journal-title":"Proc. Royal Soc. A"},{"key":"16_CR60","doi-asserted-by":"publisher","unstructured":"Leguizamon-Robayo, A., Jim\u00e9nez-Pastor, A., Tribastone, M., Tschaikowski, M., Vandin, A.: approximate constrained lumping of polynomial differential equations. In: Pang, J., Niehren, J. (eds.) Computational Methods in Systems Biology - 21st International Conference, CMSB 2023, Luxembourg City, Luxembourg, September 13-15, 2023, Proceedings. Lecture Notes in Computer Science, vol. 14137, pp. 106\u2013123. Springer (2023). https:\/\/doi.org\/10.1007\/978-3-031-42697-1_8","DOI":"10.1007\/978-3-031-42697-1_8"},{"key":"16_CR61","doi-asserted-by":"crossref","unstructured":"Leguizamon-Robayo, A., Tschaikowski, M.: Efficient estimation of agent networks. In: International Symposium on Leveraging Applications of Formal Methods, pp. 199\u2013214. Springer (2022)","DOI":"10.1007\/978-3-031-19759-8_13"},{"key":"16_CR62","doi-asserted-by":"crossref","unstructured":"Lerner, J.: Role assignments. In: Network analysis: methodological foundations, pp. 216\u2013252. Springer (2005)","DOI":"10.1007\/978-3-540-31955-9_9"},{"issue":"9","key":"16_CR63","first-page":"1","volume":"14","author":"W McKinney","year":"2011","unstructured":"McKinney, W., et al.: pandas: a foundational python library for data analysis and statistics. Python High Perform. Sci. Comput. 14(9), 1\u20139 (2011)","journal-title":"Python High Perform. Sci. Comput."},{"key":"16_CR64","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."},{"key":"16_CR65","unstructured":"Newman, M.: Networks. Oxford University Press (2018)"},{"issue":"5","key":"16_CR66","first-page":"2045","volume":"33","author":"G Nikolentzos","year":"2019","unstructured":"Nikolentzos, G., Vazirgiannis, M.: Learning structural node representations using graph kernels. IEEE TKDE 33(5), 2045\u20132056 (2019)","journal-title":"IEEE TKDE"},{"issue":"12","key":"16_CR67","doi-asserted-by":"publisher","first-page":"1732","DOI":"10.1093\/BIOINFORMATICS\/BTAB010","volume":"37","author":"A Ovchinnikov","year":"2021","unstructured":"Ovchinnikov, A., P\u00e9rez-Verona, I.C., Pogudin, G., Tribastone, M.: CLUE: exact maximal reduction of kinetic models by constrained lumping of differential equations. Bioinform. 37(12), 1732\u20131738 (2021). https:\/\/doi.org\/10.1093\/BIOINFORMATICS\/BTAB010","journal-title":"Bioinform."},{"key":"16_CR68","unstructured":"Pedregosa, F., et\u00a0al.: Scikit-learn: machine learning in python. J. Mach. Learn. Res. 12, 2825\u20132830 (2011)"},{"key":"16_CR69","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: 17th International Conference on Computational Methods in Systems Biology CMSB 2019, 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":"16_CR70","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2021.06.026","author":"IC P\u00e9rez-Verona","year":"2021","unstructured":"P\u00e9rez-Verona, I.C., Tribastone, M., Vandin, A.: A large-scale assessment of exact model reduction in the biomodels repository. Theoret. Comput. Sci. (2021). https:\/\/doi.org\/10.1016\/j.tcs.2021.06.026","journal-title":"Theoret. Comput. Sci."},{"key":"16_CR71","doi-asserted-by":"publisher","unstructured":"Randone, F., Bortolussi, L., Tribastone, M.: Refining mean-field approximations by dynamic state truncation. Proc. ACM Meas. Anal. Comput. Syst. 5(2), 25:1\u201325:30 (2021). https:\/\/doi.org\/10.1145\/3460092, SIGMETRICS 2021","DOI":"10.1145\/3460092"},{"key":"16_CR72","doi-asserted-by":"crossref","unstructured":"Ribeiro, L.F., Saverese, P.H., Figueiredo, D.R.: struc2vec: learning node representations from structural identity. In: Proceedings of 23rd ACM SIGKDD KDD, pp. 385\u2013394 (2017)","DOI":"10.1145\/3097983.3098061"},{"issue":"17","key":"16_CR73","doi-asserted-by":"publisher","first-page":"2457","DOI":"10.1093\/bioinformatics\/btr401","volume":"27","author":"KR Sanft","year":"2011","unstructured":"Sanft, K.R., Wu, S., Roh, M.K., Fu, J., Lim, R.K., Petzold, L.R.: Stochkit2: software for discrete stochastic simulation of biochemical systems with events. Bioinform. 27(17), 2457\u20132458 (2011). https:\/\/doi.org\/10.1093\/bioinformatics\/btr401","journal-title":"Bioinform."},{"key":"16_CR74","doi-asserted-by":"publisher","unstructured":"Spaccasassi, C., Yordanov, B., Phillips, A., Dalchau, N.: Fast enumeration of non-isomorphic chemical reaction networks. In: 17th International Conference on Computational Methods in Systems Biology CMSB 2019. Lecture Notes in Computer Science, vol. 11773, pp. 224\u2013247. Springer (2019). https:\/\/doi.org\/10.1007\/978-3-030-31304-3_12","DOI":"10.1007\/978-3-030-31304-3_12"},{"key":"16_CR75","doi-asserted-by":"publisher","unstructured":"Squillace, G., Tribastone, M., Tschaikowski, M., Vandin, A.: An algorithm for the formal reduction of differential equations as over-approximations. In: \u00c1brah\u00e1m, E., Paolieri, M. (eds.) Quantitative Evaluation of Systems - 19th International Conference, QEST 2022, Warsaw, Poland, September 12-16, 2022, Proceedings. Lecture Notes in Computer Science, vol. 13479, pp. 173\u2013191. Springer (2022). https:\/\/doi.org\/10.1007\/978-3-031-16336-4_9","DOI":"10.1007\/978-3-031-16336-4_9"},{"key":"16_CR76","doi-asserted-by":"publisher","unstructured":"Squillace, G., Tribastone, M., Tschaikowski, M., Vandin, A.: Efficient network embedding by approximate equitable partitions. In: 2024 IEEE International Conference on Data Mining (ICDM), pp. 440\u2013449 (2024). https:\/\/doi.org\/10.1109\/ICDM59182.2024.00051","DOI":"10.1109\/ICDM59182.2024.00051"},{"key":"16_CR77","doi-asserted-by":"publisher","unstructured":"Squillace, G., Tribastone, M., Tschaikowski, M., Vandin, A.: Approximate regular equivalence by partition refinement. Appl. Netw. Sci. 110(1), 39 (2025). issn = 2364\u20138228. https:\/\/doi.org\/10.1007\/s41109-025-00726-7.","DOI":"10.1007\/s41109-025-00726-7"},{"key":"16_CR78","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1007\/978-3-7091-9459-1_3","volume-title":"Quantifier Elimination and Cylindrical Algebraic Decomposition","author":"A Tarski","year":"1998","unstructured":"Tarski, A.: A decision method for elementary algebra and geometry. In: Caviness, B.F., Johnson, J.R. (eds.) Quantifier Elimination and Cylindrical Algebraic Decomposition, pp. 24\u201384. Springer Vienna, Vienna (1998)"},{"issue":"3","key":"16_CR79","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":"16_CR80","doi-asserted-by":"crossref","unstructured":"Tognazzi, S., Tribastone, M., Tschaikowski, M., Vandin, A.: EGAC: a genetic algorithm to compare chemical reaction networks. In: The Genetic and Evolutionary Computation Conference (GECCO) (2017)","DOI":"10.1145\/3071178.3071265"},{"key":"16_CR81","doi-asserted-by":"publisher","unstructured":"Tognazzi, S., Tribastone, M., Tschaikowski, M., Vandin, A.: backward invariance for linear differential algebraic equations. In: 57th IEEE Conference on Decision and Control, CDC 2018, pp. 3771\u20133776 (2018). https:\/\/doi.org\/10.1109\/CDC.2018.8619710","DOI":"10.1109\/CDC.2018.8619710"},{"key":"16_CR82","doi-asserted-by":"publisher","unstructured":"Tognazzi, S., Tribastone, M., Tschaikowski, M., Vandin, A.: Differential equivalence yields network centrality. In: 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems ISoLA 2018, pp. 186\u2013201 (2018). https:\/\/doi.org\/10.1007\/978-3-030-03424-5_13","DOI":"10.1007\/978-3-030-03424-5_13"},{"key":"16_CR83","doi-asserted-by":"publisher","unstructured":"Tognazzi, S., Tribastone, M., Tschaikowski, M., Vandin, A.: Differential equivalence for linear differential algebraic equations. IEEE Trans. Autom. Control 67(7), 3484\u20133493 (2022). https:\/\/doi.org\/10.1109\/TAC.2021.3108530","DOI":"10.1109\/TAC.2021.3108530"},{"key":"16_CR84","doi-asserted-by":"crossref","unstructured":"Toller, D., Tribastone, M., Tschaikowski, M., Vandin, A.: Coarse-graining complex networks for control equivalence. IEEE Trans. Autom. Control (2024)","DOI":"10.1109\/TAC.2024.3448240"},{"key":"16_CR85","doi-asserted-by":"publisher","unstructured":"Tribastone, M., Vandin, A.: Speeding up stochastic and deterministic simulation by aggregation: an advanced tutorial. In: 2018 Winter Simulation Conference, WSC 2018, pp. 336\u2013350 (2018). https:\/\/doi.org\/10.1109\/WSC.2018.8632364","DOI":"10.1109\/WSC.2018.8632364"},{"key":"16_CR86","doi-asserted-by":"crossref","unstructured":"Tschaikowski, M., Tribastone, M.: Exact fluid Lumpability in Markovian process algebra. Theor. Comput. Sci. 538, 140\u2013166 (2014). Quantitative Aspects of Programming Languages and Systems (2011-12)","DOI":"10.1016\/j.tcs.2013.07.029"},{"issue":"4","key":"16_CR87","doi-asserted-by":"publisher","first-page":"1099","DOI":"10.1109\/TAC.2015.2457172","volume":"61","author":"M Tschaikowski","year":"2016","unstructured":"Tschaikowski, M., Tribastone, M.: Approximate reduction of heterogenous nonlinear models with differential hulls. IEEE Trans. Autom. Control 61(4), 1099\u20131104 (2016). https:\/\/doi.org\/10.1109\/TAC.2015.2457172","journal-title":"IEEE Trans. Autom. Control"},{"key":"16_CR88","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1016\/j.peva.2016.12.005","volume":"109","author":"M Tschaikowski","year":"2017","unstructured":"Tschaikowski, M., Tribastone, M.: Spatial fluid limits for stochastic mobile networks. Perform. Evaluation 109, 52\u201376 (2017)","journal-title":"Perform. Evaluation"},{"key":"16_CR89","doi-asserted-by":"crossref","unstructured":"Tu, K., Cui, P., Wang, X., Yu, P.S., Zhu, W.: Deep recursive network embedding with regular equivalence. In: Proceedings of 24th ACM SIGKDD KDD, pp. 2357\u20132366 (2018)","DOI":"10.1145\/3219819.3220068"},{"key":"16_CR90","doi-asserted-by":"publisher","unstructured":"Vandin, A., Tribastone, M.: Quantitative abstractions for collective adaptive systems. In: SFM 2016, Bertinoro Summer School, pp. 202\u2013232 (2016). https:\/\/doi.org\/10.1007\/978-3-319-34096-8_7","DOI":"10.1007\/978-3-319-34096-8_7"},{"key":"16_CR91","doi-asserted-by":"crossref","unstructured":"Vandin, A., Tribastone, M.: Quantitative abstractions for collective adaptive systems, pp. 202\u2013232. Springer International Publishing, Cham (2016)","DOI":"10.1007\/978-3-319-34096-8_7"},{"key":"16_CR92","unstructured":"Virtanen, P., et\u00a0al.: Scipy 1.0: fundamental algorithms for scientific computing in python. Nat. Methods 17(3), 261\u2013272 (2020)"},{"key":"16_CR93","doi-asserted-by":"publisher","unstructured":"Voit, E.O., Martens, H.A., Omholt, S.W.: 150 years of the mass action law. PLOS Comput. Biol. 11(1), 1\u20137 (2015). https:\/\/doi.org\/10.1371\/journal.pcbi.1004012","DOI":"10.1371\/journal.pcbi.1004012"},{"key":"16_CR94","doi-asserted-by":"crossref","unstructured":"Waizmann, T., Bortolussi, L., Vandin, A., Tribastone, M.: Improved estimations of stochastic chemical kinetics by finite-state expansion. Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences 477(2251), 20200964 (2021). https:\/\/doi.org\/10.1098\/rspa.2020.0964","DOI":"10.1098\/rspa.2020.0964"},{"issue":"2251","key":"16_CR95","doi-asserted-by":"publisher","first-page":"20200964","DOI":"10.1098\/rspa.2020.0964","volume":"477","author":"T Waizmann","year":"2021","unstructured":"Waizmann, T., Bortolussi, L., Vandin, A., Tribastone, M.: Improved estimations of stochastic chemical kinetics by finite-state expansion. Proc. Royal Soc. A 477(2251), 20200964 (2021)","journal-title":"Proc. Royal Soc. A"},{"key":"16_CR96","doi-asserted-by":"crossref","unstructured":"Waizmann, T., Tribastone, M.: Difflqn: differential equation analysis of layered queuing networks. In: Companion Publication for ACM\/SPEC on International Conference on Performance Engineering, pp. 63\u201368. ICPE \u201916 Companion, Association for Computing Machinery, New York, NY, USA (2016)","DOI":"10.1145\/2859889.2859896"},{"key":"16_CR97","doi-asserted-by":"crossref","unstructured":"Wasserman, S., Faust, K.: Social network analysis: Methods and applications (1994)","DOI":"10.1017\/CBO9780511815478"}],"container-title":["Lecture Notes in Computer Science","Automated Technology for Verification and Analysis"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-08707-2_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,8,20]],"date-time":"2026-08-20T12:25:30Z","timestamp":1787228730000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-08707-2_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,10,26]]},"ISBN":["9783032087065","9783032087072"],"references-count":97,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-08707-2_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,10,26]]},"assertion":[{"value":"26 October 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ATVA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Automated Technology for Verification and Analysis","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Bengaluru","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"India","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":"27 October 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"31 October 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":"atva2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/conf.researchr.org\/home\/atva-2025","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}