{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T17:11:35Z","timestamp":1760202695527},"publisher-location":"Cham","reference-count":27,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319434247"},{"type":"electronic","value":"9783319434254"}],"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-43425-4_5","type":"book-chapter","created":{"date-parts":[[2016,8,2]],"date-time":"2016-08-02T15:24:52Z","timestamp":1470151492000},"page":"72-88","source":"Crossref","is-referenced-by-count":10,"title":["Approximation of Probabilistic Reachability for Chemical Reaction Networks Using the Linear Noise Approximation"],"prefix":"10.1007","author":[{"given":"Luca","family":"Bortolussi","sequence":"first","affiliation":[]},{"given":"Luca","family":"Cardelli","sequence":"additional","affiliation":[]},{"given":"Marta","family":"Kwiatkowska","sequence":"additional","affiliation":[]},{"given":"Luca","family":"Laurenti","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,8,3]]},"reference":[{"key":"5_CR1","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/978-1-4419-6766-4_1","volume-title":"Design and Analysis of Biomolecular Circuits","author":"DF Anderson","year":"2011","unstructured":"Anderson, D.F., Kurtz, T.G.: Continuous time Markov chain models for chemical reaction networks. In: Koeppl, H., Setti, G., di Bernardo, M., Densmore, D. (eds.) Design and Analysis of Biomolecular Circuits, pp. 3\u201342. Springer, New York (2011)"},{"key":"5_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1007\/3-540-61474-5_75","volume-title":"Computer Aided Verification","author":"A Aziz","year":"1996","unstructured":"Aziz, A., Sanwal, K., Singhal, V., Brayton, R.: Verifying continuous time Markov chains. In: Alur, R., Henzinger, T.A. (eds.) CAV 1996. LNCS, vol. 1102, pp. 269\u2013276. Springer, Heidelberg (1996)"},{"issue":"1","key":"5_CR3","doi-asserted-by":"crossref","first-page":"162","DOI":"10.1145\/343369.343402","volume":"1","author":"A Aziz","year":"2000","unstructured":"Aziz, A., Sanwal, K., Singhal, V., Brayton, R.: Model-checking continuous-time Markov chains. ACM Trans. Comput. Logic (TOCL) 1(1), 162\u2013170 (2000)","journal-title":"ACM Trans. Comput. Logic (TOCL)"},{"issue":"6","key":"5_CR4","doi-asserted-by":"crossref","first-page":"524","DOI":"10.1109\/TSE.2003.1205180","volume":"29","author":"C Baier","year":"2003","unstructured":"Baier, C., Haverkort, B., Hermanns, H., Katoen, J.-P.: Model-checking algorithms for continuous-time markov chains. IEEE Trans. Software Eng. 29(6), 524\u2013541 (2003)","journal-title":"IEEE Trans. Software Eng."},{"key":"5_CR5","doi-asserted-by":"crossref","DOI":"10.1002\/9780470316962","volume-title":"Convergence of probability measures","author":"P Billingsley","year":"1999","unstructured":"Billingsley, P.: Convergence of probability measures. Wiley, Hoboken (1999)"},{"key":"5_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1007\/978-3-642-32940-1_24","volume-title":"CONCUR 2012 \u2013 Concurrency Theory","author":"L Bortolussi","year":"2012","unstructured":"Bortolussi, L., Hillston, J.: Fluid model checking. In: Koutny, M., Ulidowski, I. (eds.) CONCUR 2012. LNCS, vol. 7454, pp. 333\u2013347. Springer, Heidelberg (2012)"},{"key":"5_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1007\/978-3-642-40196-1_9","volume-title":"Quantitative Evaluation of Systems","author":"L Bortolussi","year":"2013","unstructured":"Bortolussi, L., Lanciani, R.: Model checking Markov population models by central limit approximation. In: Joshi, K., Siegle, M., Stoelinga, M., D\u2019Argenio, P.R. (eds.) QEST 2013. LNCS, vol. 8054, pp. 123\u2013138. Springer, Heidelberg (2013)"},{"key":"5_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"224","DOI":"10.1007\/978-3-319-10885-8_16","volume-title":"Computer Performance Engineering","author":"L Bortolussi","year":"2014","unstructured":"Bortolussi, L., Lanciani, R.: Stochastic approximation of global reachability probabilities of Markov population models. In: Horv\u00e1th, A., Wolter, K. (eds.) EPEW 2014. LNCS, vol. 8721, pp. 224\u2013239. Springer, Heidelberg (2014)"},{"key":"5_CR9","doi-asserted-by":"crossref","unstructured":"Bortolussi, L., Milios, D., Sanguinetti, G.: Smoothed model checking for uncertain continuous-time Markov chains. Information and Computation (2016)","DOI":"10.1016\/j.ic.2016.01.004"},{"key":"5_CR10","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4471-2795-6","volume-title":"Stochastic Reachability Analysis of Hybrid Systems","author":"LM Bujorianu","year":"2012","unstructured":"Bujorianu, L.M.: Stochastic Reachability Analysis of Hybrid Systems. Springer, London (2012)"},{"issue":"3","key":"5_CR11","doi-asserted-by":"crossref","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":"5_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"64","DOI":"10.1007\/978-3-319-23401-4_7","volume-title":"Computational Methods in Systems Biology","author":"L Cardelli","year":"2015","unstructured":"Cardelli, L., Kwiatkowska, M., Laurenti, L.: Stochastic analysis of chemical reaction networks using linear noise approximation. In: Roux, O., Bourdon, J. (eds.) CMSB 2015. LNCS, vol. 9308, pp. 64\u201376. Springer, Heidelberg (2015)"},{"issue":"57","key":"5_CR13","doi-asserted-by":"crossref","first-page":"480","DOI":"10.1098\/rsif.2010.0336","volume":"8","author":"A Csik\u00e1sz-Nagy","year":"2011","unstructured":"Csik\u00e1sz-Nagy, A., Cardelli, L., Soyer, O.S.: Response dynamics of phosphorelays suggest their potential utility in cell signalling. J. R. Soc. Interface 8(57), 480\u2013488 (2011)","journal-title":"J. R. Soc. Interface"},{"issue":"7312","key":"5_CR14","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1038\/nature09326","volume":"467","author":"A Eldar","year":"2010","unstructured":"Eldar, A., Elowitz, M.B.: Functional roles for noise in genetic circuits. Nature 467(7312), 167\u2013173 (2010)","journal-title":"Nature"},{"key":"5_CR15","volume-title":"Markov Processes: Characterization and Convergence","author":"SN Ethier","year":"2009","unstructured":"Ethier, S.N., Kurtz, T.G.: Markov Processes: Characterization and Convergence, vol. 282. Wiley, New York (2009)"},{"issue":"5584","key":"5_CR16","doi-asserted-by":"crossref","first-page":"1129","DOI":"10.1126\/science.1075988","volume":"297","author":"N Fedoroff","year":"2002","unstructured":"Fedoroff, N., Fontana, W.: Small numbers of big molecules. Science 297(5584), 1129\u20131131 (2002)","journal-title":"Science"},{"issue":"25","key":"5_CR17","doi-asserted-by":"crossref","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","key":"5_CR18","doi-asserted-by":"crossref","first-page":"404","DOI":"10.1016\/0378-4371(92)90283-V","volume":"188","author":"DT Gillespie","year":"1992","unstructured":"Gillespie, D.T.: A rigorous derivation of the chemical master equation. Phys. A Stat. Mech. Appl. 188(1), 404\u2013425 (1992)","journal-title":"Phys. A Stat. Mech. Appl."},{"issue":"1","key":"5_CR19","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1063\/1.481811","volume":"113","author":"DT Gillespie","year":"2000","unstructured":"Gillespie, D.T.: The chemical Langevin equation. J. Chem. Phys. 113(1), 297\u2013306 (2000)","journal-title":"J. Chem. Phys."},{"issue":"4","key":"5_CR20","doi-asserted-by":"crossref","first-page":"042","DOI":"10.1103\/PhysRevE.92.042124","volume":"92","author":"R Grima","year":"2015","unstructured":"Grima, R.: Linear-noise approximation and the chemical master equation agree up to second-order moments for a class of chemical systems. Phys. Rev. E 92(4), 042\u2013124 (2015)","journal-title":"Phys. Rev. E"},{"key":"5_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"220","DOI":"10.1007\/978-3-540-72522-0_6","volume-title":"Formal Methods for Performance Evaluation","author":"M Kwiatkowska","year":"2007","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: Stochastic model checking. In: Bernardo, M., Hillston, J. (eds.) SFM 2007. LNCS, vol. 4486, pp. 220\u2013270. Springer, Heidelberg (2007)"},{"key":"5_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"585","DOI":"10.1007\/978-3-642-22110-1_47","volume-title":"Computer Aided Verification","author":"M Kwiatkowska","year":"2011","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: PRISM 4.0: verification of probabilistic real-time systems. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol. 6806, pp. 585\u2013591. Springer, Heidelberg (2011)"},{"issue":"4","key":"5_CR23","doi-asserted-by":"crossref","first-page":"044","DOI":"10.1063\/1.2145882","volume":"124","author":"B Munsky","year":"2006","unstructured":"Munsky, B., Khammash, M.: The finite state projection algorithm for the solution of the chemical master equation. J. Chem. Phys. 124(4), 044\u2013104 (2006)","journal-title":"J. Chem. Phys."},{"key":"5_CR24","doi-asserted-by":"crossref","unstructured":"Pnueli, A.: The temporal logic of programs. In: 18th Annual Symposium on Foundations of Computer Science 1977, pp. 46\u201357. IEEE (1977)","DOI":"10.1109\/SFCS.1977.32"},{"key":"5_CR25","volume-title":"Stochastic Processes in Physics and Chemistry","author":"NG Kampen Van","year":"1992","unstructured":"Van Kampen, N.G.: Stochastic Processes in Physics and Chemistry, vol. 1. Elsevier, Amsterdam (1992)"},{"issue":"4","key":"5_CR26","doi-asserted-by":"crossref","first-page":"102","DOI":"10.1049\/iet-syb.2011.0038","volume":"6","author":"E Wallace","year":"2012","unstructured":"Wallace, E., Gillespie, D., Sanft, K., Petzold, L.: Linear noise approximation is valid over limited times for any chemical system that is sufficiently large. IET Syst. Biol. 6(4), 102\u2013115 (2012)","journal-title":"IET Syst. Biol."},{"issue":"1","key":"5_CR27","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1186\/1752-0509-4-42","volume":"4","author":"V Wolf","year":"2010","unstructured":"Wolf, V., Goel, R., Mateescu, M., Henzinger, T.A.: Solving the chemical master equation using sliding windows. BMC Syst. Biol. 4(1), 1 (2010)","journal-title":"BMC Syst. Biol."}],"container-title":["Lecture Notes in Computer Science","Quantitative Evaluation of Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-43425-4_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,24]],"date-time":"2017-06-24T19:44:50Z","timestamp":1498333490000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-43425-4_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319434247","9783319434254"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-43425-4_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}