{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,17]],"date-time":"2026-04-17T05:39:22Z","timestamp":1776404362655,"version":"3.51.2"},"publisher-location":"Berlin, Heidelberg","reference-count":74,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540341611","type":"print"},{"value":"9783540341659","type":"electronic"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"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":[[2006]]},"DOI":"10.1007\/11753681_22","type":"book-chapter","created":{"date-parts":[[2006,7,28]],"date-time":"2006-07-28T02:31:54Z","timestamp":1154053914000},"page":"275-289","source":"Crossref","is-referenced-by-count":18,"title":["Designing Nucleotide Sequences for Computation: A Survey of Constraints"],"prefix":"10.1007","author":[{"given":"Jennifer","family":"Sager","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Darko","family":"Stefanovic","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"4","key":"22_CR1","doi-asserted-by":"publisher","first-page":"1385","DOI":"10.1073\/pnas.97.4.1385","volume":"97","author":"D. Faulhammer","year":"2000","unstructured":"Faulhammer, D., Cukras, A.R., Lipton, R.J., Landweber, L.F.: Molecular computation: RNA solutions to chess problems. Proceedings of the National Academy of Sciences of the USA (PNAS)\u00a097(4), 1385\u20131389 (2000); The PERMUTE Program is available at: http:\/\/www.pnas.org\/cgi\/content\/full\/97\/4\/1385\/DC1","journal-title":"Proceedings of the National Academy of Sciences of the USA (PNAS)"},{"issue":"5187","key":"22_CR2","doi-asserted-by":"publisher","first-page":"1021","DOI":"10.1126\/science.7973651","volume":"266","author":"L.M. Adleman","year":"1994","unstructured":"Adleman, L.M.: Molecular computation of solutions to combinatorial problems. Science\u00a0266(5187), 1021\u20131024 (1994)","journal-title":"Science"},{"key":"22_CR3","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, 542\u2013545 (1995)","journal-title":"Science"},{"key":"22_CR4","doi-asserted-by":"crossref","unstructured":"Deaton, R.J., Murphy, R.C., Garzon, M., Franceschetti, D.R., Stevens Jr., S.E.: Good encodings for DNA-based solutions to combinatorial problems. In: Landweber, Baum (eds.) [62], pp. 247\u2013258","DOI":"10.1090\/dimacs\/044\/20"},{"key":"22_CR5","unstructured":"Brenneman, A., Condon, A.E.: Strand design for bio-molecular computation. Technical report, University of British Columbia (March 2001)"},{"key":"22_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/978-3-540-24628-2_5","volume-title":"DNA Computing","author":"G. Mauri","year":"2004","unstructured":"Mauri, G., Ferretti, C.: Word design for molecular computing: A survey. In: Chen, J., Reif, J.H. (eds.) DAN 2003. LNCS, vol.\u00a02943, pp. 37\u201347. Springer, Heidelberg (2004)"},{"issue":"4","key":"22_CR7","doi-asserted-by":"publisher","first-page":"1392","DOI":"10.1093\/nar\/gkh291","volume":"32","author":"R.M. Dirks","year":"2004","unstructured":"Dirks, R.M., Lin, M., Winfree, E., Pierce, N.A.: Paradigms for computational nucleic acid design. Nucleic Acids Research\u00a032(4), 1392\u20131403 (2004)","journal-title":"Nucleic Acids Research"},{"issue":"9","key":"22_CR8","doi-asserted-by":"publisher","first-page":"1069","DOI":"10.1038\/nbt862","volume":"21","author":"M.N. Stojanovic","year":"2003","unstructured":"Stojanovic, M.N., Stefanovic, D.: A deoxyribozyme-based molecular automaton. Nature Biotechnology\u00a021(9), 1069\u20131074 (2003)","journal-title":"Nature Biotechnology"},{"issue":"13","key":"22_CR9","doi-asserted-by":"publisher","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 Research\u00a031(13), 3406\u20133415 (2003), Mfold is available at: http:\/\/www.bioinfo.rpi.edu\/applications\/mfold","journal-title":"Nucleic Acids Research"},{"key":"22_CR10","doi-asserted-by":"publisher","first-page":"1460","DOI":"10.1073\/pnas.95.4.1460","volume":"95","author":"J. SantaLucia Jr.","year":"1998","unstructured":"SantaLucia Jr., J.: A unified view of polymer, dumbbell, and oligonucleotide DNA nearest-neighbor thermodynamics. Proceedings of the National Academy of Sciences of the USA (PNAS)\u00a095, 1460\u20131465 (1998)","journal-title":"Proceedings of the National Academy of Sciences of the USA (PNAS)"},{"key":"22_CR11","unstructured":"Peyret, N.: Prediction of Nucleic Acid Hybridization: Parameters and Algorithms. PhD thesis, Wayne State University, Dept. of Chemistry (2000)"},{"issue":"3","key":"22_CR12","doi-asserted-by":"publisher","first-page":"573","DOI":"10.1080\/07391102.1990.10507829","volume":"8","author":"N.C. Seeman","year":"1990","unstructured":"Seeman, N.C.: De Novo design of sequences for nucleic acid structural engineering. Journal of Biomolecular Structure & Dynamics\u00a08(3), 573\u2013581 (1990)","journal-title":"Journal of Biomolecular Structure & Dynamics"},{"issue":"2","key":"22_CR13","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1023\/A:1023985029398","volume":"4","author":"U. Feldkamp","year":"2003","unstructured":"Feldkamp, U., Rauhe, H., Banzhaf, W.: Software tools for DNA sequence design. Genetic Programming and Evolvable Machines\u00a04(2), 153\u2013171 (2003)","journal-title":"Genetic Programming and Evolvable Machines"},{"key":"22_CR14","doi-asserted-by":"crossref","unstructured":"Tanaka, F., Kameda, A., Yamamoto, M., Ohuchi, A.: Specificity of hybridization between DNA sequences based on free energy. In: Carbone, et al. (eds.) [63], pp. 366\u2013375","DOI":"10.1007\/11753681_29"},{"issue":"6180","key":"22_CR15","doi-asserted-by":"publisher","first-page":"364","DOI":"10.1038\/334364a0","volume":"334","author":"D. Sen","year":"1988","unstructured":"Sen, D., Gilbert, W.: Formation of parallel four-stranded complexes by guanine-rich motifs in DNA and its implications for meiosis. Nature\u00a0334(6180), 364\u2013366 (1988)","journal-title":"Nature"},{"issue":"1","key":"22_CR16","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1023\/A:1015055810719","volume":"1","author":"N.C. Seeman","year":"2002","unstructured":"Seeman, N.C.: It started with Watson and Crick, but it sure didn\u2019t end there: Pitfalls and possibilities beyond the classic double helix. Natural Computing: An international journal\u00a01(1), 53\u201384 (2002)","journal-title":"Natural Computing: An international journal"},{"key":"22_CR17","doi-asserted-by":"crossref","unstructured":"Mir, K.U.: A restricted genetic alphabet for DNA computing. In: Landweber, Baum (eds.) [62]","DOI":"10.1090\/dimacs\/044\/19"},{"issue":"1","key":"22_CR18","doi-asserted-by":"publisher","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 Research\u00a09(1), 133\u2013148 (1981)","journal-title":"Nucleic Acids Research"},{"key":"22_CR19","doi-asserted-by":"crossref","unstructured":"Andronescu, M., Dees, D., Slaybaugh, L., Zhao, Y., Condon, A., Cohen, B., Skiena, S.: Algorithms for testing that sets of DNA word designs avoid unwanted secondary structure. In: Hagiy, Ohuchi (eds.) [64], pp.182\u2013195","DOI":"10.1007\/3-540-36440-4_16"},{"key":"22_CR20","doi-asserted-by":"crossref","unstructured":"Kobayashi, S.: Testing structure freeness of regular sets of biomolecular sequences. In: Ferretti, et al. (eds.) [65], pp. 395\u2013404","DOI":"10.1007\/11493785_17"},{"key":"22_CR21","doi-asserted-by":"crossref","unstructured":"Kijima, A., Kobayashi, S.: Efficient algorithm for testing structure freeness of finite set of biomolecular sequences. In: Carbone, et al. (eds.) [63], pp. 278\u2013288","DOI":"10.1007\/11753681_13"},{"issue":"6-7","key":"22_CR22","doi-asserted-by":"publisher","first-page":"1105","DOI":"10.1002\/bip.360290621","volume":"29","author":"J.S. McCaskill","year":"1990","unstructured":"McCaskill, J.S.: The equilibrium partition function and base pair binding probabilities for RNA secondary structure. Biopolymers\u00a029(6-7), 1105\u20131119 (1990)","journal-title":"Biopolymers"},{"issue":"13","key":"22_CR23","doi-asserted-by":"publisher","first-page":"1664","DOI":"10.1002\/jcc.10296","volume":"24","author":"R.M. Dirks","year":"2003","unstructured":"Dirks, R.M., Pierce, N.A.: A partition function algorithm for nucleic acid secondary structure including pseudoknots. Journal of Computational Chemistry\u00a024(13), 1664\u20131677 (2003), NUPACK is available at: http:\/\/www.acm.caltech.edu\/~niles\/software.html","journal-title":"Journal of Computational Chemistry"},{"issue":"3","key":"22_CR24","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1089\/10665270152530818","volume":"8","author":"A. Marathe","year":"2001","unstructured":"Marathe, A., Condon, A.E., Corn, R.M.: On combinatorial DNA word design. Journal of Computational Biology\u00a08(3), 201\u2013220 (2001)","journal-title":"Journal of Computational Biology"},{"key":"22_CR25","doi-asserted-by":"crossref","unstructured":"Leupold, P.: Partial words for DNA coding. In: Ferretti, et al. (eds.) [65]","DOI":"10.1007\/11493785_20"},{"key":"22_CR26","unstructured":"Garzon, M., Neathery, P., Deaton, R.J., Murphy, R.C., Franceschetti, D.R., Stevens Jr., S.E.: A new metric for DNA computing. In: Proceedings 2nd Genetic Programming Conference, pp. 472\u2013478 (1997)"},{"issue":"2","key":"22_CR27","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1089\/106652703321825973","volume":"10","author":"R. Penchovsky","year":"2003","unstructured":"Penchovsky, R., Ackermann, J.: DNA library design for molecular computation. Journal of Computational Biology\u00a010(2), 215\u2013229 (2003)","journal-title":"Journal of Computational Biology"},{"key":"22_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1007\/11493785_8","volume-title":"DNA Computing","author":"A.G. D\u2019yachkov","year":"2005","unstructured":"D\u2019yachkov, A.G., Macula, A.J., Pogozelski, W.K., Renz, T.E., Rykov, V.V., Torney, D.C.: A weighted insertion-deletion stacked pair thermodynamic metric. In: Ferretti, C., Mauri, G., Zandron, C. (eds.) DNA 2004. LNCS, vol.\u00a03384, pp. 90\u2013103. Springer, Heidelberg (2005); SynDCode is available at: http:\/\/cluster.ds.geneseo.edu:8080\/ParallelDNA\/"},{"key":"22_CR29","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1529\/biophysj.103.020743","volume":"87","author":"R.A. Dimitrov","year":"2004","unstructured":"Dimitrov, R.A., Zuker, M.: Prediction of hybridization and melting for double-stranded nucleic acids. Biophysical Journal\u00a087, 215\u2013226 (2004)","journal-title":"Biophysical Journal"},{"key":"22_CR30","unstructured":"Rose, J.A., Deaton, R.J., Franceschetti, D.R., Garzon, M., Stevens Jr., S.E.: A statistical mechanical treatment of error in the annealing biostep of DNA computation. In: Special program in GECCO 1999, pp. 1829\u20131834 (June 1999)"},{"key":"22_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1007\/3-540-44992-2_16","volume-title":"DNA Computing","author":"J.A. Rose","year":"2001","unstructured":"Rose, J.A., Deaton, R.J.: The fidelity of annealing-ligation: A theoretical analysis. In: Condon, A., Rozenberg, G. (eds.) DNA 2000. LNCS, vol.\u00a02054, p. 231. Springer, Heidelberg (2001)"},{"key":"22_CR32","doi-asserted-by":"crossref","unstructured":"Rose, J.A., Deaton, R.J., Hayiya, M., Suyama, A.: The fidelity of the tag-antitag system. In: Jonoska, Seeman (eds.) [66]","DOI":"10.1007\/3-540-48017-X_13"},{"key":"22_CR33","doi-asserted-by":"crossref","unstructured":"Rose, J.A., Deaton, R.J., Hagiya, M., Suyama, A.: An equilibrium analysis of the efficiency of an autonomous molecular computer. Physical Review E\u00a065(021910) (2002)","DOI":"10.1103\/PhysRevE.65.021910"},{"key":"22_CR34","unstructured":"Rose, J.A., Hagiya, M., Suyama, A.: The fidelity of the tag-antitag system II: Reconcilation with the stringency picture. In: Proceedings of the Congress on Evolutionary Computation, p. 2749 (2003), NucleicPark is available at: http:\/\/hagi.is.s.u-tokyo.ac.jp\/johnrose\/"},{"key":"22_CR35","unstructured":"Rose, J.A., Deaton, R.J., Franceschetti, D.R., Garzon, M., Stevens Jr, S.E.: Hybridization error for DNA mixtures of N species (1999), http:\/\/engronline.ee.memphis.edu\/molec\/Misc\/ci.pdf"},{"issue":"4","key":"22_CR36","doi-asserted-by":"publisher","first-page":"411","DOI":"10.1007\/s11047-004-2643-x","volume":"3","author":"J.A. Rose","year":"2004","unstructured":"Rose, J.A., Suyama, A.: Physical modeling of biomolecular computers: Models, limitations, and experimental validation. Natural Computing\u00a03(4), 411\u2013426 (2004)","journal-title":"Natural Computing"},{"key":"22_CR37","doi-asserted-by":"publisher","first-page":"415","DOI":"10.1146\/annurev.biophys.32.110601.141800","volume":"33","author":"J. SantaLucia Jr.","year":"2004","unstructured":"SantaLucia Jr., J., Hicks, D.: The thermodynamics of DNA structural motifs. Annual Review of Biophysics Biomolecular Structure\u00a033, 415\u2013440 (2004)","journal-title":"Annual Review of Biophysics Biomolecular Structure"},{"key":"22_CR38","unstructured":"Hartemink, A.J., Gifford, D.K.: Thermodynamic simulation of deoxyoligonucleotide hybridization for DNA computation. In: Rubin, H., Wood, D.H. (eds.) Preliminary Proceedings of DNA Based Computers III, DIMACS Workshop 1997, Philadelphia, PA, pp. 15\u201325. University of Pennsylvania (1997)"},{"key":"22_CR39","first-page":"227","volume-title":"DNA Based Computers IV, DIMACS Workshop 1998","author":"J. Alexander","year":"1999","unstructured":"Alexander, J., Hartemink, D.K., Khodor, J.: Automated constraint-based nucleotide sequence selection for DNA computation. In: Kari, L., Rubin, H., Wood, D.H. (eds.) DNA Based Computers IV, DIMACS Workshop 1998, University of Pennsylvania: Philadelphia, PA, October (1999), Biosystems vol.\u00a052(1-3), pp. 227\u2013235. Elsevier, Amsterdam (1999)"},{"issue":"1","key":"22_CR40","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/s005000000062","volume":"5","author":"A. Nishikawa","year":"2001","unstructured":"Nishikawa, A., Yamamura, M., Hagiya, M.: DNA computation simulator based on abstract bases. Soft Computing\u00a05(1), 25\u201338 (2001)","journal-title":"Soft Computing"},{"issue":"217","key":"22_CR41","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1006\/jmbi.2001.5351","volume":"317","author":"D.H. Mathews","year":"2002","unstructured":"Mathews, D.H., Turner, D.H.: Dynalign: An algorithm for finding the secondary structure common to two RNA sequences. Journal of Molecular Biology\u00a0317(217), 191\u2013203 (2002)","journal-title":"Journal of Molecular Biology"},{"key":"22_CR42","doi-asserted-by":"publisher","first-page":"1295","DOI":"10.1002\/jcc.20057","volume":"25","author":"R.M. Dirks","year":"2004","unstructured":"Dirks, R.M., Pierce, N.A.: An algorithm for computing nucleic acid base-pairing probabilities including pseudoknots. Journal of Computational Chemistry\u00a025, 1295\u20131304 (2004)","journal-title":"Journal of Computational Chemistry"},{"issue":"13","key":"22_CR43","doi-asserted-by":"publisher","first-page":"3416","DOI":"10.1093\/nar\/gkg612","volume":"31","author":"M. Andronescu","year":"2003","unstructured":"Andronescu, M., Aguirre-Hernandez, R., Condon, A., Hoos, H.H.: RNAsoft: a suite of RNA secondary structure prediction and design software tools. Nucleic Acids Research\u00a031(13), 3416\u20133422 (2003); RNAsoft is available at: http:\/\/www.rnasoft.ca\/","journal-title":"Nucleic Acids Research"},{"issue":"19","key":"22_CR44","doi-asserted-by":"publisher","first-page":"7287","DOI":"10.1073\/pnas.0401799101","volume":"101","author":"D.H. Mathews","year":"2004","unstructured":"Mathews, D.H., Disney, M.D., Childs, J.L., Schroeder, S.J., Zucker, M., Turner, D.H.: Incorporating chemical modification constraints into a dynamic programming algorithm for prediction of RNA secondary structure. Proceedings of the National Academy of Sciences of the USA (PNAS)\u00a0101(19), 7287\u20137292 (2004); The free energy nearest neighbor parameters are available at: http:\/\/rna.chem.rochester.edu\/ , RNAstructure is available at: http:\/\/128.151.176.70\/RNAstructure.html","journal-title":"Proceedings of the National Academy of Sciences of the USA (PNAS)"},{"issue":"13","key":"22_CR45","doi-asserted-by":"publisher","first-page":"3429","DOI":"10.1093\/nar\/gkg599","volume":"31","author":"I.L. Hofacker","year":"2003","unstructured":"Hofacker, I.L.: Vienna RNA secondary structure server. Nucleic Acids Research\u00a031(13), 3429\u20133431 (2003); Vienna Package is available at: http:\/\/www.tbi.univie.ac.at\/~ivo\/RNA\/","journal-title":"Nucleic Acids Research"},{"key":"22_CR46","unstructured":"Peyret, N., Saro, P., SantaLucia Jr, J.: HyTher server. HyTher Version 1.0 is available at: http:\/\/ozone2.chem.wayne.edu\/"},{"key":"22_CR47","doi-asserted-by":"publisher","first-page":"3468","DOI":"10.1021\/bi9825091","volume":"38","author":"N. Peyret","year":"1999","unstructured":"Peyret, N., Seneviratne, P.A., Allawi, H.T., John, S.J.: Nearest-neighbor thermodynamics and NMR of DNA sequences with internal A-A, C-C, G-G, and T-T mismatches. Biochemistry\u00a038, 3468\u20133477 (1999)","journal-title":"Biochemistry"},{"issue":"12","key":"22_CR48","doi-asserted-by":"publisher","first-page":"1226","DOI":"10.1093\/bioinformatics\/17.12.1226","volume":"17","author":"N. Nov\u00e8re Le","year":"2001","unstructured":"Le Nov\u00e8re, N.: MELTING, computing the melting temperature of nucleic acid duplex. Bioinformatics\u00a017(12), 1226\u20131227 (2001); Melting is available at: http:\/\/www.ebi.ac.uk\/~lenov\/meltinghome.html","journal-title":"Bioinformatics"},{"issue":"5","key":"22_CR49","doi-asserted-by":"publisher","first-page":"370","DOI":"10.1093\/bioinformatics\/15.5.370","volume":"15","author":"R.D. Blake","year":"1999","unstructured":"Blake, R.D., Bizzaro, J.W., Blake, J.D., Day, G.R., Delcourt, S.G., Knowles, J., Marx, K.A., SantaLucia Jr., J.: Statistical mechanical simulation of polymeric DNA melting with MELTSIM. Bioinformatics\u00a015(5), 370\u2013375 (1999)","journal-title":"Bioinformatics"},{"key":"22_CR50","unstructured":"MeltWin. MeltWin is available at: http:\/\/www.meltwin.com\/"},{"key":"22_CR51","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1017\/S1355838200992161","volume":"6","author":"C. Flamm","year":"2000","unstructured":"Flamm, C., Fontana, W., Hofacker, I.L., Schuster, P.: RNA folding at elementary step resolution. RNA\u00a06, 325\u2013338 (2000); Kinfold is available at: http:\/\/www.tbi.univie.ac.at\/~xtof\/RNA\/Kinfold\/","journal-title":"RNA"},{"key":"#cr-split#-22_CR52.1","doi-asserted-by":"crossref","unstructured":"Garzon, M., Deaton, R.J., Rose, J.A., Lu, L., Franceschetti, D.R.: Soft molecular computing. In: Proc. DNA5-99 Workshop. AMS DIMACS Series in Theoretical Computer Science, vol.??54, pp. 91???100 (2000);","DOI":"10.1090\/dimacs\/054\/08"},{"key":"#cr-split#-22_CR52.2","unstructured":"EdnaCo is available at: http:\/\/zorro.cs.memphis.edu\/~cswebadm\/csweb\/research\/pages\/bmc\/"},{"key":"22_CR53","unstructured":"Visual OMP (Oligonucleotide Modeling Platform), DNA Software, Inc. Visual OMP is available at: http:\/\/www.dnasoftware.com"},{"key":"22_CR54","unstructured":"The DNA and Natural Algorithms Group. DNA design toolbox. DNA Design Toolbox is available at: http:\/\/www.dna.caltech.edu\/DNAdesign\/"},{"key":"22_CR55","doi-asserted-by":"crossref","unstructured":"Kim, D., Soo-Yong, S., In-Hee, L., Byoung-Tak, Z.: NACST\/Seq: A sequence design system with multiobjective optimization. In: Hagiya, Ohuchi [64], pp. 242\u2013251","DOI":"10.1007\/3-540-36440-4_21"},{"key":"22_CR56","doi-asserted-by":"crossref","unstructured":"Ruben, A.J., Freeland, S.J., Landweber, L.F.: PUNCH: An evolutionary algorithm for optimizing bit set selection. In: Jonoska, Seeman (eds.) [66], pp. 150\u2013160","DOI":"10.1007\/3-540-48017-X_14"},{"key":"22_CR57","unstructured":"Bishop, M., Macula, A.J., Pogozelski, W.K., Renz, T.E., Rykov, V.V.: SynDCode: Cooperative DNA code generating software. In: Carbone, et al. (eds.) [63], p. 391"},{"key":"22_CR58","unstructured":"Pogozelski, W.K., Bernard, M.P., Priore, S.F., Macula, A.J.: Experimental validation of DNA sequences for DNA computing: Use of a SYBR green assay. In: Carbo, et al. (eds.) [63], pp. 322\u2013331"},{"key":"22_CR59","unstructured":"Yin, P., Guo, B., Belmore, C., Palmeri, W., Winfree, E., LaBean, T.H., Reif, J.H.: Tilesoft: Sequence optimization software for designing DNA secondary structures (January 2004), http:\/\/www.cs.duke.edu\/~reif\/paper\/peng\/TileSoft\/TileSoft.pdf"},{"key":"22_CR60","first-page":"138","volume-title":"Computing with Bio-Molecules","author":"R.J. Deaton","year":"1998","unstructured":"Deaton, R.J., Garzon, M.: Thermodynamic constraints on DNA-based computing. In: P\u0103un, G. (ed.) Computing with Bio-Molecules, pp. 138\u2013152. Springer, Singapore (1998)"},{"key":"22_CR61","series-title":"Series in Discrete Mathematics and Theoretical Computer Science","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1090\/dimacs\/027\/07","volume-title":"DNA Based Computers, DIMACS Workshop 1995","author":"W.D. Smith","year":"1996","unstructured":"Smith, W.D.: DNA computers in vitro and vivo. In: Lipton, R.J., Baum, E.B. (eds.) DNA Based Computers, DIMACS Workshop 1995. American Mathematical Society. Series in Discrete Mathematics and Theoretical Computer Science, vol.\u00a027, pp. 121\u2013185. Princeton University, Princeton, NJ (1996)"},{"key":"22_CR62","doi-asserted-by":"crossref","unstructured":"Landweber, L.F., Baum, E.B. (eds.): DNA Based Computers II, DIMACS Workshop 1996 (Princeton University: Princeton, NJ). Series in Discrete Mathematics and Theoretical Computer Science, vol.\u00a044. American Mathematical Society (1999)","DOI":"10.1090\/dimacs\/044"},{"key":"22_CR63","series-title":"Lecture Notes in Computer Science","volume-title":"DNA Computing","year":"2006","unstructured":"Carbone, A., Daley, M., Kari, L., McQuillan, I., Pierce, N. (eds.): DNA 2005. LNCS, vol.\u00a03892. Springer, Heidelberg (2006)"},{"key":"22_CR64","series-title":"Lecture Notes in Computer Science","volume-title":"DNA Computing","year":"2003","unstructured":"Hagiya, M., Ohuchi, A. (eds.): DNA 2002. LNCS, vol.\u00a02568. Springer, Heidelberg (2003)"},{"key":"22_CR65","series-title":"Lecture Notes in Computer Science","volume-title":"DNA Computing","year":"2005","unstructured":"Ferretti, C., Mauri, G., Zandron, C. (eds.): DNA 2004. LNCS, vol.\u00a03384. Springer, Heidelberg (2005)"},{"key":"22_CR66","series-title":"Lecture Notes in Computer Science","volume-title":"DNA Computing","year":"2002","unstructured":"Jonoska, N., Seeman, N.C. (eds.): DNA 2001. LNCS, vol.\u00a02340. Springer, Heidelberg (2002)"},{"key":"22_CR67","unstructured":"Schuster, P.: Counting and maximum matching of RNA structures (preprint, January 2004) (accessed, 2\/1\/2005), http:\/\/www.tbi.univie.ac.at\/~pks"},{"key":"22_CR68","volume-title":"Molecular Biology of the Gene","author":"J.D. Watson","year":"1988","unstructured":"Watson, J.D., Hopkins, N.H., Roberts, J.W., Steitz, J.A., Weiner, A.M.: Molecular Biology of the Gene, 4th edn. Benjamin\/Cummings, Menlo Park, CA (1988)","edition":"4"},{"key":"22_CR69","doi-asserted-by":"crossref","unstructured":"Kubota, M., Hagiya, M.: Minimum basin algorithm: An effective analysis technique for DNA energy landscapes. In: Ferretti, et al. (eds.) [65], pp. 202\u2013213","DOI":"10.1007\/11493785_18"},{"key":"22_CR70","volume-title":"Physical Chemistry: Principles and Applications in Biological Sciences","author":"I. Tinoco Jr.","year":"2002","unstructured":"Tinoco Jr., I., Sauer, K., Wang, J.C., Puglisi, J.D.: Physical Chemistry: Principles and Applications in Biological Sciences, 4th edn. Prentice Hall, Englewood Cliffs (2002)","edition":"4"},{"key":"22_CR71","volume-title":"Molecular Biology of the Cell","author":"B. Alberts","year":"2002","unstructured":"Alberts, B., Johnson, A., Lewis, J., Raff, M., Roberts, K., Walter, P.: Molecular Biology of the Cell, 4th edn. Garland, New York (2002)","edition":"4"},{"issue":"2","key":"22_CR72","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1016\/S0959-440X(97)80030-9","volume":"7","author":"P. Schuster","year":"1997","unstructured":"Schuster, P., Stadler, P.F., Renner, A.: RNA structures and folding: From conventional to new issues in structure predictions. Current Opinion in Structural Biology\u00a07(2), 229\u2013235 (1997)","journal-title":"Current Opinion in Structural Biology"},{"key":"22_CR73","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1146\/annurev.bb.17.060188.001123","volume":"17","author":"D.H. Turner","year":"1988","unstructured":"Turner, D.H., Sugimoto, N., Freier, S.M.: RNA structure prediction. Annual Review of Biophysics and Biophysical Chemistry\u00a017, 167\u2013192 (1988)","journal-title":"Annual Review of Biophysics and Biophysical Chemistry"}],"container-title":["Lecture Notes in Computer Science","DNA Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11753681_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,20]],"date-time":"2019-04-20T05:17:49Z","timestamp":1555737469000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11753681_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540341611","9783540341659"],"references-count":74,"URL":"https:\/\/doi.org\/10.1007\/11753681_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006]]}}}