{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T06:47:26Z","timestamp":1725864446767},"publisher-location":"Cham","reference-count":21,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319451763"},{"type":"electronic","value":"9783319451770"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[[2016]]},"DOI":"10.1007\/978-3-319-45177-0_13","type":"book-chapter","created":{"date-parts":[[2016,9,3]],"date-time":"2016-09-03T05:42:38Z","timestamp":1472881358000},"page":"201-215","source":"Crossref","is-referenced-by-count":0,"title":["Normalizing Chemical Reaction Networks by Confluent Structural Simplification"],"prefix":"10.1007","author":[{"given":"Guillaume","family":"Madelaine","sequence":"first","affiliation":[]},{"given":"Elisa","family":"Tonello","sequence":"additional","affiliation":[]},{"given":"C\u00e9dric","family":"Lhoussaine","sequence":"additional","affiliation":[]},{"given":"Joachim","family":"Niehren","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,9,4]]},"reference":[{"issue":"14","key":"13_CR1","doi-asserted-by":"crossref","first-page":"1805","DOI":"10.1093\/bioinformatics\/btl172","volume":"22","author":"L Calzone","year":"2006","unstructured":"Calzone, L., Fages, F., Soliman, S.: BIOCHAM: an environment for modeling biological systems and formalizing experimental knowledge. Bioinformatics 22(14), 1805\u20131807 (2006)","journal-title":"Bioinformatics"},{"issue":"4","key":"13_CR2","doi-asserted-by":"crossref","first-page":"210","DOI":"10.1093\/bib\/bbm029","volume":"8","author":"C Chaouiya","year":"2007","unstructured":"Chaouiya, C.: Petri net modelling of biological networks. Briefings Bioinf. 8(4), 210\u2013219 (2007)","journal-title":"Briefings Bioinf."},{"key":"13_CR3","doi-asserted-by":"crossref","first-page":"64","DOI":"10.1016\/j.tcs.2014.07.032","volume":"599","author":"F Fages","year":"2015","unstructured":"Fages, F., Gay, S., Soliman, S.: Inferring reaction systems from ordinary differential equations. Theor. Comput. Sci. 599, 64\u201378 (2015)","journal-title":"Theor. Comput. Sci."},{"issue":"10","key":"13_CR4","doi-asserted-by":"crossref","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-i. The deficiency zero and deficiency one theorems. Chem. Eng. Sci. 42(10), 2229\u20132268 (1987)","journal-title":"Chem. Eng. Sci."},{"issue":"1","key":"13_CR5","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1186\/1471-2105-5-175","volume":"5","author":"J Gagneur","year":"2004","unstructured":"Gagneur, J., Klamt, S.: Computation of elementary modes: a unifying framework and the new binary approach. BMC Bioinf. 5(1), 175 (2004)","journal-title":"BMC Bioinf."},{"issue":"4","key":"13_CR6","doi-asserted-by":"crossref","first-page":"524","DOI":"10.1093\/bioinformatics\/btg015","volume":"19","author":"M Hucka","year":"2003","unstructured":"Hucka, M., et al.: The systems biology markup language (SBML): a medium for representation and exchange of biochemical network models. Bioinformatics 19(4), 524\u2013531 (2003)","journal-title":"Bioinformatics"},{"issue":"4","key":"13_CR7","doi-asserted-by":"crossref","first-page":"797","DOI":"10.1145\/322217.322230","volume":"27","author":"GP Huet","year":"1980","unstructured":"Huet, G.P.: Confluent reductions: abstract properties and applications to term rewriting systems. J. ACM 27(4), 797\u2013821 (1980)","journal-title":"J. ACM"},{"key":"13_CR8","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1002\/psp4.3","volume":"4","author":"N Juty","year":"2015","unstructured":"Juty, N., Ali, R., Glont, M., Keating, S., Rodriguez, N., Swat, M.J., Wimalaratne, S.M., Hermjakob, H., Le Nov\u00e8re, N., Laibe, C., Chelliah, V.: BioModels: Content, Features, Functionality and Use. CPT Pharmacometrics Syst. Pharmacol. 4, 55\u201368 (2015)","journal-title":"CPT Pharmacometrics Syst. Pharmacol."},{"issue":"10","key":"13_CR9","doi-asserted-by":"crossref","first-page":"1375","DOI":"10.1021\/j150544a010","volume":"60","author":"EL King","year":"1956","unstructured":"King, E.L., Altman, C.: A schematic method of deriving the rate laws for enzyme-catalyzed reactions. J. Phys. Chem. 60(10), 1375\u20131378 (1956)","journal-title":"J. Phys. Chem."},{"issue":"4","key":"13_CR10","doi-asserted-by":"crossref","first-page":"737","DOI":"10.1139\/v81-107","volume":"59","author":"C Kuo-Chen","year":"1981","unstructured":"Kuo-Chen, C., Forsen, S.: Graphical rules of steady-state reaction systems. Can. J. Chem. 59(4), 737\u2013755 (1981)","journal-title":"Can. J. Chem."},{"key":"13_CR11","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1007\/978-3-642-11712-1_6","volume":"XII","author":"C Kuttler","year":"2010","unstructured":"Kuttler, C., Lhoussaine, C., Nebut, M.: Rule-based modeling of transcriptional attenuation at the tryptophan operon. Trans. Comput. Syst. Biol. XII, 199\u2013228 (2010)","journal-title":"Trans. Comput. Syst. Biol."},{"key":"13_CR12","series-title":"lecture notes in computer science","doi-asserted-by":"crossref","first-page":"82","DOI":"10.1007\/978-3-319-10398-3_7","volume-title":"Formal Methods in Macro-Biology","author":"G Madelaine","year":"2014","unstructured":"Madelaine, G., Lhoussaine, C., Niehren, J.: Attractor equivalence: an observational semantics for reaction networks. In: Fages, F., Piazza, C. (eds.) FMMB 2014. LNCS, vol. 8738, pp. 82\u2013101. Springer, Heidelberg (2014)"},{"key":"13_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1007\/978-3-319-23401-4_12","volume-title":"Computational Methods in Systems Biology","author":"G Madelaine","year":"2015","unstructured":"Madelaine, G., Lhoussaine, C., Niehren, J.: Structural Simplification of Chemical Reaction Networks Preserving Deterministic Semantics. In: Roux, O., Bourdon, J. (eds.) CMSB 2015. LNCS, vol. 9308, pp. 133\u2013144. Springer, Heidelberg (2015)"},{"key":"13_CR14","doi-asserted-by":"crossref","first-page":"1278","DOI":"10.1093\/nar\/gkr923","volume":"40","author":"U M\u00e4der","year":"2012","unstructured":"M\u00e4der, U., Schmeisky, A.G., Fl\u00f3rez, L.A., St\u00fclke, J.: Subtiwiki-a comprehensive community resource for the model organism bacillus subtilis. Nucleic Acids Res. 40, 1278\u20131287 (2012)","journal-title":"Nucleic Acids Res."},{"issue":"5","key":"13_CR15","doi-asserted-by":"crossref","first-page":"453","DOI":"10.1017\/S0956796800003762","volume":"10","author":"J Niehren","year":"2000","unstructured":"Niehren, J.: Uniform confluence in concurrent computation. J. Funct. Program. 10(5), 453\u2013499 (2000)","journal-title":"J. Funct. Program."},{"key":"13_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1007\/978-3-319-23401-4_14","volume-title":"Computational Methods in Systems Biology","author":"J Niehren","year":"2015","unstructured":"Niehren, J., John, M., Versari, C., Coutte, F., Jacques, P.: Qualitative reasoning for reaction networks with partial kinetic information. In: Roux, O., Bourdon, J. (eds.) CMSB 2015. LNCS, vol. 9308, pp. 157\u2013169. Springer, Heidelberg (2015)"},{"issue":"1","key":"13_CR17","doi-asserted-by":"crossref","first-page":"86","DOI":"10.1186\/1752-0509-2-86","volume":"2","author":"O Radulescu","year":"2008","unstructured":"Radulescu, O., Gorban, A., Zinovyev, A., Lilienbaum, A.: Robust simplifications of multiscale biochemical networks. BMC Syst. Biol. 2(1), 86 (2008)","journal-title":"BMC Syst. Biol."},{"doi-asserted-by":"crossref","unstructured":"Radulescu, O., Gorban, A.N., Zinovyev, A., Noel, V.: Reduction of dynamical biochemical reactions networks in computational biology. Frontiers in Genetics (2012)","key":"13_CR18","DOI":"10.3389\/fgene.2012.00131"},{"unstructured":"S\u00e1ez, M., Wiuf, C., Feliu, E.: Graphical reduction of reaction networks by linear elimination of species. arXiv preprint 2015. arXiv:1509.03153","key":"13_CR19"},{"issue":"18","key":"13_CR20","doi-asserted-by":"crossref","first-page":"6608","DOI":"10.1073\/pnas.0710134105","volume":"105","author":"B Schmierer","year":"2008","unstructured":"Schmierer, B., Tournier, A.L., Bates, P.A., Hill, C.S.: Mathematical modeling identifies Smad nucleocytoplasmic shuttling as a dynamic signal-interpreting system. Proc. Natl. Acad. Sci. 105(18), 6608\u20136613 (2008)","journal-title":"Proc. Natl. Acad. Sci."},{"unstructured":"Tonello, E., Owen, M.R., Farcot, E.: On the elimination of intermediate species in chemical reaction networks (2016, in preparation)","key":"13_CR21"}],"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-45177-0_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,24]],"date-time":"2017-06-24T21:58:09Z","timestamp":1498341489000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-45177-0_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319451763","9783319451770"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-45177-0_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}