{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T04:17:23Z","timestamp":1759637843728,"version":"3.37.3"},"publisher-location":"Cham","reference-count":29,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319674704"},{"type":"electronic","value":"9783319674711"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-67471-1_18","type":"book-chapter","created":{"date-parts":[[2017,8,31]],"date-time":"2017-08-31T15:05:14Z","timestamp":1504191914000},"page":"291-299","source":"Crossref","is-referenced-by-count":6,"title":["KaDE: A Tool to Compile Kappa Rules into (Reduced) ODE Models"],"prefix":"10.1007","author":[{"given":"Ferdinanda","family":"Camporesi","sequence":"first","affiliation":[]},{"given":"J\u00e9r\u00f4me","family":"Feret","sequence":"additional","affiliation":[]},{"given":"Kim Quy\u00ean","family":"L\u00fd","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,9,1]]},"reference":[{"issue":"1","key":"18_CR1","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1016\/j.tcs.2004.03.065","volume":"325","author":"V Danos","year":"2004","unstructured":"Danos, V., Laneve, C.: Formal molecular biology. TCS 325(1), 69\u2013110 (2004)","journal-title":"TCS"},{"key":"18_CR2","unstructured":"Feret, J.: Gkappa: a library to generate site graphs with graphviz. https:\/\/github.com\/Kappa-Dev\/GKappa"},{"key":"18_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1007\/978-3-540-76637-7_10","volume-title":"Programming Languages and Systems","author":"V Danos","year":"2007","unstructured":"Danos, V., Feret, J., Fontana, W., Krivine, J.: Scalable simulation of cellular signaling networks. In: Shao, Z. (ed.) APLAS 2007. LNCS, vol. 4807, pp. 139\u2013157. Springer, Heidelberg (2007). doi: 10.1007\/978-3-540-76637-7_10"},{"key":"18_CR4","doi-asserted-by":"crossref","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. PNAS 106, 6453\u20136458 (2009)","journal-title":"PNAS"},{"key":"18_CR5","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: Jouannaud, J.P. (ed.) Proceedings of LICS 2010, pp. 362\u2013381. IEEE Computer Society (2010)","DOI":"10.1109\/LICS.2010.44"},{"key":"18_CR6","unstructured":"Boutillier, P., Feret, J., Krivine, J., Kim L\u00fd, Q.: Kasim development homepage. http:\/\/dev.executableknowledge.org"},{"key":"18_CR7","unstructured":"Monagan, M.B., Geddes, K.O., Heal, K.M., Labahn, G., Vorkoetter, S.M., McCarron, J., DeMarco, P.: Maple 10 Programming Guide. Maplesoft (2005)"},{"key":"18_CR8","unstructured":"Wolfram Research, Inc.: Mathematica (2017)"},{"key":"18_CR9","unstructured":"MATLAB version 9.2: The MathWorks Inc., Natick, Massachusetts (2017)"},{"key":"18_CR10","unstructured":"Eaton, J.W., Bateman, D., Hauberg, S., Wehbring, R.: GNU Octave Version 4.0.0 Manual: A High-Level Interactive Language for Numerical Computations. Free Software Foundation (2015)"},{"issue":"17","key":"18_CR11","doi-asserted-by":"crossref","first-page":"3289","DOI":"10.1093\/bioinformatics\/bth378","volume":"20","author":"M Blinov","year":"2004","unstructured":"Blinov, M., 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"},{"key":"18_CR12","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1007\/978-1-59745-525-1_5","volume":"500","author":"JR Faeder","year":"2009","unstructured":"Faeder, J.R., Blinov, M.L., Hlavacek, W.S.: Rule-based modeling of biochemical systems with bionetgen. Methods Mol. Biol. 500, 113\u2013167 (2009)","journal-title":"Methods Mol. Biol."},{"key":"18_CR13","doi-asserted-by":"crossref","unstructured":"Hucka, M., Bergmann, F.T., Hoops, S., Keating, S.M., Sahle, S., Schaff, J.C., Smith, L.P., Wilkinson, D.J.: The systems biology markup language (sbml): language specification for level 3 version 1 core (2010)","DOI":"10.1038\/npre.2010.4959"},{"key":"18_CR14","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). doi: 10.1007\/978-3-662-54580-5_19"},{"issue":"11","key":"18_CR15","doi-asserted-by":"crossref","first-page":"1455","DOI":"10.1093\/bioinformatics\/btp170","volume":"25","author":"A Dr\u00e4ger","year":"2009","unstructured":"Dr\u00e4ger, A., Planatscher, H., Wouamba, D.M., Schr\u00f6der, A., Hucka, M., Endler, L., Golebiewski, M., M\u00fcller, W., Zell, A.: SBML2LaTeX: conversion of SBML files into human-readable reports. Bioinformatics 25(11), 1455\u20131456 (2009)","journal-title":"Bioinformatics"},{"key":"18_CR16","doi-asserted-by":"crossref","first-page":"1254","DOI":"10.1109\/JPROC.2008.925458","volume":"96","author":"A Funahashi","year":"2008","unstructured":"Funahashi, A., Matsuoka, Y., Jouraku, A., Morohashi, M., Kikuchi, N., Kitano, H.: Celldesigner 3.5: A versatile modeling tool for biochemical networks. Proc. IEEE 96, 1254\u20131265 (2008)","journal-title":"Proc. IEEE"},{"key":"18_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1007\/978-3-662-54434-1_8","volume-title":"Programming Languages and Systems","author":"P Boutillier","year":"2017","unstructured":"Boutillier, P., Ehrhard, T., Krivine, J.: Incremental update for graph rewriting. In: Yang, H. (ed.) ESOP 2017. LNCS, vol. 10201, pp. 201\u2013228. Springer, Heidelberg (2017). doi: 10.1007\/978-3-662-54434-1_8"},{"key":"18_CR18","doi-asserted-by":"crossref","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. Meth. 8, 177\u2013183 (2011)","journal-title":"Nat. Meth."},{"key":"18_CR19","first-page":"29","volume":"276","author":"F Camporesi","year":"2011","unstructured":"Camporesi, F., Feret, J.: Formal reduction for rule-based models. ENTCS 276, 29\u201359 (2011). Proc. MFPS XXVII","journal-title":"ENTCS"},{"key":"18_CR20","first-page":"73","volume":"265","author":"F Camporesi","year":"2010","unstructured":"Camporesi, F., Feret, J., Koeppl, H., Petrov, T.: Combining model reductions. ENTCS 265, 73\u201396 (2010). Proc. MFPS XXVI","journal-title":"ENTCS"},{"key":"18_CR21","first-page":"45","volume":"316","author":"J Feret","year":"2015","unstructured":"Feret, J.: An algebraic approach for inferring and using symmetries in rule-based models. ENTCS 316, 45\u201365 (2015). Proc. SASB 2014","journal-title":"ENTCS"},{"issue":"1\u20133","key":"18_CR22","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1016\/j.tcs.2007.11.018","volume":"393","author":"P Buchholz","year":"2008","unstructured":"Buchholz, P.: Bisimulation relations for weighted automata. Theor. Comput. Sci. 393(1\u20133), 109\u2013123 (2008)","journal-title":"Theor. Comput. Sci."},{"issue":"4","key":"18_CR23","first-page":"527","volume":"7","author":"J Feret","year":"2013","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)","journal-title":"Int. J. Softw. Inform."},{"issue":"1","key":"18_CR24","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1017\/S0021900200107338","volume":"31","author":"P Buchholz","year":"1994","unstructured":"Buchholz, P.: Exact and ordinary lumpability in finite Markov chains. J. Appl. Probab. 31(1), 59\u201375 (1994)","journal-title":"J. Appl. Probab."},{"key":"18_CR25","doi-asserted-by":"crossref","unstructured":"Camporesi, F., Feret, J., L\u00fd, K.Q.: KaDE: a tool to compile kappa rules into (reduced) ode models: Supplementary information. http:\/\/www.di.ens.fr\/~feret\/CMSB2017-tool-paper\/","DOI":"10.1007\/978-3-319-67471-1_18"},{"key":"18_CR26","doi-asserted-by":"crossref","unstructured":"Petrov, T., Feret, J., Koeppl, H.: Reconstructing species-based dynamics from reduced stochastic rule-based models. In: Laroque, C., Himmelspach, J., Pasupathy, R., Rose, O., Uhrmacher, A.M. (eds.) Proceedings of WSC 2012, WSC (2012)","DOI":"10.1109\/WSC.2012.6465241"},{"key":"18_CR27","doi-asserted-by":"crossref","unstructured":"Oury, N., Pedersen, M., Petersen, R.L.: Canonical labelling of site graphs. In Petre, I. (ed.) Proceedings of CompMod 2013, EPTCS, vol. 116, pp. 13\u201328 (2013)","DOI":"10.4204\/EPTCS.116.3"},{"key":"18_CR28","unstructured":"Cardelli, L., Tribastone, M., Tschaikowski, M., Vandin, A.: Forward and backward bisimulations for chemical reaction networks. In: Aceto, L., de Frutos-Escrig, D. (eds.) Proceedings of CONCUR 2015, vol. 42, pp. 226\u2013239. LIPIcs., Schloss Dagstuhl (2015)"},{"key":"18_CR29","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). doi: 10.1007\/978-3-662-49674-9_6"}],"container-title":["Lecture Notes in Computer Science","Computational Methods in Systems Biology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-67471-1_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,2]],"date-time":"2019-10-02T20:43:28Z","timestamp":1570049008000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-67471-1_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319674704","9783319674711"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-67471-1_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}