{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T04:20:47Z","timestamp":1759638047347},"publisher-location":"Cham","reference-count":12,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319439938"},{"type":"electronic","value":"9783319439945"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[[2016]]},"DOI":"10.1007\/978-3-319-43994-5_2","type":"book-chapter","created":{"date-parts":[[2016,8,13]],"date-time":"2016-08-13T05:34:57Z","timestamp":1471066497000},"page":"19-34","source":"Crossref","is-referenced-by-count":2,"title":["Nondeterministic Seedless Oritatami Systems and Hardness of Testing Their Equivalence"],"prefix":"10.1007","author":[{"given":"Yo-Sub","family":"Han","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hwee","family":"Kim","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Makoto","family":"Ota","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shinnosuke","family":"Seki","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,8,14]]},"reference":[{"issue":"4","key":"2_CR1","doi-asserted-by":"crossref","first-page":"733","DOI":"10.1137\/0206054","volume":"6","author":"A Borodin","year":"1977","unstructured":"Borodin, A.: On relating time and space to size and depth. SIAM J. Comput. 6(4), 733\u2013744 (1977)","journal-title":"SIAM J. Comput."},{"issue":"6105","key":"2_CR2","doi-asserted-by":"crossref","first-page":"397","DOI":"10.1126\/science.1225722","volume":"338","author":"KL Frieda","year":"2012","unstructured":"Frieda, K.L., Block, S.M.: Direct observations of cotranscriptional folding in an adenine riboswitch. Science 338(6105), 397\u2013400 (2012)","journal-title":"Science"},{"key":"2_CR3","unstructured":"Geary, C., Meunier, P., Schabanel, N., Seki, S.: Efficient universal computation by greedy molecular folding (2015). CoRR, abs\/1508.00510"},{"key":"2_CR4","unstructured":"Geary, C., Meunier, P., Schabanel, N., Seki, S.: Programming biomolecules that fold greedily during transcription. In: Proceedings of the 41st International Symposium on Mathematical Foundations of Computer Science (2016, to appear)"},{"key":"2_CR5","doi-asserted-by":"crossref","first-page":"799","DOI":"10.1126\/science.1253920","volume":"345","author":"C Geary","year":"2014","unstructured":"Geary, C., Rothemund, P.W.K., Andersen, E.S.: A single-stranded architecture for cotranscriptional folding of RNA nanostructures. Science 345, 799\u2013804 (2014)","journal-title":"Science"},{"key":"2_CR6","volume-title":"Algorithm Design","author":"J Kleinberg","year":"2011","unstructured":"Kleinberg, J., Tardos, \u00c9.: Algorithm Design. Addison-Wesley, Reading (2011)"},{"key":"2_CR7","doi-asserted-by":"crossref","first-page":"1461","DOI":"10.1261\/rna.037390.112","volume":"19","author":"D Lai","year":"2013","unstructured":"Lai, D., Proctor, J.R., Meyer, I.M.: On the importance of cotranscriptional RNA structure formation. RNA 19, 1461\u20131473 (2013)","journal-title":"RNA"},{"issue":"3","key":"2_CR8","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1023\/A:1025449224520","volume":"2","author":"MJ P\u00e9rez-Jim\u00e9nez","year":"2003","unstructured":"P\u00e9rez-Jim\u00e9nez, M.J., Romero-Jim\u00e9nez, A., Sancho-Caparrini, F.: Complexity classes in models of cellular computing with membranes. Nat. Comput. 2(3), 265\u2013285 (2003)","journal-title":"Nat. Comput."},{"issue":"5","key":"2_CR9","doi-asserted-by":"crossref","first-page":"2053","DOI":"10.1006\/jmbi.1998.2436","volume":"285","author":"E Rivas","year":"1999","unstructured":"Rivas, E., Eddy, S.R.: A dynamic programming algorithm for RNA structure prediction including pseudoknots. J. Mol. Biol. 285(5), 2053\u20132068 (1999)","journal-title":"J. Mol. Biol."},{"key":"2_CR10","doi-asserted-by":"crossref","first-page":"W605","DOI":"10.1093\/nar\/gki447","volume":"33","author":"A Xayaphoummine","year":"2005","unstructured":"Xayaphoummine, A., Bucher, T., Isambert, H.: Kinefold web server for RNA\/DNA folding path and structure prediction including pseudoknots and knots. Nucleic Acids Res. 33, W605\u2013W610 (2005)","journal-title":"Nucleic Acids Res."},{"issue":"13","key":"2_CR11","doi-asserted-by":"crossref","first-page":"3406","DOI":"10.1093\/nar\/gkg595","volume":"31","author":"M Zuker","year":"2003","unstructured":"Zuker, M.: Mfold web server for nucleic acid folding and hybridization prediction. Nucleic Acids Res. 31(13), 3406\u20133415 (2003)","journal-title":"Nucleic Acids Res."},{"issue":"1","key":"2_CR12","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1093\/nar\/9.1.133","volume":"9","author":"M Zuker","year":"1981","unstructured":"Zuker, M., Stiegler, P.: Optimal computer folding of large RNA sequences using thermodynamics and auxiliary information. Nucleic Acids Res. 9(1), 133\u2013148 (1981)","journal-title":"Nucleic Acids Res."}],"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-43994-5_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,24]],"date-time":"2017-06-24T16:40:44Z","timestamp":1498322444000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-43994-5_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319439938","9783319439945"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-43994-5_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}