{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T13:34:53Z","timestamp":1742996093650,"version":"3.40.3"},"publisher-location":"Cham","reference-count":21,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319667980"},{"type":"electronic","value":"9783319667997"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-66799-7_1","type":"book-chapter","created":{"date-parts":[[2017,8,23]],"date-time":"2017-08-23T02:51:32Z","timestamp":1503456692000},"page":"1-16","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Automated, Constraint-Based Analysis of\u00a0Tethered DNA Nanostructures"],"prefix":"10.1007","author":[{"given":"Matthew R.","family":"Lakin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrew","family":"Phillips","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,8,24]]},"reference":[{"issue":"2","key":"1_CR1","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1038\/nchem.957","volume":"3","author":"DY Zhang","year":"2011","unstructured":"Zhang, D.Y., Seelig, G.: Dynamic DNA nanotechnology using strand-displacement reactions. Nat. Chem. 3(2), 103\u2013113 (2011)","journal-title":"Nat. Chem."},{"key":"1_CR2","doi-asserted-by":"publisher","first-page":"755","DOI":"10.1038\/nnano.2013.189","volume":"8","author":"Y-J Chen","year":"2013","unstructured":"Chen, Y.-J., Dalchau, N., Srinivas, N., Phillips, A., Cardelli, L., Soloveichik, D., Seelig, G.: Programmable chemical controllers made from DNA. Nat. Nanotechnol. 8, 755\u2013762 (2013)","journal-title":"Nat. Nanotechnol."},{"issue":"12","key":"1_CR3","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. PNAS 107(12), 5393\u20135398 (2010)","journal-title":"PNAS"},{"key":"1_CR4","doi-asserted-by":"crossref","unstructured":"Cook, M., Soloveichik, D., Winfree, E., Bruck, J.: Programmability of chemical reaction networks. In: Algorithmic Bioprocesses, pp. 543\u2013584. Springer, Heidelberg (2009)","DOI":"10.1007\/978-3-540-88869-7_27"},{"issue":"68","key":"1_CR5","doi-asserted-by":"publisher","first-page":"470","DOI":"10.1098\/rsif.2011.0343","volume":"9","author":"MR Lakin","year":"2012","unstructured":"Lakin, M.R., Youssef, S., Cardelli, L., Phillips, A.: Abstractions for DNA circuit design. JRS Interface 9(68), 470\u2013486 (2012)","journal-title":"JRS Interface"},{"issue":"22","key":"1_CR6","doi-asserted-by":"publisher","first-page":"3211","DOI":"10.1093\/bioinformatics\/btr543","volume":"27","author":"MR 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 27(22), 3211\u20133213 (2011)","journal-title":"Bioinformatics"},{"key":"1_CR7","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 332, 1196\u20131201 (2011)","journal-title":"Science"},{"key":"1_CR8","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1038\/nature04586","volume":"440","author":"PWK Rothemund","year":"2006","unstructured":"Rothemund, P.W.K.: Folding DNA to create nanoscale shapes and patterns. Nature 440, 297\u2013302 (2006)","journal-title":"Nature"},{"key":"1_CR9","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1038\/nnano.2016.256","volume":"12","author":"G Tikhomirov","year":"2017","unstructured":"Tikhomirov, G., Petersen, P., Qian, L.: Programmable disorder in random DNA tilings. Nat. Nanotechnol. 12, 251\u2013259 (2017)","journal-title":"Nat. Nanotechnol."},{"issue":"12","key":"1_CR10","doi-asserted-by":"publisher","first-page":"1602983","DOI":"10.1002\/smll.201602983","volume":"13","author":"H Bui","year":"2017","unstructured":"Bui, H., Miao, V., Garg, S., Mokhtar, R., Song, T., Reif, J.: Design and analysis of localized DNA hybridization chain reactions. Small 13(12), 1602983 (2017)","journal-title":"Small"},{"key":"1_CR11","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 13 (2013)","DOI":"10.1145\/2485922.2485938"},{"issue":"8","key":"1_CR12","doi-asserted-by":"publisher","first-page":"898","DOI":"10.1021\/acssynbio.5b00044","volume":"4","author":"N Dalchau","year":"2015","unstructured":"Dalchau, N., Chandran, H., Gopalkrishnan, N., Phillips, A., Reif, J.: Probabilistic analysis of localized DNA hybridization circuits. ACS Synth. Biol. 4(8), 898\u2013913 (2015)","journal-title":"ACS Synth. Biol."},{"issue":"7","key":"1_CR13","doi-asserted-by":"publisher","first-page":"5427","DOI":"10.1021\/nn2005574","volume":"5","author":"AS Walsh","year":"2011","unstructured":"Walsh, A.S., Yin, H., Erben, C.M., Wood, M.J.A., Turberfield, A.J.: DNA cage delivery to mammalian cells. ACS Nano 5(7), 5427\u20135432 (2011)","journal-title":"ACS Nano"},{"key":"1_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"132","DOI":"10.1007\/978-3-319-11295-4_9","volume-title":"DNA Computing and Molecular Programming","author":"MR Lakin","year":"2014","unstructured":"Lakin, M.R., Petersen, R., Gray, K.E., Phillips, A.: Abstract modelling of tethered DNA Circuits. In: Murata, S., Kobayashi, S. (eds.) DNA 2014. LNCS, vol. 8727, pp. 132\u2013147. Springer, Cham (2014). doi:10.1007\/978-3-319-11295-4_9"},{"key":"1_CR15","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1016\/j.tcs.2015.07.041","volume":"632","author":"RL Petersen","year":"2016","unstructured":"Petersen, R.L., Lakin, M.R., Phillips, A.: A strand graph semantics for DNA-based computation. Theor. Comput. Sci. 632, 43\u201373 (2016)","journal-title":"Theor. Comput. Sci."},{"key":"1_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/978-3-540-78800-3_24","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"L Moura","year":"2008","unstructured":"Moura, L., Bj\u00f8rner, N.: Z3: an efficient SMT solver. In: Ramakrishnan, C.R., Rehof, J. (eds.) TACAS 2008. LNCS, vol. 4963, pp. 337\u2013340. Springer, Heidelberg (2008). doi:10.1007\/978-3-540-78800-3_24"},{"key":"1_CR17","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1007\/978-3-642-31365-3_27","volume-title":"Automated Reasoning","author":"D Jovanovi\u0107","year":"2012","unstructured":"Jovanovi\u0107, D., Moura, L.: Solving non-linear arithmetic. In: Gramlich, B., Miller, D., Sattler, U. (eds.) IJCAR 2012. LNCS (LNAI), vol. 7364, pp. 339\u2013354. Springer, Heidelberg (2012). doi:10.1007\/978-3-642-31365-3_27"},{"key":"1_CR18","doi-asserted-by":"publisher","first-page":"20150580","DOI":"10.1098\/rsif.2015.0580","volume":"12","author":"C Grun","year":"2015","unstructured":"Grun, C., Werfel, J., Zhang, D.Y., Yin, P.: DyNAMiC Workbench: an integrated development environment for dynamic DNA nanotechnology. JRS Interface 12, 20150580 (2015)","journal-title":"JRS Interface"},{"key":"1_CR19","doi-asserted-by":"publisher","first-page":"2177","DOI":"10.1021\/ja1073239","volume":"133","author":"AJ 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. 133, 2177\u20132182 (2011)","journal-title":"J. Am. Chem. Soc."},{"key":"1_CR20","doi-asserted-by":"publisher","first-page":"20395","DOI":"10.1039\/c3cp53545b","volume":"15","author":"JPK Doye","year":"2013","unstructured":"Doye, J.P.K., Ouldridge, T.E., Louis, A.A., Romano, F., \u0160ulc, P., Matek, C., Snodin, B.E.K., Rovigatti, L., Schreck, J.S., Harrison, R.M., Smith, W.P.J.: Coarse-graining DNA for simulations of DNA nanotechnology. Phys. Chem. Chem. Phys. 15, 20395\u201320414 (2013)","journal-title":"Phys. Chem. Chem. Phys."},{"key":"1_CR21","doi-asserted-by":"publisher","first-page":"1295","DOI":"10.1002\/jcc.20057","volume":"25","author":"RM Dirks","year":"2004","unstructured":"Dirks, R.M., Pierce, N.A.: An algorithm for computing nucleic acid base-pairing probabilities including pseudoknots. J. Comput. Chem. 25, 1295\u20131304 (2004)","journal-title":"J. Comput. Chem."}],"container-title":["Lecture Notes in Computer Science","DNA Computing and Molecular Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-66799-7_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,7]],"date-time":"2024-03-07T16:27:59Z","timestamp":1709828879000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-66799-7_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319667980","9783319667997"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-66799-7_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]},"assertion":[{"value":"24 August 2017","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"DNA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on DNA-Based Computers","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Austin","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"USA","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2017","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"24 September 2017","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28 September 2017","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"23","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"dna2017","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/dna23ut.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}