{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,21]],"date-time":"2026-08-21T13:51:43Z","timestamp":1787320303461,"version":"build-2736575974"},"publisher-location":"Berlin, Heidelberg","reference-count":34,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783662496732","type":"print"},{"value":"9783662496749","type":"electronic"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-662-49674-9_6","type":"book-chapter","created":{"date-parts":[[2016,4,8]],"date-time":"2016-04-08T14:49:00Z","timestamp":1460126940000},"page":"93-111","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":21,"title":["Efficient Syntax-Driven Lumping of Differential Equations"],"prefix":"10.1007","author":[{"given":"Luca","family":"Cardelli","sequence":"first","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":[[2016,4,9]]},"reference":[{"key":"6_CR1","doi-asserted-by":"crossref","unstructured":"Danos, V., Feret, J., Fontana, W., Harmer, R., Krivine, J.: Abstracting the differential semantics of rule-based models: exact and automated model reduction. In: LICS, pp. 362\u2013381 (2010)","DOI":"10.1109\/LICS.2010.44"},{"key":"6_CR2","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, 3289\u20133291 (2004)","journal-title":"Bioinformatics"},{"key":"6_CR3","doi-asserted-by":"publisher","first-page":"2095","DOI":"10.1016\/j.tcs.2011.01.014","volume":"412","author":"T Dang","year":"2011","unstructured":"Dang, T., Guernic, C.L., Maler, O.: Computing reachable states for nonlinear biological models. TCS 412, 2095\u20132107 (2011)","journal-title":"TCS"},{"key":"6_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1007\/978-3-642-33386-6_12","volume-title":"Automated Technology for Verification and Analysis","author":"MA Ben Sassi","year":"2012","unstructured":"Ben Sassi, M.A., Testylier, R., Dang, T., Girard, A.: Reachability analysis of polynomial systems using linear programming relaxations. In: Chakraborty, S., Mukund, M. (eds.) ATVA 2012. LNCS, vol. 7561, pp. 137\u2013151. Springer, Heidelberg (2012)"},{"key":"6_CR5","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1006\/jcss.1999.1683","volume":"60","author":"C Baier","year":"2000","unstructured":"Baier, C., Engelen, B., Majster-Cederbaum, M.E.: Deciding bisimilarity and similarity for probabilistic processes. J. Comput. Syst. Sci. 60, 187\u2013231 (2000)","journal-title":"J. Comput. Syst. Sci."},{"key":"6_CR6","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1016\/S0020-0190(03)00343-0","volume":"87","author":"S Derisavi","year":"2003","unstructured":"Derisavi, S., Hermanns, H., Sanders, W.: Optimal state-space lumping in Markov chains. Inf. Process. Lett. 87, 309\u2013315 (2003)","journal-title":"Inf. Process. Lett."},{"key":"6_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1007\/978-3-642-12002-2_4","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"A Valmari","year":"2010","unstructured":"Valmari, A., Franceschinis, G.: Simple O(m logn) time Markov chain lumping. In: Esparza, J., Majumdar, R. (eds.) TACAS 2010. LNCS, vol. 6015, pp. 38\u201352. Springer, Heidelberg (2010)"},{"key":"6_CR8","doi-asserted-by":"publisher","first-page":"973","DOI":"10.1137\/0216062","volume":"16","author":"R Paige","year":"1987","unstructured":"Paige, R., Tarjan, R.: Three partition refinement algorithms. SIAM J. Comput. 16, 973\u2013989 (1987)","journal-title":"SIAM J. Comput."},{"key":"6_CR9","doi-asserted-by":"crossref","DOI":"10.1007\/b98868","volume-title":"Mathematical Biology I: An Introduction","author":"JD Murray","year":"2002","unstructured":"Murray, J.D.: Mathematical Biology I: An Introduction, 3rd edn. Springer, Heidelberg (2002)","edition":"3"},{"key":"6_CR10","doi-asserted-by":"publisher","first-page":"2229","DOI":"10.1016\/0009-2509(87)80099-4","volume":"42","author":"M Feinberg","year":"1987","unstructured":"Feinberg, M.: Chemical reaction network structure and the stability of complex isothermal reactors \u2013 I. The deficiency zero and deficiency one theorems. Chem. Eng. Sci. 42, 2229\u20132268 (1987)","journal-title":"Chem. Eng. Sci."},{"key":"6_CR11","doi-asserted-by":"crossref","unstructured":"Cardelli, L., Tribastone, M., Tschaikowski, M., Vandin, A.: Forward and backward bisimulations for chemical reaction networks. In: CONCUR, pp. 226\u2013239 (2015)","DOI":"10.1145\/2933575.2935318"},{"key":"6_CR12","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(91)90030-6","volume":"94","author":"KG Larsen","year":"1991","unstructured":"Larsen, K.G., Skou, A.: Bisimulation through probabilistic testing. Inf. Comput. 94, 1\u201328 (1991)","journal-title":"Inf. Comput."},{"key":"6_CR13","doi-asserted-by":"publisher","first-page":"59","DOI":"10.2307\/3215235","volume":"31","author":"P Buchholz","year":"1994","unstructured":"Buchholz, P.: Exact and ordinary lumpability in finite Markov chains. J. Appl. Probab. 31, 59\u201375 (1994)","journal-title":"J. Appl. Probab."},{"key":"6_CR14","doi-asserted-by":"publisher","DOI":"10.1137\/1.9780898718003","volume-title":"Iterative Methods for Sparse Linear Systems","author":"Y Saad","year":"2003","unstructured":"Saad, Y.: Iterative Methods for Sparse Linear Systems, 2nd edn. Society for Industrial and Applied Mathematics, Philadelphia (2003)","edition":"2"},{"key":"6_CR15","first-page":"1","volume":"38","author":"TA Davis","year":"2011","unstructured":"Davis, T.A., Hu, Y.: The University of Florida sparse matrix collection. ACM Trans. Math. Softw. 38, 1\u201325 (2011)","journal-title":"ACM Trans. Math. Softw."},{"key":"6_CR16","doi-asserted-by":"publisher","first-page":"1413","DOI":"10.1016\/0009-2509(89)85014-6","volume":"44","author":"G Li","year":"1989","unstructured":"Li, G., Rabitz, H.: A general analysis of exact lumping in chemical kinetics. Chem. Eng. Sci. 44, 1413\u20131430 (1989)","journal-title":"Chem. Eng. Sci."},{"key":"6_CR17","doi-asserted-by":"publisher","first-page":"1531","DOI":"10.1137\/S0036139995293294","volume":"57","author":"J Toth","year":"1997","unstructured":"Toth, J., Li, G., Rabitz, H., Tomlin, A.S.: The effect of lumping and expanding on kinetic differential equations. SIAM J. Appl. Math. 57, 1531\u20131556 (1997)","journal-title":"SIAM J. Appl. Math."},{"key":"6_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"380","DOI":"10.1007\/978-3-642-32940-1_27","volume-title":"CONCUR 2012 \u2013 Concurrency Theory","author":"M Tschaikowski","year":"2012","unstructured":"Tschaikowski, M., Tribastone, M.: Exact fluid lumpability for Markovian process algebra. In: Koutny, M., Ulidowski, I. (eds.) CONCUR 2012. LNCS, vol. 7454, pp. 380\u2013394. Springer, Heidelberg (2012)"},{"issue":"1","key":"6_CR19","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1145\/2914770.2837649","volume":"51","author":"Luca Cardelli","year":"2016","unstructured":"Cardelli, L., Tribastone, M., Tschaikowski, M., Vandin, A.: Symbolic computation of differential equivalences. In: POPL (2016, to appear)","journal-title":"ACM SIGPLAN Notices"},{"key":"6_CR20","series-title":"Lecture Notes in Computer Science","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.) MFCS 2015. LNCS, vol. 9234, pp. 293\u2013306. Springer, Heidelberg (2015)"},{"key":"6_CR21","first-page":"363","volume":"30","author":"V Hars","year":"1979","unstructured":"Hars, V., Toth, J.: On the inverse problem of reaction kinetics. Colloquia Mathematica Societatis Janos Bolyai 30, 363\u2013379 (1979)","journal-title":"Colloquia Mathematica Societatis Janos Bolyai"},{"key":"6_CR22","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1038\/nmeth.1546","volume":"8","author":"MW Sneddon","year":"2011","unstructured":"Sneddon, M.W., Faeder, J.R., Emonet, T.: Efficient modeling, simulation and coarse-graining of biological complexity with NFsim. Nat. Methods 8, 177\u2013183 (2011)","journal-title":"Nat. Methods"},{"key":"6_CR23","doi-asserted-by":"publisher","first-page":"e1003278","DOI":"10.1371\/journal.pcbi.1003278","volume":"9","author":"R Suderman","year":"2013","unstructured":"Suderman, R., Deeds, E.J.: Machines vs ensembles: effective MAPK signaling through heterogeneous sets of protein complexes. PLoS Comput. Biol. 9, e1003278 (2013)","journal-title":"PLoS Comput. Biol."},{"key":"6_CR24","doi-asserted-by":"publisher","first-page":"3769","DOI":"10.4049\/jimmunol.170.7.3769","volume":"170","author":"JR Faeder","year":"2003","unstructured":"Faeder, J.R., Hlavacek, W.S., Reischl, I., Blinov, M.L., Metzger, H., Redondo, A., Wofsy, C., Goldstein, B.: Investigation of early events in Fc $$\\varepsilon $$ RI-mediated signaling using a detailed mathematical model. J. Immunol. 170, 3769\u20133781 (2003)","journal-title":"J. Immunol."},{"key":"6_CR25","doi-asserted-by":"publisher","first-page":"e1000364","DOI":"10.1371\/journal.pcbi.1000364","volume":"5","author":"D Barua","year":"2009","unstructured":"Barua, D., Faeder, J.R., Haugh, J.M.: A bipolar clamp mechanism for activation of jak-family protein tyrosine kinases. PLoS Comput. Biol. 5, e1000364 (2009)","journal-title":"PLoS Comput. Biol."},{"key":"6_CR26","doi-asserted-by":"publisher","first-page":"e1003217","DOI":"10.1371\/journal.pcbi.1003217","volume":"9","author":"D Barua","year":"2013","unstructured":"Barua, D., Hlavacek, W.S.: Modeling the effect of apc truncation on destruction complex function in colorectal cancer cells. PLoS Comput. Biol. 9, e1003217 (2013)","journal-title":"PLoS Comput. Biol."},{"key":"6_CR27","doi-asserted-by":"publisher","first-page":"910","DOI":"10.1093\/bioinformatics\/btp066","volume":"25","author":"J Colvin","year":"2009","unstructured":"Colvin, J., Monine, M.I., Faeder, J.R., Hlavacek, W.S., Hoff, D.D.V., Posner, R.G.: Simulation of large-scale rule-based models. Bioinformatics 25, 910\u2013917 (2009)","journal-title":"Bioinformatics"},{"key":"6_CR28","doi-asserted-by":"publisher","first-page":"116","DOI":"10.1016\/j.jtbi.2011.11.014","volume":"295","author":"P Kocieniewski","year":"2012","unstructured":"Kocieniewski, P., Faeder, J.R., Lipniacki, T.: The interplay of double phosphorylation and scaffolding in MAPK pathways. J. Theor. Biol. 295, 116\u2013124 (2012)","journal-title":"J. Theor. Biol."},{"key":"6_CR29","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1186\/1752-0509-8-84","volume":"8","author":"L Cardelli","year":"2014","unstructured":"Cardelli, L.: Morphisms of reaction networks that couple structure to function. BMC Syst. Biol. 8, 84 (2014)","journal-title":"BMC Syst. Biol."},{"key":"6_CR30","doi-asserted-by":"crossref","unstructured":"Massink, M., Katoen, J., Latella, D.: Model checking dependability attributes of wireless group communication. In: DSN, pp. 711\u2013720 (2004)","DOI":"10.1109\/DSN.2004.1311942"},{"key":"6_CR31","doi-asserted-by":"crossref","unstructured":"Haverkort, B., Hermanns, H., Katoen, J.P.: On the use of model checking techniques for dependability evaluation. In: SRDS, pp. 228\u2013237 (2000)","DOI":"10.1109\/RELDI.2000.885410"},{"key":"6_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"234","DOI":"10.1007\/11817963_23","volume-title":"Computer Aided Verification","author":"M Kwiatkowska","year":"2006","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: Symmetry reduction for probabilistic model checking. In: Ball, T., Jones, R.B. (eds.) CAV 2006. LNCS, vol. 4144, pp. 234\u2013248. Springer, Heidelberg (2006)"},{"key":"6_CR33","doi-asserted-by":"crossref","unstructured":"Katoen, J., Khattri, M., Zapreev, I.: A Markov reward model checker. In: QEST, pp. 243\u2013244 (2005)","DOI":"10.1109\/QEST.2005.2"},{"key":"6_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1007\/978-3-540-71209-1_9","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"J-P Katoen","year":"2007","unstructured":"Katoen, J.-P., Kemna, T., Zapreev, I., Jansen, D.N.: Bisimulation minimisation mostly speeds up probabilistic model checking. In: Grumberg, O., Huth, M. (eds.) TACAS 2007. LNCS, vol. 4424, pp. 87\u2013101. Springer, Heidelberg (2007)"}],"container-title":["Lecture Notes in Computer Science","Tools and Algorithms for the Construction and Analysis of Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-49674-9_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,2]],"date-time":"2025-06-02T04:26:41Z","timestamp":1748838401000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-49674-9_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783662496732","9783662496749"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-49674-9_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"9 April 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}