{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T04:13:57Z","timestamp":1759637637946},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319019277"},{"type":"electronic","value":"9783319019284"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"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":[[2013]]},"DOI":"10.1007\/978-3-319-01928-4_3","type":"book-chapter","created":{"date-parts":[[2013,9,18]],"date-time":"2013-09-18T15:44:15Z","timestamp":1379519055000},"page":"31-45","source":"Crossref","is-referenced-by-count":26,"title":["DNA Walker Circuits: Computational Potential, Design, and Verification"],"prefix":"10.1007","author":[{"given":"Frits","family":"Dannenberg","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marta","family":"Kwiatkowska","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chris","family":"Thachuk","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrew J.","family":"Turberfield","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","unstructured":"Intel i5-2520M, Fedora 3.8.4-102.fc17.x86_64, OpenJDK RE-1.7, PRISM 4.0.3"},{"issue":"28","key":"3_CR2","doi-asserted-by":"publisher","first-page":"4358","DOI":"10.1002\/anie.200501262","volume":"44","author":"J. Bath","year":"2005","unstructured":"Bath, J., Green, S.J., Turberfield, A.J.: A free-running DNA motor powered by a nicking enzyme. Angewandte Chemie (International ed. in English)\u00a044(28), 4358\u20134361 (2005)","journal-title":"Angewandte Chemie (International ed. in English)"},{"issue":"3","key":"3_CR3","doi-asserted-by":"publisher","first-page":"641","DOI":"10.1016\/j.jmb.2005.02.035","volume":"348","author":"S.R.W. Bellamy","year":"2005","unstructured":"Bellamy, S.R.W., Milsom, S.E., Scott, D.J., Daniels, L.E., Wilson, G.G., Halford, S.E.: Cleavage of individual DNA strands by the different subunits of the heterodimeric restriction endonuclease BbvCI. Journal of Molecular Biology\u00a0348(3), 641\u2013653 (2005)","journal-title":"Journal of Molecular Biology"},{"issue":"3","key":"3_CR4","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1145\/136035.136043","volume":"24","author":"R.E. Bryant","year":"1992","unstructured":"Bryant, R.E.: Symbolic boolean manipulation with ordered binary-decision diagrams. ACM Computing Surveys\u00a024(3), 293\u2013318 (1992)","journal-title":"ACM Computing Surveys"},{"key":"3_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1007\/978-3-642-23638-9_8","volume-title":"DNA Computing and Molecular Programming","author":"H. Chandran","year":"2011","unstructured":"Chandran, H., Gopalkrishnan, N., Phillips, A., Reif, J.: Localized hybridization circuits. In: Cardelli, L., Shih, W. (eds.) DNA 17. LNCS, vol.\u00a06937, pp. 64\u201383. Springer, Heidelberg (2011)"},{"key":"3_CR6","unstructured":"Dannenberg, F., Hahn, E.M., Kwiatkowska, M.: Computing cumulative rewards using fast adaptive uniformisation. In: Proc. 11th Conference on Computational Methods in Systems Biology (CMSB 2013) (to appear, 2013)"},{"issue":"23","key":"3_CR7","doi-asserted-by":"publisher","first-page":"238101","DOI":"10.1103\/PhysRevLett.101.238101","volume":"101","author":"S. Green","year":"2008","unstructured":"Green, S., Bath, J., Turberfield, A.: Coordinated chemomechanical cycles: A mechanism for autonomous molecular motion. Physical Review Letters\u00a0101(23), 238101 (2008)","journal-title":"Physical Review Letters"},{"key":"3_CR8","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.\u00a06806, pp. 585\u2013591. Springer, Heidelberg (2011)"},{"key":"3_CR9","doi-asserted-by":"crossref","unstructured":"von Neumann, J.: Probabilistic logics and synthesis of reliable organisms from unreliable components. In: Shannon, C., McCarthy, J. (eds.) Automata Studies, pp. 43\u201398. Princeton University Press (1956)","DOI":"10.1515\/9781400882618-003"},{"issue":"5923","key":"3_CR10","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1126\/science.1170336","volume":"324","author":"T. Omabegho","year":"2009","unstructured":"Omabegho, T., Sha, R., Seeman, N.C.: A bipedal DNA Brownian motor with coordinated legs. Science\u00a0324(5923), 67\u201371 (2009)","journal-title":"Science"},{"key":"3_CR11","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 16 2010. LNCS, vol.\u00a06518, pp. 123\u2013140. Springer, Heidelberg (2011)"},{"issue":"6034","key":"3_CR12","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\u00a0332(6034), 1196\u20131201 (2011)","journal-title":"Science"},{"issue":"5805","key":"3_CR13","doi-asserted-by":"publisher","first-page":"1585","DOI":"10.1126\/science.1132493","volume":"314","author":"G. Seelig","year":"2006","unstructured":"Seelig, G., Soloveichik, D., Zhang, D., Winfree, E.: Enzyme-free nucleic acid logic circuits. Science\u00a0314(5805), 1585\u20131588 (2006)","journal-title":"Science"},{"issue":"3","key":"3_CR14","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1038\/nnano.2011.253","volume":"7","author":"S.F.J. 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. Nature Nanotechnology\u00a07(3), 169\u2013173 (2012)","journal-title":"Nature Nanotechnology"},{"issue":"3","key":"3_CR15","doi-asserted-by":"publisher","first-page":"166","DOI":"10.1038\/nnano.2010.284","volume":"6","author":"S.F.J. Wickham","year":"2011","unstructured":"Wickham, S.F.J., Endo, M., Katsuda, Y., Hidaka, K., Bath, J., Sugiyama, H., Turberfield, A.J.: Direct observation of stepwise movement of a synthetic molecular transporter. Nature Nanotechnology\u00a06(3), 166\u2013169 (2011)","journal-title":"Nature Nanotechnology"},{"issue":"37","key":"3_CR16","doi-asserted-by":"publisher","first-page":"4906","DOI":"10.1002\/anie.200460522","volume":"43","author":"P. Yin","year":"2004","unstructured":"Yin, P., Yan, H., Daniell, X.G., Turberfield, A.J., Reif, J.H.: A unidirectional DNA walker that moves autonomously along a track. Angewandte Chemie International Edition\u00a043(37), 4906\u20134911 (2004)","journal-title":"Angewandte Chemie International Edition"},{"issue":"47","key":"3_CR17","doi-asserted-by":"publisher","first-page":"17303","DOI":"10.1021\/ja906987s","volume":"131","author":"D.Y. Zhang","year":"2009","unstructured":"Zhang, D.Y., Winfree, E.: Control of DNA strand displacement kinetics using toehold exchange. Journal of the American Chemical Society\u00a0131(47), 17303\u201317314 (2009)","journal-title":"Journal of the American Chemical Society"}],"container-title":["Lecture Notes in Computer Science","DNA Computing and Molecular Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-01928-4_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,17]],"date-time":"2019-05-17T11:49:49Z","timestamp":1558093789000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-01928-4_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783319019277","9783319019284"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-01928-4_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}