{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,12]],"date-time":"2026-05-12T13:43:18Z","timestamp":1778593398536,"version":"3.51.4"},"reference-count":27,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2014,6,7]],"date-time":"2014-06-07T00:00:00Z","timestamp":1402099200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Nat Comput"],"published-print":{"date-parts":[[2015,6]]},"DOI":"10.1007\/s11047-014-9426-9","type":"journal-article","created":{"date-parts":[[2014,6,6]],"date-time":"2014-06-06T11:28:32Z","timestamp":1402054112000},"page":"195-211","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":23,"title":["DNA walker circuits: computational potential, design, and verification"],"prefix":"10.1007","volume":"14","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","published-online":{"date-parts":[[2014,6,7]]},"reference":[{"key":"9426_CR1","first-page":"269","volume-title":"Verifying continuous time markov chains","author":"A Aziz","year":"2006","unstructured":"Aziz A, Sanwa K, Singhal V, Brayton R (2006) Verifying continuous time markov chains. Springer, Heidelberg, pp 269\u2013276"},{"key":"9426_CR2","doi-asserted-by":"crossref","first-page":"524","DOI":"10.1109\/TSE.2003.1205180","volume":"29","author":"C Baier","year":"2003","unstructured":"Baier C, Haverkort B, Hermanns H, Katoen J (2003) Model-checking algorithms for continuous-time markov chains. IEEE Trans Softw Eng 29:524\u2013541","journal-title":"IEEE Trans Softw Eng"},{"key":"9426_CR3","doi-asserted-by":"crossref","first-page":"1513","DOI":"10.1002\/smll.200900078","volume":"5","author":"J Bath","year":"2009","unstructured":"Bath J, Green SJ, Allen KE, Turberfield AJ (2009) Mechanism for a directional, processive, and reversible dna motor. Small 5:1513\u20131516","journal-title":"Small"},{"key":"9426_CR4","doi-asserted-by":"crossref","first-page":"4358","DOI":"10.1002\/anie.200501262","volume":"44","author":"J Bath","year":"2005","unstructured":"Bath J, Green SJ, Turberfield AJ (2005) A free-running DNA motor powered by a nicking enzyme. Angewandte Chem 44:4358\u20134361","journal-title":"Angewandte Chem"},{"key":"9426_CR5","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1145\/136035.136043","volume":"24","author":"RE Bryant","year":"1992","unstructured":"Bryant RE (1992) Symbolic boolean manipulation with ordered binary-decision diagrams. ACM Comput Surv 24:293\u2013318","journal-title":"ACM Comput Surv"},{"key":"9426_CR6","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1038\/nnano.2013.257","volume":"9","author":"TG Cha","year":"2014","unstructured":"Cha TG, Pan J, Chen H, Salgado J, Li X, Mao C, Choi JH (2014) A synthetic DNA motor that transports nanoparticles along carbon nanotubes. Nat nanotechnol 9:39\u201343","journal-title":"Nat nanotechnol"},{"key":"9426_CR7","doi-asserted-by":"crossref","first-page":"64","DOI":"10.1007\/978-3-642-23638-9_8","volume":"6937","author":"H Chandran","year":"2011","unstructured":"Chandran H, Gopalkrishnan N, Phillips A, Reif J (2011) Localized hybridization circuits. DNA Comput Mol Program 6937:64\u201383","journal-title":"DNA Comput Mol Program"},{"key":"9426_CR8","doi-asserted-by":"crossref","unstructured":"Dannenberg F, Hahn EM, Kwiatkowska M (2013) Computing cumulative rewards using fast adaptive uniformisation. In: Proceedings of the 11th conference on computational methods in systems biology (CMSB\u201913)","DOI":"10.1007\/978-3-642-40708-6_4"},{"key":"9426_CR9","doi-asserted-by":"crossref","first-page":"238101","DOI":"10.1103\/PhysRevLett.101.238101","volume":"101","author":"S Green","year":"2008","unstructured":"Green S, Bath J, Turberfield A (2008) Coordinated chemomechanical cycles: a mechanism for autonomous molecular motion. Phys Rev Lett 101:238101","journal-title":"Phys Rev Lett"},{"key":"9426_CR10","doi-asserted-by":"crossref","unstructured":"H\u00e9rault T, Lassaigne R, Magniette F, Peyronnet S (2004) Approximate probabilistic model checking. In: Steffen B, Levi G. (eds.) VMCAI. Lecture Notes in Computer Science, vol 2937. Springer, Heidelberg, pp 73\u201384","DOI":"10.1007\/978-3-540-24622-0_8"},{"key":"9426_CR11","volume-title":"Reducibility among combinatorial problems","author":"RM Kary","year":"1972","unstructured":"Kary RM (1972) Reducibility among combinatorial problems. Springer, Tbilisi"},{"key":"9426_CR12","doi-asserted-by":"crossref","unstructured":"Kwiatkowska M, Norman G, Parker D (2007) Stochastic model checking. In: Bernardo M, Hillston J. (eds.) Formal methods for the design of Computer, Communication and Software Systems: Performance Evaluation (SFM\u201907). LNCS (Tutorial Volume), vol 4486. Springer, Berlin, pp 220\u2013270","DOI":"10.1007\/978-3-540-72522-0_6"},{"key":"9426_CR13","first-page":"31","volume-title":"Symbolic systems biology. Probabilistic model checking for systems biology","author":"M Kwiatkowska","year":"2010","unstructured":"Kwiatkowska M, Norman G, Parker D (2010) Symbolic systems biology. Probabilistic model checking for systems biology. Jones and Bartlett, Sudbury, pp 31\u201359"},{"key":"9426_CR14","doi-asserted-by":"crossref","first-page":"585","DOI":"10.1007\/978-3-642-22110-1_47","volume":"6806","author":"M Kwiatkowska","year":"2011","unstructured":"Kwiatkowska M, Norman G, Parker D (2011) PRISM 4.0: Verification of probabilistic real-time systems. Compu Aided Verif 6806:585\u2013591","journal-title":"Compu Aided Verif"},{"key":"9426_CR15","doi-asserted-by":"crossref","first-page":"982","DOI":"10.1021\/nl1037165","volume":"11","author":"RA Muscat","year":"2011","unstructured":"Muscat RA, Bath J, Turberfield AJ (2011) A programmable molecular robot. Nano Letters 11:982\u2013987","journal-title":"A programmable molecular robot. Nano Letters"},{"key":"9426_CR16","doi-asserted-by":"crossref","first-page":"3593","DOI":"10.1002\/smll.201201055","volume":"8","author":"RA Muscat","year":"2012","unstructured":"Muscat RA, Bath J, Turberfield AJ (2012) Small molecule signals that direct the route of a molecular cargo. Small 8:3593\u20133597","journal-title":"Small"},{"key":"9426_CR17","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1126\/science.1170336","volume":"324","author":"T Omabegho","year":"2009","unstructured":"Omabegho T, Sha R, Seeman NC (2009) A bipedal DNA Brownian motor with coordinated legs. Science 324:67\u201371","journal-title":"Science"},{"key":"9426_CR18","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1007\/978-3-642-18305-8_12","volume":"6518","author":"L Qian","year":"2010","unstructured":"Qian L, Soloveichik D, Winfree E (2010) Efficient Turing-universal computation with DNA polymers. DNA Comput Mol Program 6518:123\u2013140","journal-title":"DNA Comput Mol Program"},{"key":"9426_CR19","doi-asserted-by":"crossref","first-page":"1196","DOI":"10.1126\/science.1200520","volume":"332","author":"L Qian","year":"2011","unstructured":"Qian L, Winfree E (2011) Scaling up digital circuit computation with DNA strand displacement cascades. Science 332:1196\u20131201","journal-title":"Science"},{"key":"9426_CR20","doi-asserted-by":"crossref","first-page":"1585","DOI":"10.1126\/science.1132493","volume":"314","author":"G Seelig","year":"2006","unstructured":"Seelig G, Soloveichik D, Zhang D, Winfree E (2006) Enzyme-free nucleic acid logic circuits. Science 314:1585\u20131588","journal-title":"Science"},{"key":"9426_CR21","doi-asserted-by":"crossref","first-page":"021117","DOI":"10.1103\/PhysRevE.83.021117","volume":"83","author":"O Semenov","year":"2011","unstructured":"Semenov O, Olah MJ, Stefanovic D (2011) Mechanism of diffusive transport in molecular spider models. Phys Rev E 83:021117","journal-title":"Phys Rev E"},{"key":"9426_CR22","first-page":"43","volume-title":"Automata studies","author":"J Neumann von","year":"1956","unstructured":"von Neumann J (1956) Probabilistic logics and synthesis of reliable organisms from unreliable components. In: Shannon C, McCarthy J (eds) Automata studies. Princeton University Press, Princeton, pp 43\u201398"},{"key":"9426_CR23","doi-asserted-by":"crossref","first-page":"570","DOI":"10.1007\/BF01594196","volume":"114","author":"K Wagner","year":"1937","unstructured":"Wagner K (1937) \u00dcber eine Eigenschaft der ebenen Komplexe. Mathematische Annalen 114:570\u2013590","journal-title":"Mathematische Annalen"},{"key":"9426_CR24","doi-asserted-by":"crossref","first-page":"169","DOI":"10.1038\/nnano.2011.253","volume":"7","author":"SFJ Wickham","year":"2012","unstructured":"Wickham SFJ, Bath J, Katsuda Y, Endo M, Hidaka K, Sugiyama H, Turberfield AJ (2012) A DNA-based molecular motor that can navigate a network of tracks. Nat Nanotechnol 7:169\u2013173","journal-title":"Nat Nanotechnol"},{"key":"9426_CR25","doi-asserted-by":"crossref","first-page":"166","DOI":"10.1038\/nnano.2010.284","volume":"6","author":"SFJ Wickham","year":"2011","unstructured":"Wickham SFJ, Endo M, Katsuda Y, Hidaka K, Bath J, Sugiyama H, Turberfield AJ (2011) Direct observation of stepwise movement of a synthetic molecular transporter. Nat Nanotechnol 6:166\u2013169","journal-title":"Nat Nanotechnol"},{"key":"9426_CR26","doi-asserted-by":"crossref","first-page":"4906","DOI":"10.1002\/anie.200460522","volume":"43","author":"P Yin","year":"2004","unstructured":"Yin P, Yan H, Daniell XG, Turberfield AJ, Reif JH (2004) A unidirectional DNA walker that moves autonomously along a track. Angewandte Chem Int Ed 43:4906\u20134911","journal-title":"Angewandte Chem Int Ed"},{"key":"9426_CR27","doi-asserted-by":"crossref","first-page":"17303","DOI":"10.1021\/ja906987s","volume":"131","author":"DY Zhang","year":"2009","unstructured":"Zhang DY, Winfree E (2009) Control of DNA strand displacement kinetics using toehold exchange. J Am Chem Soc 131:17303\u201317314","journal-title":"J Am Chem Soc"}],"container-title":["Natural Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11047-014-9426-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11047-014-9426-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11047-014-9426-9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,11]],"date-time":"2019-08-11T09:30:00Z","timestamp":1565515800000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11047-014-9426-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,6,7]]},"references-count":27,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2015,6]]}},"alternative-id":["9426"],"URL":"https:\/\/doi.org\/10.1007\/s11047-014-9426-9","relation":{},"ISSN":["1567-7818","1572-9796"],"issn-type":[{"value":"1567-7818","type":"print"},{"value":"1572-9796","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,6,7]]}}}