{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T04:37:44Z","timestamp":1759639064831,"version":"3.40.3"},"publisher-location":"Cham","reference-count":22,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319667980"},{"type":"electronic","value":"9783319667997"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","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":[[2017]]},"DOI":"10.1007\/978-3-319-66799-7_15","type":"book-chapter","created":{"date-parts":[[2017,8,23]],"date-time":"2017-08-23T02:51:32Z","timestamp":1503456692000},"page":"232-248","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":22,"title":["A General-Purpose CRN-to-DSD Compiler with Formal Verification, Optimization, and Simulation Capabilities"],"prefix":"10.1007","author":[{"given":"Stefan","family":"Badelt","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Seung Woo","family":"Shin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robert F.","family":"Johnson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Qing","family":"Dong","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chris","family":"Thachuk","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Erik","family":"Winfree","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,8,24]]},"reference":[{"issue":"6286","key":"15_CR1","doi-asserted-by":"publisher","first-page":"680","DOI":"10.1126\/science.aad8865","volume":"352","author":"SE Boyken","year":"2016","unstructured":"Boyken, S.E., Chen, Z., Groves, B., Langan, R.A., Oberdorfer, G., Ford, A., Gilmore, J.M., Xu, C., DiMaio, F., Pereira, J.H., et al.: De novo design of protein homo-oligomers with modular hydrogen-bond network-mediated specificity. Science 352(6286), 680\u2013687 (2016)","journal-title":"Science"},{"issue":"1","key":"15_CR2","doi-asserted-by":"publisher","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."},{"issue":"02","key":"15_CR3","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."},{"issue":"10","key":"15_CR4","doi-asserted-by":"publisher","first-page":"755","DOI":"10.1038\/nnano.2013.189","volume":"8","author":"YJ 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":"15_CR5","series-title":"Natural Computing Series","doi-asserted-by":"publisher","first-page":"543","DOI":"10.1007\/978-3-540-88869-7_27","volume-title":"Algorithmic Bioprocesses","author":"M Cook","year":"2009","unstructured":"Cook, M., Soloveichik, D., Winfree, E., Bruck, J.: Programmability of chemical reaction networks. In: Condon, A., Harel, D., Kok, J., Salomaa, A., Winfree, E. (eds.) Algorithmic Bioprocesses. Natural Computing Series, pp. 543\u2013584. Springer, Heidelberg (2009)"},{"key":"15_CR6","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1017\/S1355838200992161","volume":"6","author":"C Flamm","year":"2000","unstructured":"Flamm, C., Fontana, W., Hofacker, I.L., Schuster, P.: RNA folding at elementary step resolution. RNA 6, 325\u2013338 (2000)","journal-title":"RNA"},{"key":"15_CR7","unstructured":"Grun, C., Sarma, K., Wolfe, B., Shin, S.W., Winfree, E.: A domain-level DNA strand displacement reaction enumerator allowing arbitrary non-pseudoknotted secondary structures. arXiv:1505.03738 (2014)"},{"issue":"46","key":"15_CR8","doi-asserted-by":"publisher","first-page":"17322","DOI":"10.1021\/ja404676x","volume":"135","author":"LM Hochrein","year":"2013","unstructured":"Hochrein, L.M., Schwarzkopf, M., Shahgholi, M., Yin, P., Pierce, N.A.: Conditional dicer substrate formation via shape and sequence transduction with small conditional RNAs. J. Am. Chem. Soc. 135(46), 17322\u201317330 (2013)","journal-title":"J. Am. Chem. Soc."},{"key":"15_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1007\/978-3-319-43994-5_8","volume-title":"DNA Computing and Molecular Programming","author":"RF Johnson","year":"2016","unstructured":"Johnson, R.F., Dong, Q., Winfree, E.: Verifying chemical reaction network implementations: a bisimulation approach. In: Rondelez, Y., Woods, D. (eds.) DNA 2016. LNCS, vol. 9818, pp. 114\u2013134. Springer, Cham (2016). doi:10.1007\/978-3-319-43994-5_8"},{"key":"15_CR10","doi-asserted-by":"publisher","first-page":"1470","DOI":"10.1098\/rsif.2011.0800","volume":"9","author":"MR Lakin","year":"2012","unstructured":"Lakin, M.R., Parker, D., Cardelli, L., Kwiatkowska, M., Phillips, A.: Design and analysis of DNA strand displacement devices using probabilistic model checking. J. Roy. Soc. Interface 9, 1470\u20131485 (2012)","journal-title":"J. Roy. Soc. Interface"},{"key":"15_CR11","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1016\/j.tcs.2015.06.033","volume":"632","author":"MR Lakin","year":"2016","unstructured":"Lakin, M.R., Stefanovic, D., Phillips, A.: Modular verification of chemical reaction network encodings via serializability analysis. Theoret. Comput. Sci. 632, 21\u201342 (2016)","journal-title":"Theoret. Comput. Sci."},{"issue":"68","key":"15_CR12","doi-asserted-by":"publisher","first-page":"470","DOI":"10.1098\/rsif.2011.0343","volume":"9","author":"MR Lakin","year":"2012","unstructured":"Lakin, M.R., Youssef, S., Cardelli, L., Phillips, A.: Abstractions for DNA circuit design. J. Roy. Soc. Interface 9(68), 470\u2013486 (2012)","journal-title":"J. Roy. Soc. Interface"},{"key":"15_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1007\/978-3-642-18305-8_12","volume-title":"DNA Computing and Molecular Programming","author":"L Qian","year":"2011","unstructured":"Qian, L., Soloveichik, D., Winfree, E.: Efficient Turing-universal computation with DNA polymers. In: Sakakibara, Y., Mi, Y. (eds.) DNA 2010. LNCS, vol. 6518, pp. 123\u2013140. Springer, Heidelberg (2011). doi:10.1007\/978-3-642-18305-8_12"},{"issue":"6034","key":"15_CR14","doi-asserted-by":"publisher","first-page":"1196","DOI":"10.1126\/science.1200520","volume":"332","author":"L Qian","year":"2011","unstructured":"Qian, L., Winfree, E.: Scaling up digital circuit computation with DNA strand displacement cascades. Science 332(6034), 1196\u20131201 (2011)","journal-title":"Science"},{"key":"15_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1007\/978-3-319-21999-8_13","volume-title":"DNA Computing and Molecular Programming","author":"JM Schaeffer","year":"2015","unstructured":"Schaeffer, J.M., Thachuk, C., Winfree, E.: Stochastic simulation of the kinetics of multiple interacting nucleic acid strands. In: Phillips, A., Yin, P. (eds.) DNA 2015. LNCS, vol. 9211, pp. 194\u2013211. Springer, Cham (2015). doi:10.1007\/978-3-319-21999-8_13"},{"key":"15_CR16","unstructured":"Shin, S.W.: Compiling and verifying DNA-based chemical reaction network implementations. Master\u2019s thesis, Caltech (2011)"},{"issue":"4","key":"15_CR17","doi-asserted-by":"publisher","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":"15_CR18","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. 107(12), 5393\u20135398 (2010)","journal-title":"Proc. Natl. Acad. Sci."},{"key":"15_CR19","unstructured":"Srinivas, N.: Programming chemical kinetics: engineering dynamic reaction networks with DNA strand displacement. Ph.D. thesis, Caltech (2015)"},{"key":"15_CR20","doi-asserted-by":"crossref","unstructured":"Srinivas, N., Parkin, J., Seelig, G., Winfree, E., Soloveichik, D.: Enzyme-free nucleic acid dynamical systems. bioRxiv (2017). http:\/\/biorxiv.org\/content\/early\/2017\/05\/16\/138420","DOI":"10.1101\/138420"},{"key":"15_CR21","doi-asserted-by":"publisher","first-page":"14373","DOI":"10.1038\/ncomms14373","volume":"8","author":"AJ Thubagere","year":"2017","unstructured":"Thubagere, A.J., Thachuk, C., Berleant, J., Johnson, R.F., Ardelean, D.A., Cherry, K.M., Qian, L.: Compiler-aided systematic construction of large-scale DNA strand displacement circuits using unpurified components. Nat. Commun. 8, 14373 (2017)","journal-title":"Nat. Commun."},{"issue":"2","key":"15_CR22","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1038\/nchem.957","volume":"3","author":"DY Zhang","year":"2011","unstructured":"Zhang, D.Y., Seelig, G.: Dynamic DNA nanotechnology using strand-displacement reactions. Nat. Chem. 3(2), 103\u2013113 (2011)","journal-title":"Nat. Chem."}],"container-title":["Lecture Notes in Computer Science","DNA Computing and Molecular Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-66799-7_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,7]],"date-time":"2024-03-07T16:28:58Z","timestamp":1709828938000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-66799-7_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319667980","9783319667997"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-66799-7_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]},"assertion":[{"value":"24 August 2017","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"DNA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on DNA-Based Computers","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Austin","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":"2017","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"24 September 2017","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28 September 2017","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"23","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"dna2017","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/dna23ut.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}