{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T12:48:42Z","timestamp":1725886122921},"publisher-location":"Cham","reference-count":14,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319581866"},{"type":"electronic","value":"9783319581873"}],"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":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-58187-3_8","type":"book-chapter","created":{"date-parts":[[2017,4,27]],"date-time":"2017-04-27T15:10:58Z","timestamp":1493305858000},"page":"98-112","source":"Crossref","is-referenced-by-count":2,"title":["Verification in Staged Tile Self-Assembly"],"prefix":"10.1007","author":[{"given":"Robert","family":"Schweller","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrew","family":"Winslow","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tim","family":"Wylie","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,4,28]]},"reference":[{"key":"8_CR1","doi-asserted-by":"publisher","unstructured":"Adleman, L.M., Cheng, Q., Goel, A., Huang, M.-D., Kempe, D., de Espan\u00e9s, P.M., Rothemund, P.W.K.: Combinatorial optimization problems in self-assembly. In: Proceedings of the Thirty-Fourth Annual ACM Symposium on Theory of Computing, pp. 23\u201332 (2002)","DOI":"10.1145\/509907.509913"},{"issue":"1","key":"8_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.4086\/toc.2013.v009a001","volume":"9","author":"N Bryans","year":"2013","unstructured":"Bryans, N., Chiniforooshan, E., Doty, D., Kari, L., Seki, S.: The power of nondeterminism in self-assembly. Theory Comput. 9(1), 1\u201329 (2013)","journal-title":"Theory Comput."},{"key":"8_CR3","unstructured":"Cannon, S., Demaine, E.D., Demaine, M.L., Eisenstat, S., Patitz, M.J., Schweller, R.T., Summers, S.M., Winslow, A.: Two hands are better than one (up to constant factors): self-assembly in the 2HAM vs. aTAM. In: STACS 2013. LIPIcs, vol. 20, pp. 172\u2013184. Schloss Dagstuhl (2013)"},{"key":"8_CR4","unstructured":"Chalk, C., Martinez, E., Schweller, R., Vega, L., Winslow, A., Wylie, T.: Optimal staged self-assembly of general shapes. In: Proceedings of the 24th European Symposium of Algorithms. LIPIcs, vol. 57, pp. 26:1\u201326:17. Schloss Dagstuhl (2016)"},{"key":"8_CR5","doi-asserted-by":"crossref","unstructured":"Chalk, C., Schweller, R., Winslow, A., Wylie, T.: Too hot 2HAMdle: high-temperature two-handed self-assembly (2017, under submission)","DOI":"10.1007\/978-3-319-66799-7_7"},{"key":"8_CR6","doi-asserted-by":"publisher","first-page":"1493","DOI":"10.1137\/S0097539704446037","volume":"34","author":"Q Cheng","year":"2005","unstructured":"Cheng, Q., Aggarwal, G., Goldwasser, M.H., Kao, M.-Y., Schweller, R.T., de Espan\u00e9s, P.M.: Complexities for generalized models of self-assembly. SIAM J. Comput. 34, 1493\u20131515 (2005)","journal-title":"SIAM J. Comput."},{"issue":"3","key":"8_CR7","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1007\/s11047-008-9073-0","volume":"7","author":"ED Demaine","year":"2008","unstructured":"Demaine, E.D., Demaine, M.L., Fekete, S.P., Ishaque, M., Rafalin, E., Schweller, R.T., Souvaine, D.L.: Staged self-assembly: nanomanufacture of arbitrary shapes with $${O}(1)$$ glues. Nat. Comput. 7(3), 347\u2013370 (2008)","journal-title":"Nat. Comput."},{"key":"8_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"100","DOI":"10.1007\/978-3-642-23638-9_10","volume-title":"DNA Computing and Molecular Programming","author":"ED Demaine","year":"2011","unstructured":"Demaine, E.D., Eisenstat, S., Ishaque, M., Winslow, A.: One-dimensional staged self-assembly. In: Cardelli, L., Shih, W. (eds.) DNA 2011. LNCS, vol. 6937, pp. 100\u2013114. Springer, Heidelberg (2011). doi: 10.1007\/978-3-642-23638-9_10"},{"key":"8_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"104","DOI":"10.1007\/978-3-319-21999-8_7","volume-title":"DNA Computing and Molecular Programming","author":"ED Demaine","year":"2015","unstructured":"Demaine, E.D., Fekete, S.P., Scheffer, C., Schmidt, A.: New geometric algorithms for fully connected staged self-assembly. In: Phillips, A., Yin, P. (eds.) DNA 2015. LNCS, vol. 9211, pp. 104\u2013116. Springer, Cham (2015). doi: 10.1007\/978-3-319-21999-8_7"},{"key":"8_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1007\/978-3-319-08123-6_12","volume-title":"Unconventional Computation and Natural Computation","author":"D Doty","year":"2014","unstructured":"Doty, D.: Producibility in hierarchical self-assembly. In: Ibarra, O.H., Kari, L., Kopecki, S. (eds.) UCNC 2014. LNCS, vol. 8553, pp. 142\u2013154. Springer, Cham (2014). doi: 10.1007\/978-3-319-08123-6_12"},{"key":"8_CR11","unstructured":"Lagoudakis, M.G., Labean, T.H.: 2D DNA self-assembly for satisfiability. In: 5th International Meeting on DNA Based Computers (1999)"},{"issue":"3","key":"8_CR12","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1145\/582475.582484","volume":"33","author":"M Schaefer","year":"2002","unstructured":"Schaefer, M., Umans, C.: Completeness in the polynomial-time hierarchy: a compendium. SIGACT News 33(3), 32\u201349 (2002)","journal-title":"SIGACT News"},{"issue":"1","key":"8_CR13","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(76)90061-X","volume":"3","author":"LJ Stockmeyer","year":"1976","unstructured":"Stockmeyer, L.J.: The polynomial-time hierarchy. Theor. Comput. Sci. 3(1), 1\u201322 (1976)","journal-title":"Theor. Comput. Sci."},{"issue":"2","key":"8_CR14","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1007\/s11047-014-9423-z","volume":"14","author":"A Winslow","year":"2015","unstructured":"Winslow, A.: Staged self-assembly and polyomino context-free grammars. Nat. Comput. 14(2), 293\u2013302 (2015)","journal-title":"Nat. Comput."}],"container-title":["Lecture Notes in Computer Science","Unconventional Computation and Natural Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-58187-3_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,22]],"date-time":"2019-09-22T05:02:44Z","timestamp":1569128564000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-58187-3_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319581866","9783319581873"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-58187-3_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}