{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,6]],"date-time":"2026-01-06T02:11:22Z","timestamp":1767665482983},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642183041"},{"type":"electronic","value":"9783642183058"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-18305-8_12","type":"book-chapter","created":{"date-parts":[[2011,1,21]],"date-time":"2011-01-21T06:58:40Z","timestamp":1295593120000},"page":"123-140","source":"Crossref","is-referenced-by-count":81,"title":["Efficient Turing-Universal Computation with DNA Polymers"],"prefix":"10.1007","author":[{"given":"Lulu","family":"Qian","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Soloveichik","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Erik","family":"Winfree","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"5187","key":"12_CR1","doi-asserted-by":"publisher","first-page":"1021","DOI":"10.1126\/science.7973651","volume":"266","author":"L. Adleman","year":"1994","unstructured":"Adleman, L.: Molecular Computation of Solutions to Combinatorial Problems. Science\u00a0266(5187), 1021\u20131024 (1994)","journal-title":"Science"},{"key":"12_CR2","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1090\/dimacs\/027\/03","volume-title":"DNA Based Computers","author":"D. Beaver","year":"1996","unstructured":"Beaver, D.: A Universal Molecular Computer. In: Lipton, R., Baum, E. (eds.) DNA Based Computers, pp. 29\u201336. AMS, Providence (1996)"},{"issue":"6862","key":"12_CR3","doi-asserted-by":"publisher","first-page":"430","DOI":"10.1038\/35106533","volume":"414","author":"Y. Benenson","year":"2001","unstructured":"Benenson, Y., Paz-Elizur, T., Adar, R., Keinan, E., Livneh, Z., Shapiro, E.: Programmable and autonomous computing machine made of biomolecules. Nature\u00a0414(6862), 430\u2013434 (2001)","journal-title":"Nature"},{"key":"12_CR4","doi-asserted-by":"crossref","unstructured":"Benenson, Y., Shapiro, E.: Molecular computing machines. In: Encyclopedia of Nanoscience and Nanotechnology, pp. 2043\u20132056 (2004)","DOI":"10.1201\/9781439834398.ch158"},{"issue":"6","key":"12_CR5","doi-asserted-by":"publisher","first-page":"525","DOI":"10.1147\/rd.176.0525","volume":"17","author":"C. Bennett","year":"1973","unstructured":"Bennett, C.: Logical reversibility of computation. IBM Journal of Research and Development\u00a017(6), 525\u2013532 (1973)","journal-title":"IBM Journal of Research and Development"},{"issue":"12","key":"12_CR6","doi-asserted-by":"publisher","first-page":"905","DOI":"10.1007\/BF02084158","volume":"21","author":"C. Bennett","year":"1982","unstructured":"Bennett, C.: The thermodynamics of computation \u2013 a review. International Journal of Theoretical Physics\u00a021(12), 905\u2013940 (1982)","journal-title":"International Journal of Theoretical Physics"},{"key":"12_CR7","doi-asserted-by":"publisher","first-page":"766","DOI":"10.1137\/0218053","volume":"18","author":"C. Bennett","year":"1989","unstructured":"Bennett, C.: Time\/space trade-offs for reversible computation. SIAM Journal on Computing\u00a018, 766\u2013776 (1989)","journal-title":"SIAM Journal on Computing"},{"issue":"17","key":"12_CR8","doi-asserted-by":"publisher","first-page":"3289","DOI":"10.1093\/bioinformatics\/bth378","volume":"20","author":"M. Blinov","year":"2004","unstructured":"Blinov, M., Faeder, J., Goldstein, B., Hlavacek, W.: BioNetGen: software for rule-based modeling of signal transduction based on the interactions of molecular domains. Bioinformatics\u00a020(17), 3289\u20133291 (2004)","journal-title":"Bioinformatics"},{"key":"12_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"12","DOI":"10.1007\/978-3-642-10604-0_2","volume-title":"DNA Computing and Molecular Programming","author":"L. Cardelli","year":"2009","unstructured":"Cardelli, L.: Strand algebras for DNA computing. In: Deaton, R., Suyama, A. (eds.) DNA 15. LNCS, vol.\u00a05877, pp. 12\u201324. Springer, Heidelberg (2009)"},{"key":"12_CR10","doi-asserted-by":"crossref","unstructured":"Cardelli, L.: Two-Domain DNA Strand Displacement. In: Developments in Computational Models (DCM), pp. 33\u201347 (2010)","DOI":"10.4204\/EPTCS.26.5"},{"key":"12_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1007\/978-3-540-85101-1_6","volume-title":"Algebraic Biology","author":"L. Cardelli","year":"2008","unstructured":"Cardelli, L., Zavattaro, G.: On the computational power of biochemistry. In: Horimoto, K., Regensburger, G., Rosenkranz, M., Yoshida, H. (eds.) AB 2008. LNCS, vol.\u00a05147, pp. 65\u201380. Springer, Heidelberg (2008)"},{"key":"12_CR12","unstructured":"Chen, H., De, A., Goel, A.: Towards Programmable Molecular Machines. In: Foundations of Nanoscience (FNANO) (2008)"},{"key":"12_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/978-3-540-74407-8_3","volume-title":"CONCUR 2007 \u2013 Concurrency Theory","author":"V. Danos","year":"2007","unstructured":"Danos, V., Feret, J., Fontana, W., Harmer, R., Krivine, J.: Rule-based modelling of cellular signalling. In: Caires, L., Li, L. (eds.) CONCUR 2007. LNCS, vol.\u00a04703, pp. 17\u201341. Springer, Heidelberg (2007)"},{"key":"12_CR14","doi-asserted-by":"crossref","unstructured":"Kurtz, S., Mahaney, S., Royer, J., Simon, J.: Biological computing. In: Complexity Theory Retrospective II, pp. 179\u2013195 (1997)","DOI":"10.1007\/978-1-4612-1872-2_8"},{"issue":"3","key":"12_CR15","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1147\/rd.53.0183","volume":"5","author":"R. Landauer","year":"1961","unstructured":"Landauer, R.: Irreversibility and heat generation in the computing process. IBM Journal of Research and Development\u00a05(3), 183\u2013191 (1961)","journal-title":"IBM Journal of Research and Development"},{"key":"12_CR16","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"1202","DOI":"10.1007\/978-3-540-74913-4_120","volume-title":"Advances in Artificial Life","author":"A.M.L. Liekens","year":"2007","unstructured":"Liekens, A.M.L., Fernando, C.T.: Turing complete catalytic particle computers. In: Almeida e Costa, F., Rocha, L.M., Costa, E., Harvey, I., Coutinho, A. (eds.) ECAL 2007. LNCS (LNAI), vol.\u00a04648, pp. 1202\u20131211. Springer, Heidelberg (2007)"},{"key":"12_CR17","volume-title":"Computation: finite and infinite machines","author":"M.L. Minsky","year":"1967","unstructured":"Minsky, M.L.: Computation: finite and infinite machines. Prentice-Hall, Englewood Cliffs (1967)"},{"issue":"3","key":"12_CR18","first-page":"223","volume":"E 72","author":"K. Morita","year":"1989","unstructured":"Morita, K., Shirasaki, A., Gono, Y.: A 1-tape 2-symbol reversible Turing machine. The Transactions of the IEICE\u00a0E 72(3), 223\u2013228 (1989)","journal-title":"The Transactions of the IEICE"},{"key":"12_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1007\/978-3-642-03076-5_7","volume-title":"DNA Computing","author":"L. Qian","year":"2009","unstructured":"Qian, L., Winfree, E.: A simple DNA gate motif for synthesizing large-scale circuits. In: Goel, A., Simmel, F.C., Sos\u00edk, P. (eds.) DNA 14. LNCS, vol.\u00a05347, pp. 70\u201389. Springer, Heidelberg (2009)"},{"key":"12_CR20","series-title":"DIMACS","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1090\/dimacs\/027\/06","volume-title":"DNA Based Computers","author":"P. Rothemund","year":"1996","unstructured":"Rothemund, P.: A DNA and restriction enzyme implementation of Turing machines. In: Lipton, R., Baum, E. (eds.) DNA Based Computers. DIMACS, vol.\u00a027, pp. 75\u2013119. AMS, Providence (1996)"},{"issue":"12","key":"12_CR21","doi-asserted-by":"publisher","first-page":"424","DOI":"10.1371\/journal.pbio.0020424","volume":"2","author":"P. Rothemund","year":"2004","unstructured":"Rothemund, P., Papadakis, N., Winfree, E.: Algorithmic self-assembly of DNA sierpinski triangles. PLoS Biology\u00a02(12), e424 (2004)","journal-title":"PLoS Biology"},{"issue":"5805","key":"12_CR22","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.Y., Winfree, E.: Enzyme-free nucleic acid logic circuits. Science\u00a0314(5805), 1585\u20131588 (2006)","journal-title":"Science"},{"key":"12_CR23","series-title":"DIMACS","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1090\/dimacs\/027\/07","volume-title":"DNA Based Computers","author":"W. Smith","year":"1996","unstructured":"Smith, W.: DNA computers in vitro and vivo. In: Lipton, R., Baum, E. (eds.) DNA Based Computers. DIMACS, vol.\u00a027, pp. 121\u2013185. AMS, Providence (1996)"},{"issue":"4","key":"12_CR24","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. Natural Computing\u00a07(4), 615\u2013633 (2008)","journal-title":"Natural Computing"},{"issue":"12","key":"12_CR25","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. Proceedings of the National Academy of Science\u00a0107(12), 5393\u20135398 (2010)","journal-title":"Proceedings of the National Academy of Science"},{"key":"12_CR26","series-title":"DIMACS","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1090\/dimacs\/027\/09","volume-title":"DNA Based Computers","author":"E. Winfree","year":"1996","unstructured":"Winfree, E.: On the computational power of DNA annealing and ligation. In: Lipton, R., Baum, E. (eds.) DNA Based Computers. DIMACS, vol.\u00a027, pp. 199\u2013221. AMS, Providence (1996)"},{"key":"12_CR27","unstructured":"Winfree, E.: Simulations of computing by self-assembly. Technical Report CS-TR:1998.22, Caltech (1998)"},{"key":"12_CR28","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., Sahu, S., Reif, J.: Design of an autonomous DNA nanomechanical device capable of universal computation and universal translational motion. In: Ferretti, C., Mauri, G., Zandron, C. (eds.) DNA 10. LNCS, vol.\u00a03384, pp. 426\u2013444. Springer, Heidelberg (2005)"},{"issue":"5853","key":"12_CR29","doi-asserted-by":"publisher","first-page":"1121","DOI":"10.1126\/science.1148532","volume":"318","author":"D. Zhang","year":"2007","unstructured":"Zhang, D., Turberfield, A., Yurke, B., Winfree, E.: Engineering entropy-driven reactions and networks catalyzed by DNA. Science\u00a0318(5853), 1121\u20131125 (2007)","journal-title":"Science"},{"issue":"47","key":"12_CR30","doi-asserted-by":"publisher","first-page":"17303","DOI":"10.1021\/ja906987s","volume":"131","author":"D. Zhang","year":"2009","unstructured":"Zhang, D., 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-642-18305-8_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,24]],"date-time":"2019-03-24T00:05:38Z","timestamp":1553385938000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-18305-8_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642183041","9783642183058"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-18305-8_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}