{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,8]],"date-time":"2025-05-08T15:26:28Z","timestamp":1746717988940,"version":"3.37.3"},"publisher-location":"Cham","reference-count":36,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030047702"},{"type":"electronic","value":"9783030047719"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"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":[[2018]]},"DOI":"10.1007\/978-3-030-04771-9_8","type":"book-chapter","created":{"date-parts":[[2018,12,5]],"date-time":"2018-12-05T17:02:53Z","timestamp":1544029373000},"page":"81-97","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Formalizing a Notion of Concentration Robustness for Biochemical Networks"],"prefix":"10.1007","author":[{"given":"Lucia","family":"Nasti","sequence":"first","affiliation":[]},{"given":"Roberta","family":"Gori","sequence":"additional","affiliation":[]},{"given":"Paolo","family":"Milazzo","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,12,6]]},"reference":[{"key":"8_CR1","volume-title":"An Introduction to Systems Biology: Design Principles of Biological Circuits","author":"A Uri","year":"2006","unstructured":"Uri, A.: An Introduction to Systems Biology: Design Principles of Biological Circuits. CRC Press, Boca Raton (2006)"},{"key":"8_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1007\/3-540-57318-6_30","volume-title":"Hybrid Systems","author":"R Alur","year":"1993","unstructured":"Alur, R., Courcoubetis, C., Henzinger, T.A., Ho, P.-H.: Hybrid automata: an algorithmic approach to the specification and verification of hybrid systems. In: Grossman, R.L., Nerode, A., Ravn, A.P., Rischel, H. (eds.) HS 1991-1992. LNCS, vol. 736, pp. 209\u2013229. Springer, Heidelberg (1993). https:\/\/doi.org\/10.1007\/3-540-57318-6_30"},{"key":"8_CR3","doi-asserted-by":"crossref","unstructured":"Angeli, D., De Leenheer, P., Sontag, E.D.: On the structural monotonicity of chemical reaction networks, pp. 7\u201312. IEEE (2006)","DOI":"10.1109\/CDC.2006.376698"},{"key":"8_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1007\/3-540-36481-1_6","volume-title":"Computational Methods in Systems Biology","author":"M Antoniotti","year":"2003","unstructured":"Antoniotti, M., Mishra, B., Piazza, C., Policriti, A., Simeoni, M.: Modeling cellular behavior with hybrid automata: bisimulation and collapsing. In: Priami, C. (ed.) CMSB 2003. LNCS, vol. 2602, pp. 57\u201374. Springer, Heidelberg (2003). https:\/\/doi.org\/10.1007\/3-540-36481-1_6"},{"key":"8_CR5","unstructured":"Barbuti, R., Gori, R., Levi, F., Milazzo, P.: Specialized predictor for reaction systems with context properties. In: International Workshop on Concurrency, Specification and Programming, CS&P 2015, pp. 31\u201343 (2015)"},{"key":"8_CR6","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1016\/j.tcs.2015.11.041","volume":"623","author":"R Barbuti","year":"2016","unstructured":"Barbuti, R., Gori, R., Levi, F., Milazzo, P.: Investigating dynamic causalities in reaction systems. Theoret. Comput. Sci. 623, 114\u2013145 (2016)","journal-title":"Theoret. Comput. Sci."},{"issue":"2\u20133","key":"8_CR7","doi-asserted-by":"publisher","first-page":"173","DOI":"10.3233\/FI-2016-1403","volume":"147","author":"R Barbuti","year":"2016","unstructured":"Barbuti, R., Gori, R., Levi, F., Milazzo, P.: Specialized predictor for reaction systems with context properties. Fundamenta Informaticae 147(2\u20133), 173\u2013191 (2016)","journal-title":"Fundamenta Informaticae"},{"issue":"6636","key":"8_CR8","doi-asserted-by":"publisher","first-page":"913","DOI":"10.1038\/43199","volume":"387","author":"N Barkai","year":"1997","unstructured":"Barkai, N., Leibler, S.: Robustness in simple biochemical networks. Nature 387(6636), 913 (1997)","journal-title":"Nature"},{"issue":"2","key":"8_CR9","doi-asserted-by":"publisher","first-page":"691","DOI":"10.1073\/pnas.0234782100","volume":"100","author":"E Batchelor","year":"2003","unstructured":"Batchelor, E., Goulian, M.: Robustness and the cycle of phosphorylation and dephosphorylation in a two-component regulatory system. Proc. Nat. Acad. Sci. U.S.A. 100(2), 691\u2013696 (2003)","journal-title":"Proc. Nat. Acad. Sci. U.S.A."},{"key":"8_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1007\/3-540-36481-1_13","volume-title":"Computational Methods in Systems Biology","author":"N Chabrier","year":"2003","unstructured":"Chabrier, N., Fages, F.: Symbolic model checking of biochemical networks. In: Priami, C. (ed.) CMSB 2003. LNCS, vol. 2602, pp. 149\u2013162. Springer, Heidelberg (2003). https:\/\/doi.org\/10.1007\/3-540-36481-1_13"},{"issue":"33\u201334","key":"8_CR11","doi-asserted-by":"publisher","first-page":"3065","DOI":"10.1016\/j.tcs.2009.02.037","volume":"410","author":"F Ciocchetta","year":"2009","unstructured":"Ciocchetta, F., Hillston, J.: Bio-PEPA: a framework for the modelling and analysis of biological systems. Theoret. Comput. Sci. 410(33\u201334), 3065\u20133084 (2009)","journal-title":"Theoret. Comput. Sci."},{"key":"8_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/978-3-540-78163-9_11","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"V Danos","year":"2008","unstructured":"Danos, V., Feret, J., Fontana, W., Krivine, J.: Abstract interpretation of cellular signalling networks. In: Logozzo, F., Peled, D.A., Zuck, L.D. (eds.) VMCAI 2008. LNCS, vol. 4905, pp. 83\u201397. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-78163-9_11"},{"issue":"1\u20134","key":"8_CR13","first-page":"263","volume":"75","author":"A Ehrenfeucht","year":"2007","unstructured":"Ehrenfeucht, A., Rozenberg, G.: Reaction systems. Fundamenta Informaticae 75(1\u20134), 263\u2013280 (2007)","journal-title":"Fundamenta Informaticae"},{"key":"8_CR14","doi-asserted-by":"crossref","unstructured":"Eker, S., Knapp, M., Laderoute, K., Lincoln, P., Meseguer, J., Sonmez, K.: Pathway logic: symbolic analysis of biological signaling. In: Biocomputing 2002, pp. 400\u2013412. World Scientific (2001)","DOI":"10.1142\/9789812799623_0038"},{"issue":"1","key":"8_CR15","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1016\/j.tcs.2008.04.024","volume":"403","author":"F Fages","year":"2008","unstructured":"Fages, F., Soliman, S.: Abstract interpretation and types for systems biology. Theoret. Comput. Sci. 403(1), 52\u201370 (2008)","journal-title":"Theoret. Comput. Sci."},{"issue":"10","key":"8_CR16","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-I. the deficiency zero and deficiency one theorems. Chem. Eng. Sci. 42(10), 2229\u20132268 (1987)","journal-title":"Chem. Eng. Sci."},{"key":"8_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1007\/11767589_11","volume-title":"Petri Nets and Other Models of Concurrency - ICATPN 2006","author":"D Gilbert","year":"2006","unstructured":"Gilbert, D., Heiner, M.: From petri nets to differential equations \u2013 an integrative approach for biochemical network analysis. In: Donatelli, S., Thiagarajan, P.S. (eds.) ICATPN 2006. LNCS, vol. 4024, pp. 181\u2013200. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/11767589_11"},{"issue":"8","key":"8_CR18","doi-asserted-by":"publisher","first-page":"869","DOI":"10.1016\/j.ic.2010.03.004","volume":"208","author":"R Gori","year":"2010","unstructured":"Gori, R., Levi, F.: Abstract interpretation based verification of temporal properties for bioambients. Inf. Comput. 208(8), 869\u2013921 (2010)","journal-title":"Inf. Comput."},{"issue":"12","key":"8_CR19","doi-asserted-by":"publisher","first-page":"6750","DOI":"10.1073\/pnas.95.12.6750","volume":"95","author":"PJE Goss","year":"1998","unstructured":"Goss, P.J.E., Peccoud, J.: Quantitative modeling of stochastic systems in molecular biology by using stochastic petri nets. Proc. Nat. Acad. Sci. U.S.A. 95(12), 6750\u20136755 (1998)","journal-title":"Proc. Nat. Acad. Sci. U.S.A."},{"key":"8_CR20","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1007\/978-3-642-59615-5_13","volume-title":"Verification of Digital and Hybrid Systems","author":"TA Henzinger","year":"2000","unstructured":"Henzinger, T.A.: The theory of hybrid automata. In: Inan, M.K., Kurshan, R.P. (eds.) Verification of Digital and Hybrid Systems, pp. 265\u2013292. Springer, Heidelberg (2000). https:\/\/doi.org\/10.1007\/978-3-642-59615-5_13"},{"key":"8_CR21","doi-asserted-by":"crossref","unstructured":"Kitano, H.: Systems biology: towards systems-level understanding of biological systems. In: Kitano, H. (ed.) Foundations of Systems Biology (2002)","DOI":"10.7551\/mitpress\/3087.001.0001"},{"issue":"11","key":"8_CR22","doi-asserted-by":"publisher","first-page":"826","DOI":"10.1038\/nrg1471","volume":"5","author":"H Kitano","year":"2004","unstructured":"Kitano, H.: Biological robustness. Nat. Rev. Genet. 5(11), 826\u2013837 (2004)","journal-title":"Nat. Rev. Genet."},{"issue":"4","key":"8_CR23","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1145\/1364644.1364651","volume":"35","author":"M Kwiatkowska","year":"2008","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: Using probabilistic model checking in systems biology. ACM SIGMETRICS Perform. Eval. Rev. 35(4), 14\u201321 (2008)","journal-title":"ACM SIGMETRICS Perform. Eval. Rev."},{"issue":"1","key":"8_CR24","doi-asserted-by":"publisher","first-page":"8","DOI":"10.1186\/s13637-017-0061-5","volume":"2017","author":"X Li","year":"2017","unstructured":"Li, X., Omotere, O., Qian, L., Dougherty, E.R.: Review of stochastic hybrid systems with applications in biological systems modeling and analysis. EURASIP J. Bioinf. Syst. Biol. 2017(1), 8 (2017)","journal-title":"EURASIP J. Bioinf. Syst. Biol."},{"key":"8_CR25","doi-asserted-by":"crossref","unstructured":"Linz, P.: Analytical and Numerical Methods for Volterra Equations. SIAM (1985)","DOI":"10.1137\/1.9781611970852"},{"issue":"3","key":"8_CR26","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1021\/j150111a004","volume":"14","author":"AJ Lotka","year":"1910","unstructured":"Lotka, A.J.: Contribution to the theory of periodic reactions. J. Phys. Chem. 14(3), 271\u2013274 (1910)","journal-title":"J. Phys. Chem."},{"key":"8_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"86","DOI":"10.1007\/978-3-319-74781-1_7","volume-title":"Software Engineering and Formal Methods","author":"L Nasti","year":"2018","unstructured":"Nasti, L., Milazzo, P.: A computational model of internet addiction phenomena in social networks. In: Cerone, A., Roveri, M. (eds.) SEFM 2017. LNCS, vol. 10729, pp. 86\u2013100. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-74781-1_7"},{"key":"8_CR28","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-56196-2","volume-title":"Introduction to Membrane Computing","author":"G Paun","year":"2006","unstructured":"Paun, G.: Introduction to Membrane Computing. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/978-3-642-56196-2"},{"key":"8_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"268","DOI":"10.1007\/11499220_28","volume-title":"Mechanisms, Symbols, and Models Underlying Cognition","author":"MJ P\u00e9rez-Jim\u00e9nez","year":"2005","unstructured":"P\u00e9rez-Jim\u00e9nez, M.J., Romero-Campero, F.J.: A study of the robustness of the EGFR signalling cascade using continuous membrane systems. In: Mira, J., \u00c1lvarez, J.R. (eds.) IWINAC 2005. LNCS, vol. 3561, pp. 268\u2013278. Springer, Heidelberg (2005). https:\/\/doi.org\/10.1007\/11499220_28"},{"issue":"02","key":"8_CR30","doi-asserted-by":"publisher","first-page":"415","DOI":"10.1142\/S0219720005001132","volume":"3","author":"S Ramsey","year":"2005","unstructured":"Ramsey, S., Orrell, D., Bolouri, H.: Dizzy: stochastic simulation of large-scale genetic regulatory networks. J. Bioinf. Comput. Biol. 3(02), 415\u2013436 (2005)","journal-title":"J. Bioinf. Comput. Biol."},{"key":"8_CR31","unstructured":"Reddy, V.N., Mavrovouniotis, M.L., Liebman, M.N., et al.: Petri net representations in metabolic pathways. In: ISMB, pp. 328\u2013336 (1993)"},{"issue":"12","key":"8_CR32","doi-asserted-by":"publisher","first-page":"i169","DOI":"10.1093\/bioinformatics\/btp200","volume":"25","author":"A Rizk","year":"2009","unstructured":"Rizk, A., Batt, G., Fages, F., Soliman, S.: A general computational method for robustness analysis with applications to synthetic gene networks. Bioinformatics 25(12), i169\u2013i178 (2009)","journal-title":"Bioinformatics"},{"issue":"26","key":"8_CR33","doi-asserted-by":"publisher","first-page":"2827","DOI":"10.1016\/j.tcs.2010.05.008","volume":"412","author":"A Rizk","year":"2011","unstructured":"Rizk, A., Batt, G., Fages, F., Soliman, S.: Continuous valuations of temporal logic specifications with applications to parameter optimization and robustness measures. Theoret. Comput. Sci. 412(26), 2827\u20132839 (2011)","journal-title":"Theoret. Comput. Sci."},{"issue":"5971","key":"8_CR34","doi-asserted-by":"publisher","first-page":"1389","DOI":"10.1126\/science.1183372","volume":"327","author":"G Shinar","year":"2010","unstructured":"Shinar, G., Feinberg, M.: Structural sources of robustness in biochemical reaction networks. Science 327(5971), 1389\u20131391 (2010)","journal-title":"Science"},{"issue":"1","key":"8_CR35","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1016\/j.mbs.2011.02.012","volume":"231","author":"G Shinar","year":"2011","unstructured":"Shinar, G., Feinberg, M.: Design principles for robust biochemical reaction networks: what works, what cannot work, and what might almost work. Mathe. Biosci. 231(1), 39\u201348 (2011)","journal-title":"Mathe. Biosci."},{"key":"8_CR36","unstructured":"Weisstein, E.W.: Logistic equation. From MathWorld-A Wolfram Web Resource. http:\/\/mathworld.wolfram.com\/LogisticEquation.html"}],"container-title":["Lecture Notes in Computer Science","Software Technologies: Applications and Foundations"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-04771-9_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,11,6]],"date-time":"2019-11-06T15:52:29Z","timestamp":1573055549000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-04771-9_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783030047702","9783030047719"],"references-count":36,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-04771-9_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]},"assertion":[{"value":"STAF","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Federation of International Conferences on Software Technologies: Applications and Foundations","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Toulouse","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"France","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2018","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"25 June 2018","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"29 June 2018","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"staf2018","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.staf2018.fr\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}