{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,22]],"date-time":"2025-10-22T18:23:34Z","timestamp":1761157414319,"version":"3.40.3"},"publisher-location":"Cham","reference-count":37,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783031150333"},{"type":"electronic","value":"9783031150340"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"DOI":"10.1007\/978-3-031-15034-0_3","type":"book-chapter","created":{"date-parts":[[2022,8,18]],"date-time":"2022-08-18T19:03:08Z","timestamp":1660849388000},"page":"41-60","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Abstraction-Based Segmental Simulation of\u00a0Chemical Reaction Networks"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-3191-8098","authenticated-orcid":false,"given":"Martin","family":"Helfrich","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0300-9727","authenticated-orcid":false,"given":"Milan","family":"\u010ce\u0161ka","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8122-2881","authenticated-orcid":false,"given":"Jan","family":"K\u0159et\u00ednsk\u00fd","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4498-7436","authenticated-orcid":false,"given":"\u0160tefan","family":"Marti\u010dek","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2022,8,19]]},"reference":[{"key":"3_CR1","doi-asserted-by":"publisher","first-page":"102207","DOI":"10.1016\/j.peva.2021.102207","volume":"148","author":"A Abate","year":"2021","unstructured":"Abate, A., Andriushchenko, R., \u010ce\u0161ka, M., Kwiatkowska, M.: Adaptive formal approximations of Markov chains. Perform. Eval. 148, 102207 (2021)","journal-title":"Perform. Eval."},{"key":"3_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"351","DOI":"10.1007\/978-3-030-85172-9_19","volume-title":"Quantitative Evaluation of Systems","author":"M Backenk\u00f6hler","year":"2021","unstructured":"Backenk\u00f6hler, M., Bortolussi, L., Gro\u00dfmann, G., Wolf, V.: Abstraction-guided truncations for\u00a0stationary distributions of Markov population models. In: Abate, A., Marin, A. (eds.) QEST 2021. LNCS, vol. 12846, pp. 351\u2013371. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-85172-9_19"},{"key":"3_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/978-3-030-85633-5_2","volume-title":"Computational Methods in Systems Biology","author":"F Cairoli","year":"2021","unstructured":"Cairoli, F., Carbone, G., Bortolussi, L.: Abstraction of Markov population dynamics via generative adversarial nets. In: Cinquemani, E., Paulev\u00e9, L. (eds.) CMSB 2021. LNCS, vol. 12881, pp. 19\u201335. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-85633-5_2"},{"issue":"1","key":"3_CR4","doi-asserted-by":"publisher","first-page":"014116","DOI":"10.1063\/1.1824902","volume":"122","author":"Y Cao","year":"2005","unstructured":"Cao, Y., Gillespie, D.T., Petzold, L.R.: The slow-scale stochastic simulation algorithm. J. Chem. Phys. 122(1), 014116 (2005)","journal-title":"J. Chem. Phys."},{"issue":"4","key":"3_CR5","doi-asserted-by":"publisher","first-page":"044109","DOI":"10.1063\/1.2159468","volume":"124","author":"Y Cao","year":"2006","unstructured":"Cao, Y., Gillespie, D.T., Petzold, L.R.: Efficient step size selection for the tau-leaping simulation method. J. Chem. Phys. 124(4), 044109 (2006)","journal-title":"J. Chem. Phys."},{"issue":"02","key":"3_CR6","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1017\/S0960129512000102","volume":"23","author":"L Cardelli","year":"2013","unstructured":"Cardelli, L.: Two-domain DNA strand displacement. Math. Struct. Comput. Sci. 23(02), 247\u2013271 (2013)","journal-title":"Math. Struct. Comput. Sci."},{"key":"3_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1007\/978-3-319-45177-0_10","volume-title":"Computational Methods in Systems Biology","author":"L Cardelli","year":"2016","unstructured":"Cardelli, L., Kwiatkowska, M., Laurenti, L.: A stochastic hybrid approximation for chemical kinetics based on the linear noise approximation. In: Bartocci, E., Lio, P., Paoletti, N. (eds.) CMSB 2016. LNCS, vol. 9859, pp. 147\u2013167. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-45177-0_10"},{"key":"3_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"653","DOI":"10.1007\/978-3-030-53288-8_32","volume-title":"Computer Aided Verification","author":"M \u010ce\u0161ka","year":"2020","unstructured":"\u010ce\u0161ka, M., Chau, C., K\u0159et\u00ednsk\u00fd, J.: SeQuaiA: a scalable tool for semi-quantitative analysis of chemical reaction networks. In: Lahiri, S.K., Wang, C. (eds.) CAV 2020. LNCS, vol. 12224, pp. 653\u2013666. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-53288-8_32"},{"key":"3_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"475","DOI":"10.1007\/978-3-030-25540-4_28","volume-title":"Computer Aided Verification","author":"M \u010ce\u0161ka","year":"2019","unstructured":"\u010ce\u0161ka, M., K\u0159et\u00ednsk\u00fd, J.: Semi-quantitative abstraction and analysis of chemical reaction networks. In: Dillig, I., Tasiran, S. (eds.) CAV 2019. LNCS, vol. 11561, pp. 475\u2013496. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-25540-4_28"},{"issue":"4","key":"3_CR10","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1109\/MCS.2009.932926","volume":"29","author":"V Chellaboina","year":"2009","unstructured":"Chellaboina, V., Bhat, S.P., Haddad, W.M., Bernstein, D.S.: Modeling and analysis of mass-action kinetics. IEEE Control Syst. Mag. 29(4), 60\u201378 (2009)","journal-title":"IEEE Control Syst. Mag."},{"key":"3_CR11","doi-asserted-by":"crossref","unstructured":"Desharnais, J., Laviolette, F., Tracol, M.: Approximate analysis of probabilistic processes: logic, simulation and games. In: 2008 Fifth International Conference on Quantitative Evaluation of Systems, pp. 264\u2013273. IEEE (2008)","DOI":"10.1109\/QEST.2008.42"},{"key":"3_CR12","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, Hoboken (2009)"},{"issue":"1","key":"3_CR13","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1016\/j.apnum.2008.01.004","volume":"59","author":"L Ferm","year":"2009","unstructured":"Ferm, L., L\u00f6tstedt, P.: Adaptive solution of the master equation in low dimensions. Appl. Numer. Math. 59(1), 187\u2013204 (2009)","journal-title":"Appl. Numer. Math."},{"issue":"4","key":"3_CR14","doi-asserted-by":"publisher","first-page":"1390","DOI":"10.1137\/140983471","volume":"13","author":"A Ganguly","year":"2015","unstructured":"Ganguly, A., Altintan, D., Koeppl, H.: Jump-diffusion approximation of stochastic reaction dynamics: error bounds and algorithms. Multisc. Model. Simul. 13(4), 1390\u20131419 (2015)","journal-title":"Multisc. Model. Simul."},{"issue":"25","key":"3_CR15","doi-asserted-by":"publisher","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":"4","key":"3_CR16","doi-asserted-by":"publisher","first-page":"1716","DOI":"10.1063\/1.1378322","volume":"115","author":"DT Gillespie","year":"2001","unstructured":"Gillespie, D.T.: Approximate accelerated stochastic simulation of chemically reacting systems. J. Chem. Phys. 115(4), 1716\u20131733 (2001)","journal-title":"J. Chem. Phys."},{"issue":"18","key":"3_CR17","doi-asserted-by":"publisher","first-page":"184102","DOI":"10.1063\/1.1889434","volume":"122","author":"J Goutsias","year":"2005","unstructured":"Goutsias, J.: Quasiequilibrium approximation of fast reaction kinetics in stochastic biochemical systems. J. Chem. Phys. 122(18), 184102 (2005)","journal-title":"J. Chem. Phys."},{"issue":"12","key":"3_CR18","doi-asserted-by":"publisher","first-page":"e1009623","DOI":"10.1371\/journal.pcbi.1009623","volume":"17","author":"A Gupta","year":"2021","unstructured":"Gupta, A., Schwab, C., Khammash, M.: DeepCME: a deep learning framework for computing solution statistics of the chemical master equation. PLoS Comput. Biol. 17(12), e1009623 (2021)","journal-title":"PLoS Comput. Biol."},{"key":"3_CR19","first-page":"1","volume":"69","author":"J Hasenauer","year":"2013","unstructured":"Hasenauer, J., Wolf, V., Kazeroonian, A., Theis, F.: Method of conditional moments (MCM) for the chemical master equation. J. Math. Biol. 69, 1\u201349 (2013)","journal-title":"J. Math. Biol."},{"issue":"3","key":"3_CR20","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1016\/j.tcs.2007.11.013","volume":"391","author":"J Heath","year":"2008","unstructured":"Heath, J., Kwiatkowska, M., Norman, G., Parker, D., Tymchyshyn, O.: Probabilistic model checking of complex biological pathways. Theoret. Comput. Sci. 391(3), 239\u2013257 (2008)","journal-title":"Theoret. Comput. Sci."},{"key":"3_CR21","doi-asserted-by":"publisher","unstructured":"Helfrich, M., \u010ce\u0161ka, M., K\u0159et\u00ednsk\u00fd, J., Marti\u010dek, \u0160.: Abstraction-based segmental simulation of chemical reaction networks. arXiv (2022). https:\/\/doi.org\/10.48550\/arXiv.2206.06677","DOI":"10.48550\/arXiv.2206.06677"},{"key":"3_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/978-3-642-02658-4_27","volume-title":"Computer Aided Verification","author":"TA Henzinger","year":"2009","unstructured":"Henzinger, T.A., Mateescu, M., Wolf, V.: Sliding window abstraction for infinite Markov chains. In: Bouajjani, A., Maler, O. (eds.) CAV 2009. LNCS, vol. 5643, pp. 337\u2013352. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-02658-4_27"},{"key":"3_CR23","doi-asserted-by":"crossref","unstructured":"Henzinger, T.A., Mikeev, L., Mateescu, M., Wolf, V.: Hybrid numerical solution of the chemical master equation. In: CMSB 2010, pp. 55\u201365. ACM (2010)","DOI":"10.1145\/1839764.1839772"},{"issue":"3","key":"3_CR24","doi-asserted-by":"publisher","first-page":"034118","DOI":"10.1063\/1.4905196","volume":"142","author":"B Hepp","year":"2015","unstructured":"Hepp, B., Gupta, A., Khammash, M.: Adaptive hybrid simulations for multiscale stochastic reaction networks. J. Chem. Phys. 142(3), 034118 (2015)","journal-title":"J. Chem. Phys."},{"key":"3_CR25","first-page":"165","volume":"36","author":"M Kwiatkowska","year":"2014","unstructured":"Kwiatkowska, M., Thachuk, C.: Probabilistic model checking for biology. Softw. Syst. Saf. 36, 165 (2014)","journal-title":"Softw. Syst. Saf."},{"issue":"1","key":"3_CR26","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(91)90030-6","volume":"94","author":"KG Larsen","year":"1991","unstructured":"Larsen, K.G., Skou, A.: Bisimulation through probabilistic testing. Inf. Comput. 94(1), 1\u201328 (1991)","journal-title":"Inf. Comput."},{"key":"3_CR27","doi-asserted-by":"crossref","unstructured":"Lester, C., Yates, C.A., Giles, M.B., Baker, R.E.: An adaptive multi-level simulation algorithm for stochastic biological systems. J. Chem. Phys. 142(2), 01B612_1 (2015)","DOI":"10.1063\/1.4904980"},{"issue":"11","key":"3_CR28","doi-asserted-by":"publisher","first-page":"e79345","DOI":"10.1371\/journal.pone.0079345","volume":"8","author":"TR Maarleveld","year":"2013","unstructured":"Maarleveld, T.R., Olivier, B.G., Bruggeman, F.J.: StochPy: a comprehensive, user-friendly tool for simulating stochastic biological processes. PLoS One 8(11), e79345 (2013)","journal-title":"PLoS One"},{"key":"3_CR29","doi-asserted-by":"crossref","unstructured":"Madsen, C., Myers, C., Roehner, N., Winstead, C., Zhang, Z.: Utilizing stochastic model checking to analyze genetic circuits. In: Computational Intelligence in Bioinformatics and Computational Biology (CIBCB), pp. 379\u2013386. IEEE (2012)","DOI":"10.1109\/CIBCB.2012.6217255"},{"issue":"6","key":"3_CR30","doi-asserted-by":"publisher","first-page":"441","DOI":"10.1049\/iet-syb.2010.0005","volume":"4","author":"M Mateescu","year":"2010","unstructured":"Mateescu, M., Wolf, V., Didier, F., Henzinger, T.A.: Fast adaptive uniformization of the chemical master equation. IET Syst. Biol. 4(6), 441\u2013452 (2010)","journal-title":"IET Syst. Biol."},{"key":"3_CR31","doi-asserted-by":"publisher","first-page":"044104","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, 044104 (2006)","journal-title":"J. Chem. Phys."},{"issue":"11","key":"3_CR32","doi-asserted-by":"publisher","first-page":"4999","DOI":"10.1063\/1.1545446","volume":"118","author":"CV Rao","year":"2003","unstructured":"Rao, C.V., Arkin, A.P.: Stochastic chemical kinetics and the quasi-steady-state assumption: application to the Gillespie algorithm. J. Chem. Phys. 118(11), 4999\u20135010 (2003)","journal-title":"J. Chem. Phys."},{"issue":"5","key":"3_CR33","doi-asserted-by":"publisher","first-page":"054103","DOI":"10.1063\/1.1835951","volume":"122","author":"H Salis","year":"2005","unstructured":"Salis, H., Kaznessis, Y.: Accurate hybrid stochastic simulation of a system of coupled chemical or biochemical reactions. J. Chem. Phys. 122(5), 054103 (2005)","journal-title":"J. Chem. Phys."},{"issue":"12","key":"3_CR34","doi-asserted-by":"publisher","first-page":"5393","DOI":"10.1073\/pnas.0909380107","volume":"107","author":"D Soloveichik","year":"2010","unstructured":"Soloveichik, D., Seelig, G., Winfree, E.: DNA as a universal substrate for chemical kinetics. Proc. Natl. Acad. Sci. U.S.A. 107(12), 5393\u20135398 (2010)","journal-title":"Proc. Natl. Acad. Sci. U.S.A."},{"issue":"3","key":"3_CR35","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1006\/jtbi.2002.3078","volume":"218","author":"R Srivastava","year":"2002","unstructured":"Srivastava, R., You, L., Summers, J., Yin, J.: Stochastic vs. deterministic modeling of intracellular viral kinetics. J. Theor. Biol. 218(3), 309\u2013321 (2002)","journal-title":"J. Theor. Biol."},{"key":"3_CR36","volume-title":"Stochastic Processes in Physics and Chemistry","author":"NG Van Kampen","year":"1992","unstructured":"Van Kampen, N.G.: Stochastic Processes in Physics and Chemistry, vol. 1. Elsevier, Amsterdam (1992)"},{"issue":"2","key":"3_CR37","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1504\/IJCBDD.2009.028825","volume":"2","author":"J Zhang","year":"2009","unstructured":"Zhang, J., Watson, L.T., Cao, Y.: Adaptive aggregation method for the chemical master equation. Int. J. Comput. Biol. Drug Des. 2(2), 134\u2013148 (2009)","journal-title":"Int. J. Comput. Biol. Drug Des."}],"container-title":["Lecture Notes in Computer Science","Computational Methods in Systems Biology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-15034-0_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,9,6]],"date-time":"2022-09-06T23:02:44Z","timestamp":1662505364000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-15034-0_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783031150333","9783031150340"],"references-count":37,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-15034-0_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"19 August 2022","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"CMSB","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Computational Methods in Systems Biology","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Bucharest","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Romania","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2022","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"14 September 2022","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16 September 2022","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"cmsb2022","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/fmi.unibuc.ro\/en\/cmsb-2022\/","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":"43","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":"13","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":"0","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":"30% - 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","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":"2","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)"}}]}}