{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T09:59:51Z","timestamp":1743155991742,"version":"3.40.3"},"publisher-location":"Cham","reference-count":12,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319219981"},{"type":"electronic","value":"9783319219998"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-21999-8_11","type":"book-chapter","created":{"date-parts":[[2015,7,20]],"date-time":"2015-07-20T19:00:01Z","timestamp":1437418801000},"page":"168-180","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Automated Design and Verification of Localized DNA Computation Circuits"],"prefix":"10.1007","author":[{"given":"Michael A.","family":"Boemo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrew J.","family":"Turberfield","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luca","family":"Cardelli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,7,21]]},"reference":[{"key":"11_CR1","doi-asserted-by":"publisher","first-page":"4432","DOI":"10.1002\/ange.200501262","volume":"117","author":"J Bath","year":"2005","unstructured":"Bath, J., Green, S.J., Turberfield, A.J.: A free-running DNA motor powered by a nicking enzyme. Angew. Chem. 117, 4432\u20134435 (2005)","journal-title":"Angew. Chem."},{"key":"11_CR2","doi-asserted-by":"publisher","first-page":"423","DOI":"10.1038\/nature02551","volume":"429","author":"Y Benenson","year":"2004","unstructured":"Benenson, Y., Gil, B., Ben-Dor, U., Adar, R., Shapiro, E.: An autonomous molecular computer for logical control of gene expression. Nature 429, 423\u2013429 (2004)","journal-title":"Nature"},{"key":"11_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/978-3-319-01928-4_3","volume-title":"DNA Computing and Molecular Programming","author":"F Dannenberg","year":"2013","unstructured":"Dannenberg, F., Kwiatkowska, M., Thachuk, C., Turberfield, A.J.: DNA walker circuits: computational potential, design, and verification. In: Soloveichik, D., Yurke, B. (eds.) DNA 2013. LNCS, vol. 8141, pp. 31\u201345. Springer, Heidelberg (2013)"},{"key":"11_CR4","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1145\/2110170.2110185","volume":"45","author":"D Joyner","year":"2011","unstructured":"Joyner, D., \u010cert\u00edk, O., Meurer, A., Granger, B.E.: Open source computer algebra systems: SymPy. ACM Commun. Comput. Algebra 45, 225\u2013234 (2011)","journal-title":"ACM Commun. Comput. Algebra"},{"key":"11_CR5","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)"},{"key":"11_CR6","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, 3211\u20133213 (2011)","journal-title":"Bioinformatics"},{"key":"11_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"132","DOI":"10.1007\/978-3-319-11295-4_9","volume-title":"DNA Computing and Molecular Programming","author":"MR Lakin","year":"2014","unstructured":"Lakin, M.R., Petersen, R., Gray, K.E., Phillips, A.: Abstract modelling of tethered DNA circuits. In: Murata, S., Kobayashi, S. (eds.) DNA 2014. LNCS, vol. 8727, pp. 132\u2013147. Springer, Heidelberg (2014)"},{"key":"11_CR8","doi-asserted-by":"publisher","first-page":"S419","DOI":"10.1098\/rsif.2009.0072.focus","volume":"6","author":"A Phillips","year":"2009","unstructured":"Phillips, A., Cardelli, L.: A programming language for composable DNA circuits. J. R. Soc. Interface 6, S419\u2013S436 (2009)","journal-title":"J. R. Soc. Interface"},{"key":"11_CR9","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1038\/nature04586","volume":"440","author":"PWK Rothemund","year":"2006","unstructured":"Rothemund, P.W.K.: Folding DNA to create nanoscale shapes and patterns. Nature 440, 297\u2013302 (2006)","journal-title":"Nature"},{"key":"11_CR10","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1038\/nnano.2011.253","volume":"7","author":"SFJ Wickham","year":"2012","unstructured":"Wickham, S.F.J., Bath, J., Katsuda, Y., Endo, M., Hidaka, K., Sugiyama, H., Turberfield, A.J.: A DNA-based molecular motor that can navigate a network of tracks. Nat. Nanotechnol. 7, 169\u2013173 (2012)","journal-title":"Nat. Nanotechnol."},{"key":"11_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"426","DOI":"10.1007\/11493785_37","volume-title":"DNA Computing","author":"P Yin","year":"2005","unstructured":"Yin, P., Turberfield, A.J., Sahu, S., Reif, J.H.: Design of an autonomous DNA nanomechanical device capable of universal computation and universal translational motion. In: Ferretti, C., Mauri, G., Zandron, C. (eds.) DNA 2004. LNCS, vol. 3384, pp. 426\u2013444. Springer, Heidelberg (2005)"},{"key":"11_CR12","doi-asserted-by":"publisher","first-page":"170","DOI":"10.1002\/jcc.21596","volume":"32","author":"JN Zadeh","year":"2011","unstructured":"Zadeh, J.N., Steenberg, C.D., Bois, J.S., Wolfe, B.R., Pierce, M.B., Khan, A.R., Dirks, R.M., Pierce, N.A.: NUPACK: analysis and design of nucleic acid systems. J. Comput. Chem. 32, 170\u2013173 (2011)","journal-title":"J. Comput. 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-21999-8_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,21]],"date-time":"2023-02-21T05:49:58Z","timestamp":1676958598000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-21999-8_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319219981","9783319219998"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-21999-8_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"21 July 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}