{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T04:48:28Z","timestamp":1725857308858},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319413112"},{"type":"electronic","value":"9783319413129"}],"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-41312-9_1","type":"book-chapter","created":{"date-parts":[[2016,6,14]],"date-time":"2016-06-14T01:16:35Z","timestamp":1465866995000},"page":"1-10","source":"Crossref","is-referenced-by-count":2,"title":["Reachability Problems for Continuous Chemical Reaction Networks"],"prefix":"10.1007","author":[{"given":"Adam","family":"Case","sequence":"first","affiliation":[]},{"given":"Jack H.","family":"Lutz","sequence":"additional","affiliation":[]},{"given":"D. M.","family":"Stull","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,6,15]]},"reference":[{"key":"1_CR1","doi-asserted-by":"crossref","unstructured":"Angluin, D., Aspnes, J., Diamadi, Z., Fischer, M.J., Peralta, R.: Computation in networks of passively mobile finite-state sensors. In: PODC 2004: Proceedings of the Twenty Third Annual ACM Symposium on Principles of Distributed Computing, pp. 290\u2013299. ACM Press (2004)","DOI":"10.1145\/1011767.1011810"},{"issue":"1","key":"1_CR2","doi-asserted-by":"crossref","first-page":"407","DOI":"10.1007\/s11047-010-9236-7","volume":"10","author":"L Cardelli","year":"2011","unstructured":"Cardelli, L.: Strand algebras for DNA computing. Nat. Comput. 10(1), 407\u2013428 (2011)","journal-title":"Nat. Comput."},{"key":"1_CR3","doi-asserted-by":"crossref","unstructured":"Chen, H.-L., Doty, D., Soloveichik, D.: Rate-independent computation in continuous chemical reaction networks. In: ITCS 2014: Proceedings of the 5th Innovations in Theoretical Computer Science Conference, pp. 313\u2013326 (2014)","DOI":"10.1145\/2554797.2554827"},{"issue":"10","key":"1_CR4","doi-asserted-by":"crossref","first-page":"755","DOI":"10.1038\/nnano.2013.189","volume":"8","author":"Y-J Chen","year":"2013","unstructured":"Chen, Y.-J., Dalchau, N., Srinivas, N., Phillips, A., Cardelli, L., Soloveichik, D., Seelig, G.: Programmable chemical controllers made from DNA. Nat. Nanotechnol. 8(10), 755\u2013762 (2013)","journal-title":"Nat. Nanotechnol."},{"key":"1_CR5","first-page":"543","volume-title":"Programmability of Chemical Reaction Networks","author":"M Cook","year":"2009","unstructured":"Cook, M., Soloveichik, D., Winfree, E., Bruck, J.: Algorithmic bioprocesses. In: Condon, A., Harel, D., Kok, J.N., Salomaa, A., Winfree, E. (eds.) Programmability of Chemical Reaction Networks, pp. 543\u2013584. Springer, Heidelberg (2009)"},{"key":"1_CR6","first-page":"143","volume":"3","author":"J Esparza","year":"1994","unstructured":"Esparza, J., Nielsen, M.: Decidability issues for petri nets - a survey. J. Inf. Process. Cybern. 3, 143\u2013160 (1994)","journal-title":"J. Inf. Process. Cybern."},{"key":"1_CR7","doi-asserted-by":"crossref","first-page":"1183","DOI":"10.1126\/science.1070919","volume":"297","author":"MB Elowitz","year":"2002","unstructured":"Elowitz, M.B., Levine, A.J., Siggia, E.D., Swain, P.S.: Stochastic gene expression in a single cell. Science 297, 1183\u20131185 (2002)","journal-title":"Science"},{"issue":"25","key":"1_CR8","doi-asserted-by":"crossref","first-page":"2340","DOI":"10.1021\/j100540a008","volume":"81","author":"T Daniel","year":"1977","unstructured":"Daniel, T.: Gillespie: exact stochastic simulation of coupled chemical reactions. J. Phys. Chem. 81(25), 2340\u20132361 (1977)","journal-title":"J. Phys. Chem."},{"issue":"3","key":"1_CR9","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1109\/MDT.2012.2192144","volume":"29","author":"H Jiang","year":"2012","unstructured":"Jiang, H., Riedel, M., Parhi, K.: Digital signal processing with molecular reactions. IEEE Des. Test Comput. 29(3), 21\u201331 (2012)","journal-title":"IEEE Des. Test Comput."},{"issue":"4","key":"1_CR10","doi-asserted-by":"crossref","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(4), 147\u2013195 (1969)","journal-title":"J. Comput. Syst. Sci."},{"key":"1_CR11","volume-title":"Algorithm Design","author":"JM Kleinberg","year":"2006","unstructured":"Kleinberg, J.M., Tardos, \u00c9.: Algorithm Design. Addison-Wesley, Boston (2006)"},{"key":"1_CR12","doi-asserted-by":"crossref","unstructured":"Rao Kosaraju, S.: Decidability of reachability in vector addition systems (preliminary version), In: STOC 1982, pp. 267\u2013281. ACM (1982)","DOI":"10.1145\/800070.802201"},{"issue":"1","key":"1_CR13","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1016\/0304-3975(92)90173-D","volume":"99","author":"JL Lambert","year":"1992","unstructured":"Lambert, J.L.: A structure to decide reachability in petri nets. Theor. Comput. Sci. 99(1), 79\u2013104 (1992)","journal-title":"Theor. Comput. Sci."},{"key":"1_CR14","unstructured":"Leroux, J.: Vector addition reachability problem (a simpler solution). In: The Alan Turing Centenary Conference, vol. 10 of EPiC Series, pp. 214\u2013228. EasyChair (2012)"},{"key":"1_CR15","unstructured":"Lipton, R.J.: The reachability problem requires exponential space, Technical report (1976)"},{"key":"1_CR16","doi-asserted-by":"crossref","unstructured":"Mayr, E.W.: An algorithm for the general petri net reachability problem. In: STOC 1981, pp. 238\u2013246. ACM (1981)","DOI":"10.1145\/800076.802477"},{"key":"1_CR17","doi-asserted-by":"crossref","first-page":"814","DOI":"10.1073\/pnas.94.3.814","volume":"94","author":"HH McAdams","year":"1997","unstructured":"McAdams, H.H., Arkin, A.P.: Stochastic mechanisms in gene expression. Proc. Natl. Acad. Sci. 94, 814\u2013819 (1997)","journal-title":"Proc. Natl. Acad. Sci."},{"key":"1_CR18","doi-asserted-by":"crossref","unstructured":"Sacerdote, G.S., Tenney, R.L.: The decidability of the reachability problem for vector addition systems (preliminary version), In: STOC 1977, pp. 61\u201376. ACM (1977)","DOI":"10.1145\/800105.803396"},{"issue":"4","key":"1_CR19","doi-asserted-by":"crossref","first-page":"615","DOI":"10.1007\/s11047-008-9067-y","volume":"7","author":"D Soloveichik","year":"2008","unstructured":"Soloveichik, D., Cook, M., Winfree, E., Bruck, J.: Computation with finite stochastic chemical reaction networks. Nat. Comput. 7(4), 615\u2013633 (2008)","journal-title":"Nat. Comput."},{"issue":"12","key":"1_CR20","doi-asserted-by":"crossref","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. 107(12), 5393\u20135398 (2010)","journal-title":"Proc. Natl. Acad. Sci."}],"container-title":["Lecture Notes in Computer Science","Unconventional Computation and Natural Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-41312-9_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,9]],"date-time":"2019-09-09T18:02:49Z","timestamp":1568052169000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-41312-9_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319413112","9783319413129"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-41312-9_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}