{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,22]],"date-time":"2025-03-22T09:54:59Z","timestamp":1742637299433},"publisher-location":"Cham","reference-count":28,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319112947"},{"type":"electronic","value":"9783319112954"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-11295-4_9","type":"book-chapter","created":{"date-parts":[[2014,9,8]],"date-time":"2014-09-08T10:35:40Z","timestamp":1410172540000},"page":"132-147","source":"Crossref","is-referenced-by-count":20,"title":["Abstract Modelling of Tethered DNA Circuits"],"prefix":"10.1007","author":[{"given":"Matthew R.","family":"Lakin","sequence":"first","affiliation":[]},{"given":"Rasmus","family":"Petersen","sequence":"additional","affiliation":[]},{"given":"Kathryn E.","family":"Gray","sequence":"additional","affiliation":[]},{"given":"Andrew","family":"Phillips","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"4","key":"9_CR1","doi-asserted-by":"publisher","first-page":"467","DOI":"10.1016\/S0092-8674(03)00111-9","volume":"112","author":"R.D. Vale","year":"2003","unstructured":"Vale, R.D.: The molecular motor toolbox for intracellular transport. Cell\u00a0112(4), 467\u2013480 (2003)","journal-title":"Cell"},{"issue":"3","key":"9_CR2","doi-asserted-by":"publisher","first-page":"982","DOI":"10.1021\/nl1037165","volume":"11","author":"R.A. Muscat","year":"2011","unstructured":"Muscat, R.A., Bath, J., Turberfield, A.J.: A programmable molecular robot. Nano Lett.\u00a011(3), 982\u2013987 (2011)","journal-title":"Nano Lett."},{"key":"9_CR3","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 Nanotech.\u00a07, 169\u2013173 (2012)","journal-title":"Nature Nanotech."},{"key":"9_CR4","doi-asserted-by":"publisher","first-page":"202","DOI":"10.1038\/nature09026","volume":"465","author":"H. Gu","year":"2010","unstructured":"Gu, H., Chao, J., Xiao, S.-J., Seeman, N.C.: A proximity-based programmable DNA nanoscale assembly line. Nature\u00a0465, 202\u2013205 (2010)","journal-title":"Nature"},{"key":"9_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":"9_CR6","doi-asserted-by":"crossref","unstructured":"Muscat, R.A., Strauss, K., Ceze, L., Seelig, G.: DNA-based molecular architecture with spatially localized components. In: Proceedings of ISCA 2013 (2013)","DOI":"10.1145\/2485922.2485938"},{"issue":"3","key":"9_CR7","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1016\/j.tcs.2007.11.013","volume":"319","author":"J. Heath","year":"2008","unstructured":"Heath, J., Kwiatkowska, M., Norman, G., Parker, D., Tymchyshyn, O.: Probabilistic model checking of complex biological pathways. Theor. Comput. Sci.\u00a0319(3), 239\u2013257 (2008)","journal-title":"Theor. Comput. Sci."},{"issue":"72","key":"9_CR8","doi-asserted-by":"publisher","first-page":"1470","DOI":"10.1098\/rsif.2011.0800","volume":"9","author":"M.R. 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. R. Soc. Interface\u00a09(72), 1470\u20131485 (2012)","journal-title":"J. R. Soc. Interface"},{"key":"9_CR9","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 19. LNCS, vol.\u00a08141, pp. 31\u201345. Springer, Heidelberg (2013)"},{"key":"9_CR10","doi-asserted-by":"crossref","unstructured":"Phillips, A., Cardelli, L.: A programming language for composable DNA circuits. J. R. Soc. Interface\u00a06(suppl.\u00a04), S419\u2013S436 (2009)","DOI":"10.1098\/rsif.2009.0072.focus"},{"issue":"68","key":"9_CR11","doi-asserted-by":"publisher","first-page":"470","DOI":"10.1098\/rsif.2011.0343","volume":"9","author":"M.R. Lakin","year":"2012","unstructured":"Lakin, M.R., Youssef, S., Cardelli, L., Phillips, A.: Abstractions for DNA circuit design. J. R. Soc. Interface\u00a09(68), 470\u2013486 (2012)","journal-title":"J. R. Soc. Interface"},{"issue":"11","key":"9_CR12","doi-asserted-by":"publisher","first-page":"118102","DOI":"10.1103\/PhysRevLett.90.118102","volume":"90","author":"A.J. Turberfield","year":"2003","unstructured":"Turberfield, A.J., Mitchell, J.C., Yurke, B., Mills Jr., A.P., Blakey, M.I., Simmel, F.C.: DNA fuel for free-running nanomachines. Phys. Rev. Lett.\u00a090(11), 118102 (2003)","journal-title":"Phys. Rev. Lett."},{"key":"9_CR13","doi-asserted-by":"publisher","first-page":"12211","DOI":"10.1021\/ja0635635","volume":"128","author":"G. Seelig","year":"2006","unstructured":"Seelig, G., Yurke, B., Winfree, E.: Catalyzed relaxation of a metastable DNA fuel. J. Am. Chem. Soc.\u00a0128, 12211\u201312220 (2006)","journal-title":"J. Am. Chem. Soc."},{"key":"9_CR14","doi-asserted-by":"publisher","first-page":"238101","DOI":"10.1103\/PhysRevLett.101.238101","volume":"101","author":"S.J. Green","year":"2008","unstructured":"Green, S.J., Bath, J., Turberfield, A.J.: Coordinated chemomechanical cycles: A mechanism for autonomous molecular motion. Phys. Rev. Lett.\u00a0101, 238101 (2008)","journal-title":"Phys. Rev. Lett."},{"issue":"7","key":"9_CR15","doi-asserted-by":"publisher","first-page":"2177","DOI":"10.1021\/ja1073239","volume":"133","author":"A.J. Genot","year":"2011","unstructured":"Genot, A.J., Zhang, D.Y., Bath, J., Turberfield, A.J.: Remote toehold: A mechanism for flexible control of DNA hybridization kinetics. J. Am. Chem. Soc.\u00a0133(7), 2177\u20132182 (2011)","journal-title":"J. Am. Chem. Soc."},{"issue":"22","key":"9_CR16","doi-asserted-by":"publisher","first-page":"3211","DOI":"10.1093\/bioinformatics\/btr543","volume":"27","author":"M.R. 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\u00a027(22), 3211\u20133213 (2011)","journal-title":"Bioinformatics"},{"key":"9_CR17","doi-asserted-by":"publisher","first-page":"5001","DOI":"10.1093\/nar\/gkp436","volume":"37","author":"S.M. Douglas","year":"2009","unstructured":"Douglas, S.M., Marblestone, A.H., Teerapittayanon, S., Vazquez, A., Church, G.M., Shih, W.M.: Rapid prototyping of three-dimensional DNA-origami shapes with caDNAno. Nucleic Acids Res.\u00a037, 5001\u20135006 (2009)","journal-title":"Nucleic Acids Res."},{"key":"9_CR18","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1016\/S0020-0190(01)00214-9","volume":"80","author":"C. Priami","year":"2001","unstructured":"Priami, C., Regev, A., Shapiro, E., Silverman, W.: Application of a stochastic name-passing calculus to representation and simulation of molecular processes. Inform Process Lett.\u00a080, 25\u201331 (2001)","journal-title":"Inform Process Lett."},{"key":"9_CR19","series-title":"Lecture Notes in Bioinformatics","doi-asserted-by":"publisher","first-page":"184","DOI":"10.1007\/978-3-540-75140-3_13","volume-title":"Computational Methods in Systems Biology","author":"A. Phillips","year":"2007","unstructured":"Phillips, A., Cardelli, L.: Efficient, correct simulation of biological processes in the stochastic pi-calculus. In: Calder, M., Gilmore, S. (eds.) CMSB 2007. LNCS (LNBI), vol.\u00a04695, pp. 184\u2013199. Springer, Heidelberg (2007)"},{"key":"9_CR20","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1016\/S0959-440X(99)80042-6","volume":"9","author":"Y. Li","year":"1999","unstructured":"Li, Y., Breaker, R.R.: Deoxyribozymes: new players in the ancient game of biocatalysis. Curr. Opin. Struct. Biol.\u00a09, 315\u2013323 (1999)","journal-title":"Curr. Opin. Struct. Biol."},{"key":"9_CR21","doi-asserted-by":"publisher","first-page":"206","DOI":"10.1038\/nature09012","volume":"465","author":"K. Lund","year":"2010","unstructured":"Lund, K., Manzo, A.J., Dabby, N., Michelotti, N., Johnson-Buck, A., Nangreave, J., Taylor, S., Pei, R., Stojanovic, M.N., Walter, N.G., Winfree, E., Yan, H.: Molecular robots guided by prescriptive landscapes. Nature\u00a0465, 206\u2013210 (2010)","journal-title":"Nature"},{"issue":"39","key":"9_CR22","doi-asserted-by":"publisher","first-page":"12693","DOI":"10.1021\/ja058394n","volume":"128","author":"R. Pei","year":"2006","unstructured":"Pei, R., Taylor, S.K., Stefanovic, D., Rudchenko, S., Mitchell, T.E., Stojanovic, M.N.: Behavior of polycatalytic assemblies in a substrate-displaying matrix. J. Am. Chem. Soc.\u00a0128(39), 12693\u201312699 (2006)","journal-title":"J. Am. Chem. Soc."},{"key":"9_CR23","unstructured":"Olah, M.J.: Multivalent Random Walkers: A computational model of superdiffusion at the nanoscale. PhD thesis, University of New Mexico (2012)"},{"key":"9_CR24","doi-asserted-by":"publisher","first-page":"62713","DOI":"10.1103\/PhysRevE.87.062713","volume":"87","author":"M.J. Olah","year":"2013","unstructured":"Olah, M.J., Stefanovic, D.: Superdiffusive transport by multivalent molecular walkers moving under load. Phys. Rev. E\u00a087, 62713 (2013)","journal-title":"Phys. Rev. E"},{"key":"9_CR25","unstructured":"Semenov, O.: Abstract Models of Molecular Walkers. PhD thesis, University of New Mexico (2013)"},{"key":"9_CR26","doi-asserted-by":"crossref","unstructured":"Semenov, O., Mohr, D., Stefanovic, D.: First passage properties of molecular spiders. Phys. Rev. E\u00a088, 012724 (2013)","DOI":"10.1103\/PhysRevE.88.012724"},{"issue":"2","key":"9_CR27","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1007\/s11047-012-9357-2","volume":"12","author":"O. Semenov","year":"2013","unstructured":"Semenov, O., Olah, M.J., Stefanovic, D.: Cooperative linear cargo transport with molecular spiders. Natural Computing\u00a012(2), 259\u2013276 (2013)","journal-title":"Natural Computing"},{"key":"9_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"216","DOI":"10.1007\/978-3-642-33860-1_18","volume-title":"Theory and Practice of Natural Computing","author":"D. Stefanovic","year":"2012","unstructured":"Stefanovic, D.: Maze exploration with molecular-scale walkers. In: Dediu, A.-H., Mart\u00edn-Vide, C., Truthe, B. (eds.) TPNC 2012. LNCS, vol.\u00a07505, pp. 216\u2013226. Springer, Heidelberg (2012)"}],"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-11295-4_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T16:37:04Z","timestamp":1558975024000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-11295-4_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319112947","9783319112954"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-11295-4_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}