{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,25]],"date-time":"2025-06-25T09:25:54Z","timestamp":1750843554438,"version":"3.40.3"},"publisher-location":"Cham","reference-count":35,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030532871"},{"type":"electronic","value":"9783030532888"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2020,7,14]],"date-time":"2020-07-14T00:00:00Z","timestamp":1594684800000},"content-version":"vor","delay-in-days":195,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-030-53288-8_32","type":"book-chapter","created":{"date-parts":[[2020,7,15]],"date-time":"2020-07-15T19:03:27Z","timestamp":1594839807000},"page":"653-666","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["SeQuaiA: A Scalable Tool for Semi-Quantitative Analysis of Chemical Reaction Networks"],"prefix":"10.1007","author":[{"given":"Milan","family":"\u010ce\u0161ka","sequence":"first","affiliation":[]},{"given":"Calvin","family":"Chau","sequence":"additional","affiliation":[]},{"given":"Jan","family":"K\u0159et\u00ednsk\u00fd","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2020,7,14]]},"reference":[{"key":"32_CR1","doi-asserted-by":"publisher","first-page":"624","DOI":"10.3166\/ejc.16.624-641","volume":"16","author":"A Abate","year":"2010","unstructured":"Abate, A., Katoen, J.P., Lygeros, J., Prandini, M.: Approximate model checking of stochastic hybrid systems. Eur. J. Control 16, 624\u2013641 (2010)","journal-title":"Eur. J. Control"},{"key":"32_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1007\/978-3-319-21690-4_12","volume-title":"Computer Aided Verification","author":"A Abate","year":"2015","unstructured":"Abate, A., Brim, L., \u010ce\u0161ka, M., Kwiatkowska, M.: Adaptive aggregation of Markov chains: quantitative analysis of chemical reaction networks. In: Kroening, D., P\u0103s\u0103reanu, C.S. (eds.) CAV 2015. LNCS, vol. 9206, pp. 195\u2013213. Springer, Cham (2015). \n                    https:\/\/doi.org\/10.1007\/978-3-319-21690-4_12"},{"issue":"4","key":"32_CR3","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1007\/s00446-007-0040-2","volume":"20","author":"D Angluin","year":"2007","unstructured":"Angluin, D., Aspnes, J., Eisenstat, D., Ruppert, E.: The computational power of population protocols. Distrib. Comput. 20(4), 279\u2013304 (2007)","journal-title":"Distrib. Comput."},{"key":"32_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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). \n                    https:\/\/doi.org\/10.1007\/978-3-642-32940-1_24"},{"issue":"1","key":"32_CR5","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":"02","key":"32_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":"32_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). \n                    https:\/\/doi.org\/10.1007\/978-3-319-45177-0_10"},{"issue":"38","key":"32_CR8","doi-asserted-by":"publisher","first-page":"10029","DOI":"10.1073\/pnas.1702697114","volume":"114","author":"L Cardelli","year":"2017","unstructured":"Cardelli, L., Tribastone, M., Tschaikowski, M., Vandin, A.: Maximal aggregation of polynomial dynamical systems. Proc. Natl. Acad. Sci. 114(38), 10029\u201310034 (2017)","journal-title":"Proc. Natl. Acad. Sci."},{"key":"32_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). \n                    https:\/\/doi.org\/10.1007\/978-3-030-25540-4_28"},{"issue":"4","key":"32_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":"32_CR11","doi-asserted-by":"crossref","unstructured":"Desharnais, J., Laviolette, F., Tracol, M.: Approximate analysis of probabilistic processes: logic, simulation and games. In: Quantitative Evaluation of SysTems (QEST), pp. 264\u2013273. IEEE (2008)","DOI":"10.1109\/QEST.2008.42"},{"key":"32_CR12","doi-asserted-by":"crossref","unstructured":"D\u2019Innocenzo, A., Abate, A., Katoen, J.P.: Robust PCTL model checking. In: Hybrid Systems: Computation and Control (HSCC), pp. 275\u2013285. ACM (2012)","DOI":"10.1145\/2185632.2185673"},{"issue":"1","key":"32_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":"32_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. Multiscale Model. Simul. 13(4), 1390\u20131419 (2015)","journal-title":"Multiscale Model. Simul."},{"issue":"25","key":"32_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":"6","key":"32_CR16","doi-asserted-by":"publisher","first-page":"1025","DOI":"10.1016\/j.cell.2005.09.031","volume":"123","author":"I Golding","year":"2005","unstructured":"Golding, I., Paulsson, J., Zawilski, S.M., Cox, E.C.: Real-time kinetics of gene activity in individual bacteria. Cell 123(6), 1025\u20131036 (2005)","journal-title":"Cell"},{"issue":"18","key":"32_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. Phys. Chem. 122(18), 184102 (2005)","journal-title":"J. Phys. Chem."},{"issue":"3","key":"32_CR18","doi-asserted-by":"publisher","first-page":"687","DOI":"10.1007\/s00285-013-0711-5","volume":"69","author":"J Hasenauer","year":"2013","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 (2013). \n                    https:\/\/doi.org\/10.1007\/s00285-013-0711-5","journal-title":"J. Math. Biol."},{"issue":"3","key":"32_CR19","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. Theor. Comput. Sci. 391(3), 239\u2013257 (2008)","journal-title":"Theor. Comput. Sci."},{"key":"32_CR20","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). \n                    https:\/\/doi.org\/10.1007\/978-3-642-02658-4_27"},{"key":"32_CR21","doi-asserted-by":"crossref","unstructured":"Henzinger, T.A., Mikeev, L., Mateescu, M., Wolf, V.: Hybrid numerical solution of the chemical master equation. In: Computational Methods in Systems Biology (CMSB), pp. 55\u201365. ACM (2010)","DOI":"10.1145\/1839764.1839772"},{"issue":"3","key":"32_CR22","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":"32_CR23","doi-asserted-by":"publisher","unstructured":"Hoops, S., et al.: COPASI - a complex pathway simulator. Bioinformatics 22(24), 3067\u20133074 (2006). \n                    https:\/\/doi.org\/10.1093\/bioinformatics\/btl485\n                    \n                  , \n                    http:\/\/bioinformatics.oxfordjournals.org\/content\/22\/24\/3067.abstract","DOI":"10.1093\/bioinformatics\/btl485"},{"issue":"2","key":"32_CR24","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1016\/S0022-0000(69)80011-5","volume":"3","author":"RM Karp","year":"1969","unstructured":"Karp, R.M., Miller, R.E.: Parallel program schemata. J. Comput. Syst. Sci. 3(2), 147\u2013195 (1969)","journal-title":"J. Comput. Syst. Sci."},{"issue":"22","key":"32_CR25","doi-asserted-by":"publisher","first-page":"3211","DOI":"10.1093\/bioinformatics\/btr543","volume":"27","author":"MR Lakin","year":"2011","unstructured":"Lakin, M.R., Youssef, S., Polo, F., Emmott, S., Phillips, A.: Visual DSD: a design and analysis tool for dna strand displacement systems. Bioinformatics 27(22), 3211\u20133213 (2011)","journal-title":"Bioinformatics"},{"issue":"11","key":"32_CR26","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":"32_CR27","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":"32_CR28","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":"32_CR29","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":"4","key":"32_CR30","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T Murata","year":"1989","unstructured":"Murata, T.: Petri nets: properties, analysis and applications. Proc. IEEE 77(4), 541\u2013580 (1989)","journal-title":"Proc. IEEE"},{"issue":"11","key":"32_CR31","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":"32_CR32","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":"32_CR33","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."},{"key":"32_CR34","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":"32_CR35","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","Computer Aided Verification"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-53288-8_32","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,7,16]],"date-time":"2020-07-16T06:35:48Z","timestamp":1594881348000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-53288-8_32"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030532871","9783030532888"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-53288-8_32","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"14 July 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"CAV","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Computer Aided Verification","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Los Angeles, CA","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"USA","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":"21 July 2020","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"24 July 2020","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"32","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"cav2020","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/i-cav.org\/2020\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Double-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair.org","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"240","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":"43","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":"22","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":"18% - 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":"4","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":"11","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)"}},{"value":"The conference was held virtually due to the COVID-19 pandemic.","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}