{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,9]],"date-time":"2026-01-09T21:40:06Z","timestamp":1767994806735,"version":"3.49.0"},"publisher-location":"Cham","reference-count":56,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030598532","type":"print"},{"value":"9783030598549","type":"electronic"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"vor","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":[[2020]]},"DOI":"10.1007\/978-3-030-59854-9_13","type":"book-chapter","created":{"date-parts":[[2020,11,2]],"date-time":"2020-11-02T23:02:42Z","timestamp":1604358162000},"page":"155-174","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["Bounding Mean First Passage Times in Population Continuous-Time Markov Chains"],"prefix":"10.1007","author":[{"given":"Michael","family":"Backenk\u00f6hler","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luca","family":"Bortolussi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Verena","family":"Wolf","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,11,3]]},"reference":[{"key":"13_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/978-3-642-22110-1_8","volume-title":"Computer Aided Verification","author":"A Andreychenko","year":"2011","unstructured":"Andreychenko, A., Mikeev, L., Spieler, D., Wolf, V.: Parameter identification for Markov models of biochemical reactions. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol. 6806, pp. 83\u201398. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-22110-1_8"},{"key":"13_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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). https:\/\/doi.org\/10.1007\/3-540-61474-5_75"},{"issue":"4","key":"13_CR3","doi-asserted-by":"publisher","first-page":"1180","DOI":"10.1109\/TCBB.2017.2775219","volume":"15","author":"M Backenk\u00f6hler","year":"2017","unstructured":"Backenk\u00f6hler, M., Bortolussi, L., Wolf, V.: Moment-based parameter estimation for stochastic reaction networks in equilibrium. IEEE\/ACM Trans. Comput. Biol. Bioinform. 15(4), 1180\u20131192 (2017)","journal-title":"IEEE\/ACM Trans. Comput. Biol. Bioinform."},{"key":"13_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1007\/978-3-030-31304-3_3","volume-title":"Computational Methods in Systems Biology","author":"M Backenk\u00f6hler","year":"2019","unstructured":"Backenk\u00f6hler, M., Bortolussi, L., Wolf, V.: Control variates for stochastic simulation of chemical reaction networks. In: Bortolussi, L., Sanguinetti, G. (eds.) CMSB 2019. LNCS, vol. 11773, pp. 42\u201359. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-31304-3_3"},{"issue":"6","key":"13_CR5","doi-asserted-by":"publisher","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. Softw. Eng. 29(6), 524\u2013541 (2003)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"13_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"358","DOI":"10.1007\/10722167_28","volume-title":"Computer Aided Verification","author":"C Baier","year":"2000","unstructured":"Baier, C., Haverkort, B., Hermanns, H., Katoen, J.-P.: Model checking continuous-time Markov chains by transient analysis. In: Emerson, E.A., Sistla, A.P. (eds.) CAV 2000. LNCS, vol. 1855, pp. 358\u2013372. Springer, Heidelberg (2000). https:\/\/doi.org\/10.1007\/10722167_28"},{"issue":"4","key":"13_CR7","doi-asserted-by":"publisher","first-page":"041919","DOI":"10.1103\/PhysRevE.78.041919","volume":"78","author":"B Barzel","year":"2008","unstructured":"Barzel, B., Biham, O.: Calculation of switching times in the genetic toggle switch and other bistable systems. Phys. Rev. E 78(4), 041919 (2008)","journal-title":"Phys. Rev. E"},{"issue":"1","key":"13_CR8","doi-asserted-by":"publisher","first-page":"016003","DOI":"10.1088\/1478-3975\/7\/1\/016003","volume":"7","author":"G Bel","year":"2009","unstructured":"Bel, G., Munsky, B., Nemenman, I.: The simplicity of completion time distributions for common complex biochemical processes. Phys. Biol. 7(1), 016003 (2009)","journal-title":"Phys. Biol."},{"key":"13_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-34096-8","volume-title":"Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems","year":"2016","unstructured":"Bernardo, M., De Nicola, R., Hillston, J. (eds.): Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems. LNCS, vol. 9700. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-34096-8"},{"key":"13_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/978-3-319-23401-4_8","volume-title":"Computational Methods in Systems Biology","author":"S Bogomolov","year":"2015","unstructured":"Bogomolov, S., Henzinger, T.A., Podelski, A., Ruess, J., Schilling, C.: Adaptive moment closure for parameter inference of biochemical reaction networks. In: Roux, O., Bourdon, J. (eds.) CMSB 2015. LNCS, vol. 9308, pp. 77\u201389. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-23401-4_8"},{"issue":"5","key":"13_CR11","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1016\/j.peva.2013.01.001","volume":"70","author":"L Bortolussi","year":"2013","unstructured":"Bortolussi, L., Hillston, J., Latella, D., Massink, M.: Continuous approximation of collective system behaviour: a tutorial. Perform. Eval. 70(5), 317\u2013349 (2013)","journal-title":"Perform. Eval."},{"key":"13_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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). https:\/\/doi.org\/10.1007\/978-3-642-40196-1_9"},{"key":"13_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-10885-8_16"},{"key":"13_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1007\/978-3-642-24310-3_4","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"T Chen","year":"2011","unstructured":"Chen, T., Diciolla, M., Kwiatkowska, M., Mereacre, A.: Time-bounded verification of CTMCs against real-time specifications. In: Fahrenberg, U., Tripakis, S. (eds.) FORMATS 2011. LNCS, vol. 6919, pp. 26\u201342. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-24310-3_4"},{"key":"13_CR15","doi-asserted-by":"crossref","unstructured":"Chen, T., Han, T., Katoen, J.P., Mereacre, A.: Quantitative model checking of continuous-time Markov chains against timed automata specifications. In: 2009 24th Annual IEEE Symposium on Logic In Computer Science, pp. 309\u2013318. IEEE (2009)","DOI":"10.1109\/LICS.2009.21"},{"issue":"3","key":"13_CR16","doi-asserted-by":"publisher","first-page":"351","DOI":"10.1007\/s10009-014-0323-4","volume":"17","author":"A David","year":"2015","unstructured":"David, A., Larsen, K.G., Legay, A., Miku\u010dionis, M., Poulsen, D.B., Sedwards, S.: Statistical model checking for biological systems. Int. J. Softw. Tools Technol. Transf. 17(3), 351\u2013367 (2015)","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"13_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"592","DOI":"10.1007\/978-3-319-63390-9_31","volume-title":"Computer Aided Verification","author":"C Dehnert","year":"2017","unstructured":"Dehnert, C., Junges, S., Katoen, J.-P., Volk, M.: A STORM is coming: a modern probabilistic model checker. In: Majumdar, R., Kun\u010dak, V. (eds.) CAV 2017. LNCS, vol. 10427, pp. 592\u2013600. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-63390-9_31"},{"issue":"83","key":"13_CR18","first-page":"1","volume":"17","author":"S Diamond","year":"2016","unstructured":"Diamond, S., Boyd, S.: CVXPY: a Python-embedded modeling language for convex optimization. J. Mach. Learn. Res. 17(83), 1\u20135 (2016)","journal-title":"J. Mach. Learn. Res."},{"issue":"8","key":"13_CR19","doi-asserted-by":"publisher","first-page":"084106","DOI":"10.1063\/1.5009950","volume":"148","author":"GR Dowdy","year":"2018","unstructured":"Dowdy, G.R., Barton, P.I.: Bounds on stochastic chemical kinetic systems at steady state. J. Chem. Phys. 148(8), 084106 (2018)","journal-title":"J. Chem. Phys."},{"issue":"7","key":"13_CR20","doi-asserted-by":"publisher","first-page":"074103","DOI":"10.1063\/1.5029926","volume":"149","author":"GR Dowdy","year":"2018","unstructured":"Dowdy, G.R., Barton, P.I.: Dynamic bounds on stochastic chemical kinetic systems using semidefinite programming. J. Chem. Phys. 149(7), 074103 (2018)","journal-title":"J. Chem. Phys."},{"issue":"2","key":"13_CR21","doi-asserted-by":"crossref","first-page":"498","DOI":"10.1016\/j.amc.2005.12.032","volume":"180","author":"S Engblom","year":"2006","unstructured":"Engblom, S.: Computing the moments of high dimensional solutions of the master equation. Appl. Math. Comput. 180(2), 498\u2013515 (2006)","journal-title":"Appl. Math. Comput."},{"key":"13_CR22","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1016\/j.peva.2018.09.005","volume":"129","author":"N Gast","year":"2019","unstructured":"Gast, N., Bortolussi, L., Tribastone, M.: Size expansions of mean field approximation: transient and steady-state analysis. Perform. Eval. 129, 60\u201380 (2019). https:\/\/doi.org\/10.1016\/j.peva.2018.09.005","journal-title":"Perform. Eval."},{"key":"13_CR23","doi-asserted-by":"crossref","unstructured":"Ghusinga, K.R., Vargas-Garcia, C.A., Lamperski, A., Singh, A.: Exact lower and upper bounds on stationary moments in stochastic biochemical systems. Phys. Biol. 14(4), 04LT01 (2017)","DOI":"10.1088\/1478-3975\/aa75c6"},{"key":"13_CR24","volume-title":"The Theory of Stochastic Processes II","author":"I Gihman","year":"1975","unstructured":"Gihman, I., Skorohod, A.: The Theory of Stochastic Processes II. Springer, Heidelberg (1975)"},{"issue":"25","key":"13_CR25","doi-asserted-by":"publisher","first-page":"2340","DOI":"10.1021\/j100540a008","volume":"81","author":"D Gillespie","year":"1977","unstructured":"Gillespie, D.: Exact stochastic simulation of coupled chemical reactions. J. Phys. Chem. 81(25), 2340\u20132361 (1977)","journal-title":"J. Phys. Chem."},{"issue":"6","key":"13_CR26","doi-asserted-by":"publisher","first-page":"e1003669","DOI":"10.1371\/journal.pcbi.1003669","volume":"10","author":"A Gupta","year":"2014","unstructured":"Gupta, A., Briat, C., Khammash, M.: A scalable computational framework for establishing long-term behavior of stochastic reaction networks. PLoS Comput. Biol. 10(6), e1003669 (2014)","journal-title":"PLoS Comput. Biol."},{"issue":"3","key":"13_CR27","doi-asserted-by":"publisher","first-page":"687","DOI":"10.1007\/s00285-013-0711-5","volume":"69","author":"J Hasenauer","year":"2014","unstructured":"Hasenauer, J., Wolf, V., Kazeroonian, A., Theis, F.J.: Method of conditional moments (MCM) for the chemical master equation. J. Math. Biol. 69(3), 687\u2013735 (2014)","journal-title":"J. Math. Biol."},{"issue":"1","key":"13_CR28","doi-asserted-by":"publisher","first-page":"106","DOI":"10.1016\/j.tcs.2011.07.017","volume":"413","author":"RA Hayden","year":"2012","unstructured":"Hayden, R.A., Stefanek, A., Bradley, J.T.: Fluid computation of passage-time distributions in large Markov models. Theor. Comput. Sci. 413(1), 106\u2013141 (2012)","journal-title":"Theor. Comput. Sci."},{"issue":"4","key":"13_CR29","doi-asserted-by":"publisher","first-page":"516","DOI":"10.1287\/opre.49.4.516.11221","volume":"49","author":"K Helmes","year":"2001","unstructured":"Helmes, K., R\u00f6hl, S., Stockbridge, R.H.: Computing moments of the exit time distribution for Markov processes by linear programming. Oper. Res. 49(4), 516\u2013530 (2001)","journal-title":"Oper. Res."},{"key":"13_CR30","doi-asserted-by":"crossref","unstructured":"Hespanha, J.: Moment closure for biochemical networks. In: 2008 3rd International Symposium on Communications, Control and Signal Processing, pp. 142\u2013147. IEEE (2008)","DOI":"10.1109\/ISCCSP.2008.4537208"},{"key":"13_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"441","DOI":"10.1007\/11691372_29","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"A Hinton","year":"2006","unstructured":"Hinton, A., Kwiatkowska, M., Norman, G., Parker, D.: PRISM: a tool for automatic verification of probabilistic systems. In: Hermanns, H., Palsberg, J. (eds.) TACAS 2006. LNCS, vol. 3920, pp. 441\u2013444. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/11691372_29"},{"key":"13_CR32","first-page":"261","volume":"160","author":"S Iyer-Biswas","year":"2016","unstructured":"Iyer-Biswas, S., Zilman, A.: First-passage processes in cellular biology. Adv. Chem. Phys. 160, 261\u2013306 (2016)","journal-title":"Adv. Chem. Phys."},{"key":"13_CR33","doi-asserted-by":"crossref","unstructured":"Kashima, K., Kawai, R.: Polynomial programming approach to weak approximation of l\u00e9vy-driven stochastic differential equations with application to option pricing. In: 2009 ICCAS-SICE, pp. 3902\u20133907. IEEE (2009)","DOI":"10.1109\/CDC.2009.5400355"},{"issue":"3","key":"13_CR34","doi-asserted-by":"publisher","first-page":"1729","DOI":"10.3182\/20140824-6-ZA-1003.02298","volume":"47","author":"A Kazeroonian","year":"2014","unstructured":"Kazeroonian, A., Theis, F.J., Hasenauer, J.: Modeling of stochastic biological processes with non-polynomial propensities using non-central conditional moment equation. IFAC Proc. Vol. 47(3), 1729\u20131735 (2014)","journal-title":"IFAC Proc. Vol."},{"key":"13_CR35","unstructured":"Kuntz, J., Thomas, P., Stan, G.B., Barahona, M.: Rigorous bounds on the stationary distributions of the chemical master equation via mathematical programming. arXiv preprint arXiv:1702.05468 (2017)"},{"key":"13_CR36","unstructured":"Kuntz, J., Thomas, P., Stan, G.B., Barahona, M.: Approximation schemes for countably-infinite linear programs with moment bounds. arXiv preprint arXiv:1810.03658 (2018)"},{"issue":"2","key":"13_CR37","doi-asserted-by":"publisher","first-page":"A748","DOI":"10.1137\/18M1168261","volume":"41","author":"J Kuntz","year":"2019","unstructured":"Kuntz, J., Thomas, P., Stan, G.B., Barahona, M.: The exit time finite state projection scheme: bounding exit distributions and occupation measures of continuous-time Markov chains. SIAM J. Sci. Comput. 41(2), A748\u2013A769 (2019)","journal-title":"SIAM J. Sci. Comput."},{"key":"13_CR38","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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). https:\/\/doi.org\/10.1007\/978-3-642-22110-1_47"},{"key":"13_CR39","volume-title":"Moments, Positive Polynomials and Their Applications","author":"JB Lasserre","year":"2010","unstructured":"Lasserre, J.B.: Moments, Positive Polynomials and Their Applications, vol. 1. World Scientific, Singapore (2010)"},{"issue":"3","key":"13_CR40","doi-asserted-by":"publisher","first-page":"469","DOI":"10.1111\/j.1467-9965.2006.00279.x","volume":"16","author":"JB Lasserre","year":"2006","unstructured":"Lasserre, J.B., Prieto-Rumeau, T., Zervos, M.: Pricing a class of exotic options via moments and sdp relaxations. Math. Finance 16(3), 469\u2013494 (2006)","journal-title":"Math. Finance"},{"issue":"2","key":"13_CR41","doi-asserted-by":"publisher","first-page":"313","DOI":"10.1007\/s10703-012-0165-1","volume":"43","author":"L Mikeev","year":"2013","unstructured":"Mikeev, L., Neuh\u00e4u\u00dfer, M.R., Spieler, D., Wolf, V.: On-the-fly verification and optimization of DTA-properties for large Markov chains. Form. Methods Syst. Des. 43(2), 313\u2013337 (2013)","journal-title":"Form. Methods Syst. Des."},{"key":"13_CR42","unstructured":"MOSEK ApS: MOSEK Optimizer API for C 8.1.0.67 (2018). https:\/\/docs.mosek.com\/8.1\/capi\/index.html"},{"issue":"23","key":"13_CR43","doi-asserted-by":"publisher","first-page":"12B616","DOI":"10.1063\/1.3274803","volume":"131","author":"B Munsky","year":"2009","unstructured":"Munsky, B., Nemenman, I., Bel, G.: Specificity and completion time distributions of biochemical processes. J. Chem. Phys. 131(23), 12B616 (2009)","journal-title":"J. Chem. Phys."},{"key":"13_CR44","unstructured":"O\u2019Donoghue, B., Chu, E., Parikh, N., Boyd, S.: SCS: splitting conic solver, version 2.1.0, November 2017. https:\/\/github.com\/cvxgrp\/scs"},{"issue":"2","key":"13_CR45","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1007\/s10107-003-0387-5","volume":"96","author":"PA Parrilo","year":"2003","unstructured":"Parrilo, P.A.: Semidefinite programming relaxations for semialgebraic problems. Math. Program. 96(2), 293\u2013320 (2003)","journal-title":"Math. Program."},{"key":"13_CR46","series-title":"Frontiers in Applied Dynamical Systems: Reviews and Tutorials","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-26641-1","volume-title":"Dynamical Systems on Networks","author":"MA Porter","year":"2016","unstructured":"Porter, M.A., Gleeson, J.P.: Dynamical Systems on Networks. FADSRT, vol. 4. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-26641-1"},{"key":"13_CR47","doi-asserted-by":"crossref","unstructured":"Sakurai, Y., Hori, Y.: A convex approach to steady state moment analysis for stochastic chemical reactions. In: 2017 IEEE 56th Annual Conference on Decision and Control (CDC), pp. 1206\u20131211. IEEE (2017)","DOI":"10.1109\/CDC.2017.8263820"},{"issue":"2","key":"13_CR48","doi-asserted-by":"publisher","first-page":"290","DOI":"10.1109\/LCSYS.2018.2869639","volume":"3","author":"Y Sakurai","year":"2019","unstructured":"Sakurai, Y., Hori, Y.: Bounding transient moments of stochastic chemical reactions. IEEE Control. Syst. Lett. 3(2), 290\u2013295 (2019)","journal-title":"IEEE Control. Syst. Lett."},{"key":"13_CR49","doi-asserted-by":"publisher","first-page":"210601","DOI":"10.1103\/PhysRevLett.119.210601","volume":"119","author":"D Schnoerr","year":"2017","unstructured":"Schnoerr, D., Cseke, B., Grima, R., Sanguinetti, G.: Efficient low-order approximation of first-passage time distributions. Phys. Rev. Lett. 119, 210601 (2017). https:\/\/doi.org\/10.1103\/PhysRevLett.119.210601","journal-title":"Phys. Rev. Lett."},{"issue":"18","key":"13_CR50","doi-asserted-by":"publisher","first-page":"185101","DOI":"10.1063\/1.4934990","volume":"143","author":"D Schnoerr","year":"2015","unstructured":"Schnoerr, D., Sanguinetti, G., Grima, R.: Comparison of different moment-closure approximations for stochastic chemical kinetics. J. Chem. Phys. 143(18), 185101 (2015). https:\/\/doi.org\/10.1063\/1.4934990","journal-title":"J. Chem. Phys."},{"issue":"9","key":"13_CR51","doi-asserted-by":"publisher","first-page":"093001","DOI":"10.1088\/1751-8121\/aa54d9","volume":"50","author":"D Schnoerr","year":"2017","unstructured":"Schnoerr, D., Sanguinetti, G., Grima, R.: Approximation and inference methods for stochastic biochemical Kinetics\u2019a tutorial review. J. Phys. Math. Theor. 50(9), 093001 (2017). https:\/\/doi.org\/10.1088\/1751-8121\/aa54d9","journal-title":"J. Phys. Math. Theor."},{"key":"13_CR52","unstructured":"Spieler, D., Hahn, E.M., Zhang, L.: Model checking CSL for Markov population models. arXiv preprint arXiv:1111.4385 (2011)"},{"issue":"1","key":"13_CR53","doi-asserted-by":"publisher","first-page":"6","DOI":"10.1186\/1752-0509-2-6","volume":"2","author":"DJ Stekel","year":"2008","unstructured":"Stekel, D.J., Jenkins, D.J.: Strong negative self regulation of prokaryotic transcription factors increases the intrinsic noise of protein expression. BMC Syst. Biol. 2(1), 6 (2008)","journal-title":"BMC Syst. Biol."},{"key":"13_CR54","doi-asserted-by":"publisher","DOI":"10.1515\/9781400832811","volume-title":"Probability, Markov Chains, Queues, and Simulation: the Mathematical Basis of Performance Modeling","author":"WJ Stewart","year":"2009","unstructured":"Stewart, W.J.: Probability, Markov Chains, Queues, and Simulation: the Mathematical Basis of Performance Modeling. Princeton University Press, Princeton (2009)"},{"key":"13_CR55","doi-asserted-by":"publisher","unstructured":"Ullah, M., Wolkenhauer, O.: Stochastic approaches for systems biology. Wiley Interdiscip. Rev. Syst. Biol. Med. 2, 385\u201397 (2009). https:\/\/doi.org\/10.1002\/wsbm.78","DOI":"10.1002\/wsbm.78"},{"key":"13_CR56","unstructured":"Vandenberghe, L.: The CVXOPT linear and quadratic cone program solvers (2010). http:\/\/cvxopt.org\/documentation\/coneprog.pdf"}],"container-title":["Lecture Notes in Computer Science","Quantitative Evaluation of Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-59854-9_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,26]],"date-time":"2023-10-26T10:39:16Z","timestamp":1698316756000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-59854-9_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030598532","9783030598549"],"references-count":56,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-59854-9_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"3 November 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"QEST","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Quantitative Evaluation of Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Vienna","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Austria","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2020","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"31 August 2020","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"3 September 2020","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"qest2020","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.qest.org\/qest2020\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"easychair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"42","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"12","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"7","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"29% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3,10","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"4,06","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}