{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T15:48:09Z","timestamp":1743090489869,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642236372"},{"type":"electronic","value":"9783642236389"}],"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-23638-9_16","type":"book-chapter","created":{"date-parts":[[2011,9,9]],"date-time":"2011-09-09T21:31:12Z","timestamp":1315603872000},"page":"190-203","source":"Crossref","is-referenced-by-count":3,"title":["Autonomous Resolution Based on DNA Strand Displacement"],"prefix":"10.1007","author":[{"given":"Alfonso","family":"Rodr\u00edguez-Pat\u00f3n","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"I\u00f1aki Sainz","family":"de Murieta","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Petr","family":"Sos\u00edk","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2","key":"16_CR1","doi-asserted-by":"publisher","first-page":"363","DOI":"10.1016\/j.cell.2007.05.045","volume":"130","author":"T.L. Deans","year":"2007","unstructured":"Deans, T.L., Cantor, C.R., Collins, J.J.: A tunable genetic switch based on RNAi and repressor proteins for regulating gene expression in mammalian cells. Cell\u00a0130(2), 363\u2013372 (2007)","journal-title":"Cell"},{"key":"16_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\u00a0429, 423\u2013429 (2004)","journal-title":"Nature"},{"issue":"7037","key":"16_CR3","doi-asserted-by":"publisher","first-page":"1130","DOI":"10.1038\/nature03461","volume":"434","author":"S. Basu","year":"2005","unstructured":"Basu, S., Gerchman, Y., Collins, C.H., Arnold, F.H., Weiss, R.: A synthetic multicellular system for programmed pattern formation. Nature\u00a0434(7037), 1130\u20131134 (2005)","journal-title":"Nature"},{"issue":"5805","key":"16_CR4","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"},{"issue":"48","key":"16_CR5","doi-asserted-by":"publisher","first-page":"14875","DOI":"10.1021\/ja0710149","volume":"129","author":"B.M. Frezza","year":"2007","unstructured":"Frezza, B.M., Cockroft, S.L., Ghadiri, M.R.: Modular multi-level circuits from immobilized DNA-based logic gates. J. Am. Chem. Soc.\u00a0129(48), 14875\u201314879 (2007)","journal-title":"J. Am. Chem. Soc."},{"key":"16_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1007\/11753681_27","volume-title":"DNA Computing","author":"K. Takahashi","year":"2006","unstructured":"Takahashi, K., Yaegashi, S., Kameda, A., Hagiya, M.: Chain reaction systems based on loop dissociation of DNA. In: Carbone, A., Pierce, N.A. (eds.) DNA 2005. LNCS, vol.\u00a03892, pp. 347\u2013358. Springer, Heidelberg (2006)"},{"key":"16_CR7","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":"16_CR8","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1023\/A:1009893911892","volume":"3","author":"S. Kobayashi","year":"1999","unstructured":"Kobayashi, S.: Horn clause computation with DNA molecules. J. Comb. Optim.\u00a03, 277\u2013299 (1999)","journal-title":"J. Comb. Optim."},{"key":"16_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"308","DOI":"10.1007\/3-540-48017-X_29","volume-title":"DNA Computing","author":"H. Uejima","year":"2002","unstructured":"Uejima, H., Hagiya, M., Kobayashi, S.: Horn clause computation by self-assembly of DNA molecules. In: Jonoska, N., Seeman, N.C. (eds.) DNA 2001. LNCS, vol.\u00a02340, pp. 308\u2013320. Springer, Heidelberg (2002)"},{"issue":"3","key":"16_CR10","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1080\/019697200124829","volume":"31","author":"P. Wasiewicz","year":"2000","unstructured":"Wasiewicz, P., Janczak, T., Mulawka, J.J., Plucienniczak, A.: The inference based on molecular computing. Cybernetics and Systems: An International Journal\u00a031(3), 283\u2013315 (2000)","journal-title":"Cybernetics and Systems: An International Journal"},{"issue":"10","key":"16_CR11","doi-asserted-by":"publisher","first-page":"642","DOI":"10.1038\/nnano.2009.203","volume":"4","author":"T. Ran","year":"2009","unstructured":"Ran, T., Kaplan, S., Shapiro, E.: Molecular implementation of simple logic programs. Nature Nanotechnology\u00a04(10), 642\u2013648 (2009)","journal-title":"Nature Nanotechnology"},{"issue":"6862","key":"16_CR12","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":"16_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"192","DOI":"10.1007\/978-3-642-13523-1_25","volume-title":"Unconventional Computation","author":"A. Rodr\u00edguez-Pat\u00f3n","year":"2010","unstructured":"Rodr\u00edguez-Pat\u00f3n, A., Larrea, J.M., Sainz de Murieta, I.: Inference with DNA molecules. In: Calude, C.S., Hagiya, M., Morita, K., Rozenberg, G., Timmis, J. (eds.) UC 2010. LNCS, vol.\u00a06079, page 192. Springer, Heidelberg (2010)"},{"issue":"6","key":"16_CR14","doi-asserted-by":"publisher","first-page":"2021","DOI":"10.1073\/pnas.91.6.2021","volume":"91","author":"I.G. Panyutin","year":"1994","unstructured":"Panyutin, I.G., Hsieh, P.: The kinetics of spontaneous dna branch migration. Proceedings of the National Academy of Sciences\u00a091(6), 2021\u20132025 (1994)","journal-title":"Proceedings of the National Academy of Sciences"},{"issue":"4","key":"16_CR15","doi-asserted-by":"publisher","first-page":"795","DOI":"10.1006\/jmbi.1998.1769","volume":"279","author":"I. Biswas","year":"1998","unstructured":"Biswas, I., Yamamoto, A., Hsieh, P.: Branch migration through DNA sequence heterology. Journal of Molecular Biology\u00a0279(4), 795\u2013806 (1998)","journal-title":"Journal of Molecular Biology"},{"key":"16_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/978-3-642-18305-8_3","volume-title":"DNA Computing and Molecular Programming","author":"E. Chiniforooshan","year":"2011","unstructured":"Chiniforooshan, E., Doty, D., Kari, L., Seki, S.: Scalable, time-responsive, digital, energy-efficient molecular circuits using DNA strand displacement. In: Sakakibara, Y., Mi, Y. (eds.) DNA 16 2010. LNCS, vol.\u00a06518, pp. 25\u201336. Springer, Heidelberg (2011)"},{"issue":"5210","key":"16_CR17","doi-asserted-by":"publisher","first-page":"542","DOI":"10.1126\/science.7725098","volume":"268","author":"R.J. Lipton","year":"1995","unstructured":"Lipton, R.J.: DNA solution of hard computational problems. Science\u00a0268(5210), 542\u2013545 (1995)","journal-title":"Science"},{"issue":"5469","key":"16_CR18","doi-asserted-by":"publisher","first-page":"1223","DOI":"10.1126\/science.288.5469.1223","volume":"288","author":"K. Sakamoto","year":"2000","unstructured":"Sakamoto, K., Gouzu, H., Komiya, K., Kiga, D., Yokoyama, S., Yokomori, T., Hagiya, M.: Molecular computation by DNA hairpin formation. Science\u00a0288(5469), 1223\u20131226 (2000)","journal-title":"Science"},{"key":"16_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"172","DOI":"10.1007\/3-540-48017-X_16","volume-title":"DNA Computing","author":"V. Manca","year":"2002","unstructured":"Manca, V., Zandron, C.: A clause string DNA algorithm for SAT. In: Jonoska, N., Seeman, N.C. (eds.) DNA 2001. LNCS, vol.\u00a02340, pp. 172\u2013181. Springer, Heidelberg (2002)"},{"issue":"1","key":"16_CR20","first-page":"205","volume":"49","author":"V. Manca","year":"2002","unstructured":"Manca, V.: DNA and membrane algorithms for SAT. Fundamenta Informaticae\u00a049(1), 205\u2013221 (2002)","journal-title":"Fundamenta Informaticae"},{"key":"16_CR21","unstructured":"Ogihara, M.: Breadth first search 3SAT algorithms for DNA computers (1996)"},{"issue":"1","key":"16_CR22","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1016\/j.biosystems.2007.08.006","volume":"91","author":"X. Wang","year":"2008","unstructured":"Wang, X., Bao, Z., Hu, J., Wang, S., Zhan, A.: Solving the SAT problem using a DNA computing algorithm based on ligase chain reaction. Biosystems\u00a091(1), 117\u2013125 (2008)","journal-title":"Biosystems"},{"issue":"12","key":"16_CR23","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 Sciences\u00a0107(12), 5393\u20135398 (2010)","journal-title":"Proceedings of the National Academy of Sciences"},{"issue":"3","key":"16_CR24","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1145\/321033.321034","volume":"7","author":"M. Davis","year":"1960","unstructured":"Davis, M., Putnam, H.: A computing procedure for quantification theory. J. ACM\u00a07(3), 201\u2013215 (1960)","journal-title":"J. ACM"},{"issue":"2","key":"16_CR25","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1093\/genetics\/138.2.241","volume":"138","author":"F.W. Stahl","year":"1994","unstructured":"Stahl, F.W.: The Holliday junction on its thirtieth anniversary.. Genetics\u00a0138(2), 241\u2013246 (1994)","journal-title":"Genetics"},{"issue":"11","key":"16_CR26","doi-asserted-by":"publisher","first-page":"937","DOI":"10.1038\/nrm1502","volume":"5","author":"Y. Liu","year":"2004","unstructured":"Liu, Y., West, S.C.: Happy Hollidays: 40th anniversary of the Holliday junction. Nature Reviews Molecular Cell Biology\u00a05(11), 937\u2013944 (2004)","journal-title":"Nature Reviews Molecular Cell Biology"},{"key":"16_CR27","doi-asserted-by":"crossref","unstructured":"Cook, S.A.: The complexity of theorem-proving procedures. In: STOC 1971: Proceedings of the Third Annual ACM Symposium on Theory of Computing, New York, NY, USA, pp. 151\u2013158 (1971)","DOI":"10.1145\/800157.805047"},{"issue":"1","key":"16_CR28","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1006\/inco.2001.2921","volume":"171","author":"J.L. Esteban","year":"2001","unstructured":"Esteban, J.L., Tor\u00e1n, J.: Space Bounds for Resolution. Information and Computation\u00a0171(1), 84\u201397 (2001)","journal-title":"Information and Computation"},{"key":"16_CR29","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1016\/0304-3975(85)90144-6","volume":"39","author":"A. Haken","year":"1985","unstructured":"Haken, A.: The intractability of resolution. Theoretical Computer Science\u00a039, 297\u2013308 (1985)","journal-title":"Theoretical Computer Science"}],"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-23638-9_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,4]],"date-time":"2021-12-04T03:50:17Z","timestamp":1638589817000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-23638-9_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642236372","9783642236389"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-23638-9_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}