{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,14]],"date-time":"2025-03-14T04:20:02Z","timestamp":1741926002737,"version":"3.38.0"},"publisher-location":"Berlin, Heidelberg","reference-count":138,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642249327"},{"type":"electronic","value":"9783642249334"}],"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-24933-4_20","type":"book-chapter","created":{"date-parts":[[2011,10,29]],"date-time":"2011-10-29T08:11:49Z","timestamp":1319875909000},"page":"403-433","source":"Crossref","is-referenced-by-count":2,"title":["Computational Biology: A Programming Perspective"],"prefix":"10.1007","author":[{"given":"Lars","family":"Hartmann","sequence":"first","affiliation":[]},{"given":"Neil D.","family":"Jones","sequence":"additional","affiliation":[]},{"given":"Jakob Grue","family":"Simonsen","sequence":"additional","affiliation":[]},{"given":"S\u00f8ren Bjerregaard","family":"Vrist","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"11","key":"20_CR1","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(11), 1021\u20131024 (1994)","journal-title":"Science"},{"doi-asserted-by":"crossref","unstructured":"Adleman, L.M.: On constructing a molecular computer. In: DIMACS: series in Discrete Mathematics and Theoretical Computer Science, pp. 1\u201321. American Mathematical Society (1996)","key":"20_CR2","DOI":"10.1090\/dimacs\/027\/01"},{"issue":"1","key":"20_CR3","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/S0304-3975(02)00134-2","volume":"287","author":"M. Amos","year":"2002","unstructured":"Amos, M., Paun, G., Rozenberg, G., Salomaa, A.: Topics in the theory of DNA computing. Theor. Comput. Sci.\u00a0287(1), 3\u201338 (2002)","journal-title":"Theor. Comput. Sci."},{"key":"20_CR4","first-page":"35","volume-title":"Proceedings of the Annual Conference of the European Association for Computer Science Logic","author":"R. Backofen","year":"1996","unstructured":"Backofen, R., Clote, P.: Evolution as a computational engine. In: Proceedings of the Annual Conference of the European Association for Computer Science Logic, pp. 35\u201355. Springer, Heidelberg (1996)"},{"issue":"1","key":"20_CR5","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1089\/cmb.1995.2.1","volume":"2","author":"D. Beaver","year":"1995","unstructured":"Beaver, D.: Computing with dna. Journal of Computational Biology\u00a02(1), 1\u20137 (1995)","journal-title":"Journal of Computational Biology"},{"issue":"1","key":"20_CR6","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1089\/cmb.1995.2.1","volume":"2","author":"D. Beaver","year":"1995","unstructured":"Beaver, D.: Computing with DNA. Journal of Computational Biology\u00a02(1), 1\u20137 (1995)","journal-title":"Journal of Computational Biology"},{"issue":"5","key":"20_CR7","doi-asserted-by":"publisher","first-page":"2191","DOI":"10.1073\/pnas.0535624100","volume":"100","author":"Y. Benenson","year":"2003","unstructured":"Benenson, Y., Adar, R., Paz-Elizur, T., Livneh, Z., Shapiro, E.: Dna molecule provides a computing machine with both data and fuel. Proc. Natl. Acad. Sci. U S A\u00a0100(5), 2191\u20132196 (2003), http:\/\/dx.doi.org\/10.1073\/pnas.0535624100 , doi:10.1073\/pnas.0535624100","journal-title":"Proc. Natl. Acad. Sci. U S A"},{"key":"20_CR8","series-title":"Lecture Notes in Computer Science","first-page":"2191","volume-title":"Graphtheoretic Concepts in Computer Science","author":"Y. Benenson","year":"1981","unstructured":"Benenson, Y., Adar, R., Paz-Elizur, T., Livneh, Z., Shapiro, E.: DNA molecule provides a computing machine with both data and fuel. In: Noltemeier, H. (ed.) WG 1980. LNCS, vol.\u00a0100, pp. 2191\u20132196. Springer, Heidelberg (1981)"},{"issue":"1","key":"20_CR9","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(1), 430\u2013434 (2001), http:\/\/www.nature.com\/nature\/links\/011122\/011122-2.html","journal-title":"Nature"},{"issue":"7","key":"20_CR10","doi-asserted-by":"publisher","first-page":"675","DOI":"10.1039\/b902484k","volume":"5","author":"Y. Benenson","year":"2009","unstructured":"Benenson, Y.: Biocomputers: from test tubes to live cells. Molecular BioSystems\u00a05(7), 675\u2013685 (2009), http:\/\/dx.doi.org\/10.1039\/b902484k , doi:10.1039\/b902484k","journal-title":"Molecular BioSystems"},{"issue":"4","key":"20_CR11","doi-asserted-by":"publisher","first-page":"471","DOI":"10.1016\/j.copbio.2009.08.002","volume":"20","author":"Y. Benenson","year":"2009","unstructured":"Benenson, Y.: RNA-based computation in live cells (Protein technologies \/ Systems and synthetic biology). Current Opinion in Biotechnology\u00a020(4), 471 (2009), http:\/\/www.sciencedirect.com\/science\/article\/B6VRV-4X4BR27-2\/2\/0133dc1fc3a23441b6aa9bab4115fc11 , doi:10.1016\/j.copbio.2009.08.002","journal-title":"Current Opinion in Biotechnology"},{"issue":"6","key":"20_CR12","doi-asserted-by":"publisher","first-page":"525","DOI":"10.1147\/rd.176.0525","volume":"17","author":"C.H. Bennett","year":"1973","unstructured":"Bennett, C.H.: Logical reversibility of computation. IBM Journal of Research and Development\u00a017(6), 525\u2013532 (1973)","journal-title":"IBM Journal of Research and Development"},{"issue":"12","key":"20_CR13","doi-asserted-by":"publisher","first-page":"905","DOI":"10.1007\/BF02084158","volume":"21","author":"C.H. Bennett","year":"1982","unstructured":"Bennett, C.H.: The thermodynamics of computation \u2013 a review. International Journal of Theoretical Physics\u00a021(12), 905\u2013940 (1982), http:\/\/dx.doi.org\/10.1007\/BF02084158 , doi:10.1007\/BF02084158","journal-title":"International Journal of Theoretical Physics"},{"key":"20_CR14","first-page":"1966","volume":"66","author":"R. Berger","year":"1966","unstructured":"Berger, R.: The undecidability of the domino problem. Memoirs American Mathematical Society\u00a066 (1966)","journal-title":"Memoirs American Mathematical Society"},{"key":"20_CR15","volume-title":"Winning Ways for your Mathematical Plays","author":"E.R. Berlekamp","year":"1982","unstructured":"Berlekamp, E.R., Conway, J.H., Guy, R.K.: Winning Ways for your Mathematical Plays (chapter 25), vol.\u00a02. Academic Press, ISBN 0-12-091152-3 (1982)"},{"doi-asserted-by":"crossref","unstructured":"Bohringer, K.-F., Paulisch, Newbery, F.: Using constraints to achieve stability in automatic graph layout algorithms. In: Proceedings of ACM CHI\u201990 Conference on Human Factors in Computing Systems. pp. 43\u201351. Constraint Based UI Tools (1990)","key":"20_CR16","DOI":"10.1145\/97243.97250"},{"doi-asserted-by":"crossref","unstructured":"Boneh, D., Dunworth, C., Lipton, R.J.: Breaking DES using a molecular computer. In: Lipton, E.B.B.R.J. (ed.) DNA based computers. DIMACS: Series in Discrete Mathematics and Theoretical Computer Science, vol.\u00a027, pp. 37\u201366. American Mathematical Society (1995)","key":"20_CR17","DOI":"10.1090\/dimacs\/027\/04"},{"key":"20_CR18","doi-asserted-by":"publisher","first-page":"499","DOI":"10.1126\/science.1069528","volume":"296","author":"R.S. Braich","year":"2002","unstructured":"Braich, R.S., Chelyapov, N., Johnson, C., Rothemund, P.W.K., Adleman, L.: Solution of a 20-variable 3-sat problem on a dna computer. Science\u00a0296, 499\u2013502 (2002)","journal-title":"Science"},{"doi-asserted-by":"crossref","unstructured":"Cardelli, Paun: An universality result for a (mem)brane calculus based on mate\/drip operations. IJFCS: International Journal of Foundations of Computer Science\u00a017 (2006)","key":"20_CR19","DOI":"10.1142\/S0129054106003693"},{"key":"20_CR20","series-title":"Lecture Notes in Bioinformatics","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1007\/978-3-540-25974-9_24","volume-title":"Computational Methods in Systems Biology","author":"L. Cardelli","year":"2005","unstructured":"Cardelli, L.: Brane calculi. In: Danos, V., Schachter, V. (eds.) CMSB 2004. LNCS (LNBI), vol.\u00a03082, pp. 257\u2013278. Springer, Heidelberg (2005)"},{"key":"20_CR21","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1007\/11599128_10","volume":"3737","author":"L. Cardelli","year":"2005","unstructured":"Cardelli, L.: Abstract machines of systems biology. Transactions on Computational Systems Biology\u00a03737, 145\u2013168 (2005)","journal-title":"Transactions on Computational Systems Biology"},{"doi-asserted-by":"crossref","unstructured":"Cardelli, L.: Strand algebras for DNA computing. In: DNA, pp. 12\u201324 (2009)","key":"20_CR22","DOI":"10.1007\/978-3-642-10604-0_2"},{"unstructured":"Cardelli, L.: Molecular programming tutorial, microsoft research, cambridge (feb 2010), http:\/\/lucacardelli.name\/Talks\/2010-02-11utorial.pdf","key":"20_CR23"},{"unstructured":"Cardelli, L.: Biocomputers is not a good idea of solving np complete problems. said during presentation of strand algebra (CS2Bio,Amsterdam, 2010)","key":"20_CR24"},{"key":"20_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1007\/978-3-540-85101-1_6","volume-title":"Algebraic Biology","author":"L. Cardelli","year":"2008","unstructured":"Cardelli, L., Zavattaro, G.: On the computational power of biochemistry. In: Horimoto, K., Regensburger, G., Rosenkranz, M., Yoshida, H. (eds.) AB 2008. LNCS, vol.\u00a05147, pp. 65\u201380. Springer, Heidelberg (2008)"},{"unstructured":"Cardelli, L., Zavattaro, G.: Turing universality of the biochemical ground form. Mathematical Structures in Computer Science\u00a019 (2009)","key":"20_CR26"},{"doi-asserted-by":"crossref","unstructured":"Chang, W.-L., Ho, M.-H., Guo, M.: Molecular solutions for the subset-sum problem on DNA-based supercomputing. Biosystems\u00a073, 117\u2013130, http:\/\/www.ingentaconnect.com\/content\/els\/03032647\/2004\/00000073\/00000002\/art00225 , doi:10.1016\/j.biosystems.2003.11.001","key":"20_CR27","DOI":"10.1016\/j.biosystems.2003.11.001"},{"unstructured":"Chapman, P.: Life universal computer. http:\/\/www.igblan.free-online.co.uk\/igblan\/ca\/\u00a0(November) (2002)","key":"20_CR28"},{"doi-asserted-by":"crossref","unstructured":"Chiniforooshan, E., Doty, D., Kari, L., Seki, S.: Scalable, time-responsive, digital, energy-efficient molecular circuits using DNA strand displacement. CoRR\u00a0abs\/1003.3275 (2010)","key":"20_CR29","DOI":"10.1007\/978-3-642-18305-8_3"},{"issue":"3","key":"20_CR30","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1016\/j.entcs.2007.12.008","volume":"194","author":"F. Ciocchetta","year":"2008","unstructured":"Ciocchetta, F., Hillston, J.: Bio-PEPA: An extension of the process algebra PEPA for biochemical networks. Electr. Notes Theor. Comput. Sci\u00a0194(3), 103\u2013117 (2008), http:\/\/dx.doi.org\/10.1016\/j.entcs.2007.12.008","journal-title":"Electr. Notes Theor. Comput. Sci"},{"key":"20_CR31","series-title":"Lecture Notes in Computer Science","volume-title":"All About Maude - A High-Performance Logical Framework","author":"M. Clavel","year":"2007","unstructured":"Clavel, M., Dur\u00e1n, F., Eker, S., Lincoln, P., Mart\u00ed-Oliet, N., Bevilacqua, V., Talcott, C.: All About Maude - A High-Performance Logical Framework. LNCS, vol.\u00a04350. Springer, Heidelberg (2007)"},{"key":"20_CR32","series-title":"Lecture Notes in Computer Science","volume-title":"DNA Computing","year":"2001","unstructured":"Condon, A., Rozenberg, G. (eds.): DNA 2000. LNCS, vol.\u00a02054. Springer, Heidelberg (2001)"},{"issue":"5","key":"20_CR33","doi-asserted-by":"publisher","first-page":"464","DOI":"10.1145\/3532.3533","volume":"28","author":"M. Conrad","year":"1985","unstructured":"Conrad, M.: On design principles for a molecular computer. Commun. ACM\u00a028(5), 464\u2013480 (1985), doi:10.1145\/3532.3533","journal-title":"Commun. ACM"},{"key":"20_CR34","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1002\/qua.560440714","volume":"19","author":"M. Conrad","year":"1992","unstructured":"Conrad, M.: Quantum molecular computing: The self-assembly model. International Journal of Quantum Chemistry. Quantum Biology Symposium: Proceedings of the International Symposium on Quantum Biology and Quantum Pharmacology.\u00a019, 125 (1992)","journal-title":"International Journal of Quantum Chemistry. Quantum Biology Symposium: Proceedings of the International Symposium on Quantum Biology and Quantum Pharmacology."},{"issue":"1","key":"20_CR35","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1111\/j.1574-6976.2008.00137.x","volume":"33","author":"A. Danchin","year":"2008","unstructured":"Danchin, A.: Bacteria as computers making computers. FEMS Microbiology Reviews\u00a033(1), 3 (2008)","journal-title":"FEMS Microbiology Reviews"},{"doi-asserted-by":"crossref","unstructured":"Danos, V., Feret, J., Fontana, W., Krivine, J.: Abstract interpretation of cellular signalling networks. In: vmcai, pp. 83\u201397 (2008)","key":"20_CR36","DOI":"10.1007\/978-3-540-78163-9_11"},{"key":"20_CR37","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/978-3-540-78163-9_11","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"V. Danos","year":"2008","unstructured":"Danos, V., Feret, J., Fontana, W., Krivine, J.: Abstract interpretation of cellular signalling networks. In: Logozzo, F., Peled, D.A., Zuck, L.D. (eds.) VMCAI 2008. LNCS, vol.\u00a04905, pp. 83\u201397. Springer, Heidelberg (2008)"},{"issue":"3","key":"20_CR38","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1016\/j.entcs.2004.01.040","volume":"180","author":"V. Danos","year":"2007","unstructured":"Danos, V., Krivine, J.: Formal molecular biology done in CCS-R. Electr. Notes Theor. Comput. Sci\u00a0180(3), 31\u201349 (2007), http:\/\/dx.doi.org\/10.1016\/j.entcs.2004.01.040","journal-title":"Electr. Notes Theor. Comput. Sci"},{"issue":"1","key":"20_CR39","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1016\/j.tcs.2004.03.065","volume":"325","author":"V. Danos","year":"2004","unstructured":"Danos, V., Laneve, C.: Formal molecular biology. Theor. Comput. Sci.\u00a0325(1), 69\u2013110 (2004), doi:10.1016\/j.tcs.2004.03.065","journal-title":"Theor. Comput. Sci."},{"key":"20_CR40","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1016\/j.tcs.2004.03.065","volume":"325","author":"V. Danos","year":"2004","unstructured":"Danos, V., Laneve, C.: Formal molecular biology. Theor. Comp. Science\u00a0325, 69\u2013110 (2004)","journal-title":"Theor. Comp. Science"},{"key":"20_CR41","series-title":"Lecture Notes in Bioinformatics","volume-title":"Computational Methods in Systems Biology","year":"2005","unstructured":"Danos, V., Schachter, V. (eds.): CMSB 2004. LNCS (LNBI), vol.\u00a03082. Springer, Heidelberg (2005)"},{"key":"20_CR42","series-title":"Lecture Notes in Computer Science","volume-title":"DNA Computing and Molecular Programming","year":"2009","unstructured":"Deaton, R., Suyama, A. (eds.): DNA 15. LNCS, vol.\u00a05877. Springer, Heidelberg (2009)"},{"key":"20_CR43","series-title":"Lecture Notes in Computer Science","volume-title":"Computational Methods in Systems Biology","year":"2009","unstructured":"Degano, P., Gorrieri, R. (eds.): CMSB 2009. LNCS, vol.\u00a05688. Springer, Heidelberg (2009)"},{"doi-asserted-by":"crossref","unstructured":"Delzanno, G., Giusto, C.D., Gabbrielli, M., Laneve, C., Zavattaro, G.: The kappa-lattice: Decidability boundaries for qualitative analysis in biological languages. In: cmsb, pp. 158\u2013172 (2009)","key":"20_CR44","DOI":"10.1007\/978-3-642-03845-7_11"},{"doi-asserted-by":"crossref","unstructured":"Doty, D., Patitz, M.J.: A Domain-Specific Language for Programming in the Tile Assembly Model. In: pp. 25\u201334. Springer, Heidelberg (2009)","key":"20_CR45","DOI":"10.1007\/978-3-642-10604-0_3"},{"key":"20_CR46","first-page":"149","volume":"42","author":"P. Eades","year":"1984","unstructured":"Eades, P.: A heuristic for graph drawing. Congressus Numerantium\u00a042, 149\u2013160 (1984)","journal-title":"Congressus Numerantium"},{"unstructured":"Eades, P., Lai, W., Misue, K., Sugiyama, K.: Preserving the mental map of a diagram. In: COMPUGRAPHICS \u201991, vol.\u00a0I, pp. 34\u201343 (1991)","key":"20_CR47"},{"issue":"6","key":"20_CR48","doi-asserted-by":"publisher","first-page":"417","DOI":"10.1038\/nnano.2010.88","volume":"5","author":"J. Elbaz","year":"2010","unstructured":"Elbaz, J., Lioubashevski, O., Wang, F.: DNA computing circuits using libraries of DNAzyme subunits. Nat Nanotechnol\u00a05(6), 417\u2013422 (2010), http:\/\/dx.doi.org\/10.1038\/nnano.2010.88 , doi:10.1038\/nnano.2010.88","journal-title":"Nat Nanotechnol"},{"issue":"11","key":"20_CR49","doi-asserted-by":"publisher","first-page":"1239","DOI":"10.1038\/nbt1356","volume":"25","author":"J. Fisher","year":"2007","unstructured":"Fisher, J., Henzinger, T.A.: Executable cell biology. Nature biotechnology\u00a025(11), 1239\u20131249 (2007), http:\/\/dx.doi.org\/10.1038\/nbt1356 , doi:10.1038\/nbt1356","journal-title":"Nature biotechnology"},{"key":"20_CR50","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-44969-8_1","volume-title":"Drawing Graphs","author":"R. Fleischer","year":"2001","unstructured":"Fleischer, R., Hirsch, C.: Graph drawing and its applications (chapter 1). In: Kaufmann, M., Wagner, D. (eds.) Drawing Graphs. LNCS, vol.\u00a02025, pp. 1\u201322. Springer, Heidelberg (2001), http:\/\/link.springer.de\/link\/service\/series\/0558\/papers\/2025\/20250001.pdf"},{"key":"20_CR51","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"388","DOI":"10.1007\/3-540-58950-3_393","volume-title":"Graph Drawing","author":"A. Frick","year":"1995","unstructured":"Frick, A., Ludwig, A., Mehldau, H.: A fast adaptive layout algorithm for undirected graphs. In: Tamassia, R., Tollis, I.G. (eds.) GD 1994. LNCS, vol.\u00a0894, pp. 388\u2013403. Springer, Heidelberg (1995), http:\/\/dblp.uni-trier.de\/db\/conf\/gd\/gd94.html#FrickLM94"},{"unstructured":"Fontana, W., Buss, L.: The barrier of objects: From dynamical systems to bounded organizations. Working Papers wp96027, International Institute for Applied Systems Analysis (Mar 1996), http:\/\/ideas.repec.org\/p\/wop\/iasawp\/wp96027.html","key":"20_CR52"},{"issue":"11","key":"20_CR53","first-page":"1129","volume":"21","author":"T.M.J. Fruchterman","year":"1991","unstructured":"Fruchterman, T.M.J., Reingold, E.M.: Graph drawing by force-directed placement. Software: Practice and Experience\u00a021(11), 1129\u20131164 (1991), citeseer.ist.psu.edu\/fruchterman91graph.html","journal-title":"Software: Practice and Experience"},{"issue":"1","key":"20_CR54","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1002\/biot.200600134","volume":"2","author":"P. Fu","year":"2007","unstructured":"Fu, P.: Biomolecular computing: Is it ready to take off? Biotechnology Journal\u00a02(1), 91\u2013101 (2007), http:\/\/dx.doi.org\/10.1002\/biot.200600134 , doi:10.1002\/biot.200600134","journal-title":"Biotechnology Journal"},{"key":"20_CR55","doi-asserted-by":"publisher","first-page":"120","DOI":"10.1038\/scientificamerican1070-120","volume":"223","author":"M. Gardner","year":"1970","unstructured":"Gardner, M.: The fantastic combinations of John Conway\u2019s new solitaire game \u201clife\u201d. Scientific American\u00a0223, 120\u2013123 (1970)","journal-title":"Scientific American"},{"doi-asserted-by":"crossref","unstructured":"Gardner, M.: Mathematical recreations. Scientific American (1970)","key":"20_CR56","DOI":"10.1038\/scientificamerican0670-132"},{"issue":"3","key":"20_CR57","doi-asserted-by":"publisher","first-page":"236","DOI":"10.1109\/4235.788493","volume":"3","author":"M.H. Garzon","year":"1999","unstructured":"Garzon, M.H., Deaton, R.J.: Biomolecular computing and programming. IEEE Trans. Evolutionary Computation\u00a03(3), 236\u2013250 (1999)","journal-title":"IEEE Trans. Evolutionary Computation"},{"key":"20_CR58","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1007\/3-540-58021-2_20","volume-title":"Computer Performance Evaluation","author":"S. Gilmore","year":"1994","unstructured":"Gilmore, S., Hillston, J.: The PEPA Workbench: A Tool to Support a Process Algebra-based Approach to Performance Modelling. In: Haring, G., Kotsis, G. (eds.) TOOLS 1994. LNCS, vol.\u00a0794, pp. 353\u2013368. Springer, Heidelberg (1994)"},{"doi-asserted-by":"crossref","unstructured":": A compound graph layout algorithm for biological pathways. In: Graph Drawing. LNCS, vol.\u00a03383, pp. 442\u2013447. Springer, Heidelberg (2004), http:\/\/dblp.uni-trier.de\/db\/conf\/gd\/gd2004.html#DogrusozGCCD04","key":"20_CR59","DOI":"10.1007\/978-3-540-31843-9_45"},{"doi-asserted-by":"crossref","unstructured":"Goel, A., Ibrahimi, M.: Renewable, time-responsive DNA logic gates for scalable digital circuits. In: DNA, pp. 67\u201377 (2009)","key":"20_CR60","DOI":"10.1007\/978-3-642-10604-0_7"},{"key":"20_CR61","series-title":"Lecture Notes in Computer Science","volume-title":"DNA Computing","year":"2009","unstructured":"Goel, A., Simmel, F.C., Sos\u00edk, P. (eds.): DNA Computing. LNCS, vol.\u00a05347. Springer, Heidelberg (2009)"},{"issue":"5272","key":"20_CR62","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1126\/science.273.5272.220","volume":"273","author":"F. Guarnieri","year":"1996","unstructured":"Guarnieri, F., Fliss, M., Bancroft, C.: Making DNA add. Science\u00a0273(5272), 220\u2013223 (1996)","journal-title":"Science"},{"unstructured":"Guerriero, M.L., Prandi, D., Priami, C., Quaglia, P.: Process calculi abstractions for biology. Tech. rep., CoSBi (Center for Computational and Systems Biology) , University of Trento (Jan\u00a001 2006), http:\/\/eprints.biblio.unitn.it\/archive\/00001704\/ http:\/\/eprints.biblio.unitn.it\/archive\/00001704\/01\/TR-13-2006.pdf","key":"20_CR63"},{"unstructured":"21. Guerriero, M.L., Prandi, D., Priami, C., Quaglia, P.: Process calculi abstractions for biology. Tech. rep., University of Trento, Italy (Jan??01, 2006), http:\/\/eprints.biblio.unitn.it\/archive\/00001704\/","key":"#cr-split#-20_CR64.1"},{"unstructured":"22. http:\/\/eprints.biblio.unitn.it\/archive\/00001704\/01\/TR-13-2006.pdf","key":"#cr-split#-20_CR64.2"},{"key":"20_CR65","series-title":"Lecture Notes in Computer Science","first-page":"89","volume-title":"dna","author":"M. Hagiya","year":"2000","unstructured":"Hagiya, M.: From molecular computing to molecular programming. In: Condon, A., Rozenberg, G. (eds.) dna. LNCS, vol.\u00a02054, pp. 89\u2013102. Springer, Heidelberg (2000), http:\/\/link.springer.de\/link\/service\/series\/0558\/bibs\/2054\/20540089.htm"},{"issue":"3","key":"20_CR66","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1007\/s00354-008-0046-8","volume":"26","author":"M. Hagiya","year":"2008","unstructured":"Hagiya, M.: Designing chemical and biological systems. New Generation Comput.\u00a026(3), 295 (2008)","journal-title":"New Generation Comput."},{"key":"20_CR67","series-title":"Electronic Notes on Theoretical Computer Science series","volume-title":"CS2BIO \u201909: Proceedings of the 1st International Workshop on Interactions between Computer Science and Biology","author":"L. Hartmann","year":"2010","unstructured":"Hartmann, L., Jones, N.D., Simonsen, J.G.: Programming in biomolecular computation. In: CS2BIO \u201909: Proceedings of the 1st International Workshop on Interactions between Computer Science and Biology. Electronic Notes on Theoretical Computer Science series, Elsevier, Amsterdam (2010), http:\/\/dx.doi.org\/10.1016\/j.entcs.2010.12.008 , doi:10.1016\/j.entcs.2010.12.008"},{"unstructured":"Hartmann, L., Jones, N.D., Simonsen, J.G., Vrist, S.B.: Programming in biomolecular computation: Programs, self-interpretation and visualisation. to appear in Scientific Annals of Computer Science\u00a0(?), http:\/\/dk.diku.blob.blobvis.s3.amazonaws.com\/blobiasi.pdf","key":"20_CR68"},{"doi-asserted-by":"crossref","unstructured":"Heer, J.: Prefuse: a software framework for interactive information visualization. Master\u2019s thesis, University of California, Berkeley (2004), http:\/\/jheer.org\/publications\/2004-Heer-prefuse-MastersApp.pdf","key":"20_CR69","DOI":"10.1145\/1054972.1055031"},{"issue":"8","key":"20_CR70","doi-asserted-by":"publisher","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"C.A.R. Hoare","year":"1978","unstructured":"Hoare, C.A.R.: Communicating sequential processes. Communications of the ACM\u00a021(8), 666\u2013677 (1978)","journal-title":"Communications of the ACM"},{"issue":"4","key":"20_CR71","doi-asserted-by":"publisher","first-page":"364","DOI":"10.1093\/bioinformatics\/17.4.364","volume":"17","author":"H. Hug","year":"2001","unstructured":"Hug, H., Schuler, R.: Strategies for the development of a peptide computer. Bioinformatics\u00a017(4), 364\u2013368 (2001), http:\/\/bioinformatics.oxfordjournals.org\/content\/17\/4\/364.abstract","journal-title":"Bioinformatics"},{"issue":"738","key":"20_CR72","doi-asserted-by":"publisher","first-page":"463","DOI":"10.1098\/rspa.1924.0082","volume":"106","author":"J.E. Jones","year":"1924","unstructured":"Jones, J.E.: On the determination of molecular fields. ii. from the equation of state of a gas. Proceedings of the Royal Society of London. Series A\u00a0106(738), 463\u2013477 (1924), http:\/\/dx.doi.org\/10.1098\/rspa.1924.0082 , doi:10.1098\/rspa.1924.0082","journal-title":"Proceedings of the Royal Society of London. Series A"},{"key":"20_CR73","series-title":"Prentice Hall International Series in Computer Science","volume-title":"Partial Evaluation and Automatic Program Generation","author":"N.D. Jones","year":"1993","unstructured":"Jones, N.D., Gomard, C.K., Sestoft, P.: Partial Evaluation and Automatic Program Generation. Prentice Hall International Series in Computer Science. Prentice-Hall, Englewood Cliffs (1993)"},{"key":"20_CR74","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2003.001.0001","volume-title":"Computability and complexity: from a programming perspective","author":"N.D. Jones","year":"1997","unstructured":"Jones, N.D.: Computability and complexity: from a programming perspective. MIT Press, Cambridge, MA, USA (1997)"},{"issue":"1","key":"20_CR75","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1016\/0020-0190(89)90102-6","volume":"31","author":"T. Kamada","year":"1989","unstructured":"Kamada, T., Kawai, S.: An algorithm for drawing general undirected graphs. Information Processing Letters\u00a031(1), 7\u201315 (1989)","journal-title":"Information Processing Letters"},{"issue":"1-3","key":"20_CR76","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.tcs.2004.11.021","volume":"334","author":"J. Kari","year":"2005","unstructured":"Kari, J.: Theory of cellular automata: A survey. Theoretical Computer Science\u00a0334(1-3), 3 (2005), http:\/\/www.sciencedirect.com\/science\/article\/B6V1G-4FDS8HM-2\/2\/7bdf589f505353432c8447e06f491ceb , doi:10.1016\/j.tcs.2004.11.021","journal-title":"Theoretical Computer Science"},{"unstructured":"Kari, L.: Biological computation: How does nature compute? Tech. rep., University of Western Ontario (2009)","key":"20_CR77"},{"issue":"10","key":"20_CR78","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1145\/1400181.1400200","volume":"51","author":"L. Kari","year":"2008","unstructured":"Kari, L., Rozenberg, G.: The many facets of natural computing. Commun. ACM\u00a051(10), 72\u201383 (2008), doi:10.1145\/1400181.1400200","journal-title":"Commun. ACM"},{"unstructured":"Khodor, J.: DNA-based string rewrite computational systems. Ph.D. thesis, Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science (2002), http:\/\/hdl.handle.net\/1721.1\/8339","key":"20_CR79"},{"issue":"5","key":"20_CR80","doi-asserted-by":"publisher","first-page":"483","DOI":"10.1007\/s00224-002-1044-8","volume":"35","author":"J. Khodor","year":"2002","unstructured":"Khodor, J., Gifford, D.K.: Programmed mutagenesis is universal. Theory Comput. Syst.\u00a035(5), 483\u2013500 (2002), http:\/\/dblp.uni-trier.de\/db\/journals\/mst\/mst35.html#KhodorG02","journal-title":"Theory Comput. Syst."},{"issue":"6","key":"20_CR81","doi-asserted-by":"publisher","first-page":"2573","DOI":"10.1021\/jp808320s","volume":"113","author":"M.K. mer","year":"2009","unstructured":"mer, M.K., Pita, M., Zhou, J., Ornatska, M., Poghossian, A., ning, M.J.S., Katz, E.: Coupling of biocomputing systems with electronic chips: Electronic interface for transduction of biochemical information. The Journal of Physical Chemistry C\u00a0113(6), 2573\u20132579 (2009), http:\/\/pubs.acs.org\/doi\/abs\/10.1021\/jp808320s , doi:10.1021\/jp808320s","journal-title":"The Journal of Physical Chemistry C"},{"key":"20_CR82","doi-asserted-by":"publisher","first-page":"542","DOI":"10.1126\/science.7725098","volume":"268","author":"R.J. Lipton","year":"1995","unstructured":"Lipton, R.J.: Using DNA to solve NP-complete problems. Science\u00a0268, 542\u2013545 (1995)","journal-title":"Science"},{"key":"20_CR83","series-title":"Lecture Notes in Computer Science","volume-title":"Verification, Model Checking, and Abstract Interpretation","year":"2008","unstructured":"Logozzo, F., Peled, D.A., Zuck, L.D. (eds.): VMCAI 2008. LNCS, vol.\u00a04905. Springer, Heidelberg (2008)"},{"issue":"7295","key":"20_CR84","doi-asserted-by":"publisher","first-page":"206","DOI":"10.1038\/nature09012","volume":"465","author":"K. Lund","year":"2010","unstructured":"Lund, K., Manzo, A.J., Dabby, N., Michelotti, N., Johnson-Buck, A., Nangreave, J., Taylor, S., Pei, R., Stojanovic, M.N., Walter, N.G., Winfree, E., Yan, H.: Molecular robots guided by prescriptive landscapes. Nature\u00a0465(7295), 206\u2013210 (2010), http:\/\/dx.doi.org\/10.1038\/nature09012","journal-title":"Nature"},{"key":"20_CR85","doi-asserted-by":"publisher","first-page":"493","DOI":"10.1038\/35035038","volume":"407","author":"C. Mao","year":"2000","unstructured":"Mao, C., Labean, T.H., Reif, J.H., Seeman, N.C.: Logical computation using algorithmic self-assembly of DNA triple-crossover molecules. Nature\u00a0407, 493\u2013496 (2000)","journal-title":"Nature"},{"key":"20_CR86","volume-title":"Communication and concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and concurrency. Prentice-Hall, Inc., Upper Saddle River, NJ, USA (1989)"},{"unstructured":"Milner, R.: Functions as processes. Research Report 1154, INRIA (1990)","key":"20_CR87"},{"key":"20_CR88","volume-title":"Computation: finite and infinite machines","author":"M. Minsky","year":"1967","unstructured":"Minsky, M.: Computation: finite and infinite machines. Prentice-Hall, Englewood Cliffs (1967)"},{"issue":"2","key":"20_CR89","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1006\/jvlc.1995.1010","volume":"6","author":"K. Misue","year":"1995","unstructured":"Misue, K., Eades, P., Lai, W., Sugiyama, K.: Layout adjustment and the mental map. Journal of Visual Languages and Computing\u00a06(2), 183 (1995), http:\/\/www.sciencedirect.com\/science\/article\/B6WMM-45PVMS3-13\/2\/0f1f0f6cf4f49a7892fb6064751b128c , doi:10.1006\/jvlc.1995.1010","journal-title":"Journal of Visual Languages and Computing"},{"issue":"9","key":"20_CR90","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 Biotechnol\u00a021(9), 1069\u20131074 (2003)","journal-title":"Nature Biotechnol"},{"issue":"5-6","key":"20_CR91","doi-asserted-by":"publisher","first-page":"719","DOI":"10.1142\/S0218196704002043","volume":"14","author":"C.L. Nehaniv","year":"2004","unstructured":"Nehaniv, C.L.: Asynchronous automata networks can emulate any synchronous automata network. International Journal of Algebra and Computation\u00a014(5-6), 719\u2013739 (2004)","journal-title":"International Journal of Algebra and Computation"},{"issue":"3","key":"20_CR92","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1007\/s00354-008-0047-7","volume":"26","author":"S. Murata","year":"2008","unstructured":"Murata, S., Stojanovic, M.N.: DNA-based nanosystems. New Generation Comput.\u00a026(3), 297\u2013312 (2008)","journal-title":"New Generation Comput."},{"unstructured":"Neumann, J.v., Burks, A.W.: Theory of Self-Reproducing Automata. Univ. Illinois Press (1966)","key":"20_CR93"},{"key":"20_CR94","series-title":"Lecture Notes in Computer Science","volume-title":"Graph Drawing","year":"2005","unstructured":"Pach, J. (ed.): GD 2004. LNCS, vol.\u00a03383. Springer, Heidelberg (2005)"},{"issue":"7","key":"20_CR95","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1038\/sj.embor.embor719","volume":"4","author":"J. Parker","year":"2003","unstructured":"Parker, J.: Computing with DNA. EMBO Rep.\u00a04(7), 7\u201310 (2003)","journal-title":"EMBO Rep."},{"doi-asserted-by":"crossref","unstructured":"Phillips, A., Cardelli, L.: A programming language for composable DNA circuits. Journal of the Royal Society Interface\u00a06(S4) (2009)","key":"20_CR96","DOI":"10.1098\/rsif.2009.0072.focus"},{"doi-asserted-by":"crossref","unstructured":"Qian, L., Winfree, E.: A simple DNA gate motif for synthesizing large-scale circuits. In: DNA, pp. 70\u201389 (2008)","key":"20_CR97","DOI":"10.1007\/978-3-642-03076-5_7"},{"issue":"10","key":"20_CR98","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. Nat Nano\u00a04(10), 642\u2013648 (2009), http:\/\/dx.doi.org\/10.1038\/nnano.2009.203 , doi:10.1038\/nnano.2009.203","journal-title":"Nat Nano"},{"key":"20_CR99","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-36481-1_1","volume-title":"Computational Methods in Systems Biology","author":"A. Regev","year":"2003","unstructured":"Regev, A., Shapiro, E.Y.: Cells as computation. In: Priami, C. (ed.) CMSB 2003. LNCS, vol.\u00a02602, pp. 1\u20133. Springer, Heidelberg (2003), http:\/\/link.springer.de\/link\/service\/series\/0558\/bibs\/2602\/26020001.htm"},{"doi-asserted-by":"crossref","unstructured":"Regev, A., Panina, E.M., Silverman, W., Cardelli, L., Shapiro, E.: Bioambients: An abstraction for biological compartments. TCS: Theoretical Computer Science\u00a0325 (2004)","key":"20_CR100","DOI":"10.1016\/j.tcs.2004.03.061"},{"doi-asserted-by":"crossref","unstructured":"Regev, A., Silverman, W., Shapiro, E.Y.: Representation and simulation of biochemical processes using the pi-calculus process algebra. In: Pacific Symposium on Biocomputing, pp. 459\u2013470 (2001), http:\/\/helix-web.stanford.edu\/psb01\/regev.pdf","key":"20_CR101","DOI":"10.1142\/9789814447362_0045"},{"issue":"9","key":"20_CR102","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1145\/1284621.1284647","volume":"50","author":"J.H. Reif","year":"2007","unstructured":"Reif, J.H., LaBean, T.H.: Autonomous programmable biomolecular devices using self-assembled DNA nanostructures. Commun. ACM\u00a050(9), 46\u201353 (2007), http:\/\/dblp.uni-trier.de\/db\/journals\/cacm\/cacm50.html#ReifL07","journal-title":"Commun. ACM"},{"key":"20_CR103","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1007\/BF01418780","volume":"12","author":"R.M. Robinson","year":"1971","unstructured":"Robinson, R.M.: Undecidability and nonperiodicity for tilings of the plane. Inv. Math\u00a012, 117\u2013209 (1971)","journal-title":"Inv. Math"},{"doi-asserted-by":"crossref","unstructured":"Rothemund, P.W.K.: A DNA and restriction enzyme implementation of Turing machines. In: Lipton, E.B.B.R.J. (ed.) DNA based computers. DIMACS: Series in Discrete Mathematics and Theoretical Computer Science, vol.\u00a027, pp. 75\u2013120. American Mathematical Society (1995)","key":"20_CR104","DOI":"10.1090\/dimacs\/027\/06"},{"issue":"3","key":"20_CR105","doi-asserted-by":"publisher","first-page":"984","DOI":"10.1073\/pnas.97.3.984","volume":"97","author":"P.W.K. Rothemund","year":"2000","unstructured":"Rothemund, P.W.K.: Using lateral capillary forces to compute by self-assembly. Proceedings of the National Academy of Sciences of the United States of America\u00a097(3), 984\u2013989 (2000), http:\/\/www.pnas.org\/content\/97\/3\/984.abstract","journal-title":"Proceedings of the National Academy of Sciences of the United States of America"},{"key":"20_CR106","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1038\/nature04586","volume":"440","author":"P.W.K. Rothemund","year":"2006","unstructured":"Rothemund, P.W.K.: Folding DNA to create nanoscale shapes and patterns. Nature\u00a0440, 297\u2013302 (2006), doi:10.1038\/nature04586","journal-title":"Nature"},{"unstructured":"Roweis, S., Winfree, E., Burgoyne, R., Chelyapov, N.V., Goodman, M.F., Rothemund, P.W.K., Adleman, L.M.: A sticker based model for DNA computation. In: Landweber, L., Baum, E. (eds.) DNA Based Computers II. DIMACS: Series in Discrete Mathematics and Theoretical Computer Science, vol.\u00a044, American Mathematical Society (1996), ftp:\/\/hope.caltech.edu\/pub\/roweis\/DIMACS\/stickers.ps","key":"20_CR107"},{"issue":"4","key":"20_CR108","doi-asserted-by":"publisher","first-page":"615","DOI":"10.1089\/cmb.1998.5.615","volume":"5","author":"S.T. Roweis","year":"1998","unstructured":"Roweis, S.T., Winfree, E., Burgoyne, R., Chelyapov, N.V., Goodman, M.F., Rothemund, P.W.K., Adleman, L.M.: A sticker-based model for DNA computation. Journal of Computational Biology\u00a05(4), 615\u2013630 (1998)","journal-title":"Journal of Computational Biology"},{"issue":"2","key":"20_CR109","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1016\/S0304-3975(98)00270-9","volume":"217","author":"G. Sander","year":"1999","unstructured":"Sander, G.: Graph layout for applications in compiler construction. Theor. Comput. Sci.\u00a0217(2), 175\u2013214 (1999), http:\/\/dblp.uni-trier.de\/db\/journals\/tcs\/tcs217.html#Sander99","journal-title":"Theor. Comput. Sci."},{"key":"20_CR110","volume-title":"The \u03c0-calculus: a Theory of Mobile Processes","author":"D. Sangiorgi","year":"2001","unstructured":"Sangiorgi, D., Walker, D.: The \u03c0-calculus: a Theory of Mobile Processes. Cambridge University Press, Cambridge (2001)"},{"doi-asserted-by":"crossref","unstructured":"Seelig, G., Soloveichik, D.: Time-Complexity of Multilayered DNA Strand Displacement Circuits. In: pp. 144\u2013153. Springer, Heidelberg (2009)","key":"20_CR111","DOI":"10.1007\/978-3-642-10604-0_15"},{"issue":"5805","key":"20_CR112","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), http:\/\/www.sciencemag.org\/cgi\/content\/abstract\/314\/5805\/1585 , doi:10.1126\/science.1132493","journal-title":"Science"},{"doi-asserted-by":"crossref","unstructured":"Shapiro, Benenson: Bringing DNA computers to life. SCIAM: Scientific American\u00a0294 (2006)","key":"20_CR113","DOI":"10.1038\/scientificamerican0506-44"},{"unstructured":"Shapiro, E.: Mechanical Turing machine: Blueprint for a biomolecular computer. Tech. rep., Weizmann Institute of Science (1999)","key":"20_CR114"},{"unstructured":"Shapiro, E.: Mechanical Turing machine: Blueprint for a biomolecular computer. Tech. rep., Weizmann Institute of Science (1999)","key":"20_CR115"},{"key":"20_CR116","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1038\/scientificamerican0506-44","volume":"294","author":"E. Shapiro","year":"2006","unstructured":"Shapiro, E., Benenson, Y.: Bringing DNA computers to life. Scientific American\u00a0294, 44\u201351 (2006)","journal-title":"Scientific American"},{"issue":"7","key":"20_CR117","doi-asserted-by":"publisher","first-page":"1831","DOI":"10.1021\/nn900085x","volume":"3","author":"B. Shlyahovsky","year":"2009","unstructured":"Shlyahovsky, B., Li, Y., Lioubashevski, O., Elbaz, J., Willner, I.: Logic gates and antisense DNA devices operating on a translator nucleic acid scaffold. ACS Nano\u00a03(7), 1831\u20131843 (2009), http:\/\/dx.doi.org\/10.1021\/nn900085x","journal-title":"ACS Nano"},{"doi-asserted-by":"crossref","unstructured":"Simpson, M.L., Sayler, G.S., Fleming, J.T., Applegate, B.: Whole-cell biocomputing. Trends Biotechnol\u00a019(8), 317\u201323 (2001), http:\/\/www.biomedsearch.com\/nih\/Whole-cell-biocomputing\/11451474.html","key":"20_CR118","DOI":"10.1016\/S0167-7799(01)01691-2"},{"doi-asserted-by":"crossref","unstructured":"Smith, W.D.: DNA computers in vitro and vivo. In: Lipton, E.B.B.R.J. (ed.) DNA based computers. DIMACS: Series in Discrete Mathematics and Theoretical Computer Science, vol.\u00a027, pp. 121\u2013186. American Mathematical Society (1995)","key":"20_CR119","DOI":"10.1090\/dimacs\/027\/07"},{"doi-asserted-by":"crossref","unstructured":"Soloveichik, D., Seelig, G., Winfree, E.: DNA as a universal substrate for chemical kinetics. In: DNA, pp. 57\u201369 (2008)","key":"20_CR120","DOI":"10.1007\/978-3-642-03076-5_6"},{"key":"20_CR121","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/b136996","volume-title":"Advanced Information Systems Engineering","author":"C. Stefansen","year":"2005","unstructured":"Stefansen, C.: SMAWL: A SMAll workflow language based on CCS. In: Pastor, \u00d3., Falc\u00e3o e Cunha, J. (eds.) CAiSE 2005. LNCS, vol.\u00a03520, Springer, Heidelberg (2005), http:\/\/www.ceur-ws.org\/Vol-161\/FORUM_10.pdf"},{"key":"20_CR122","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/978-3-540-68894-5_2","volume-title":"Formal Methods for Computational Systems Biology","author":"C. Talcott","year":"2008","unstructured":"Talcott, C.: Pathway logic (8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems). In: Bernardo, M., Degano, P., Tennenholtz, M. (eds.) SFM 2008. LNCS, vol.\u00a05016, pp. 21\u201353. Springer, Heidelberg (2008)"},{"issue":"3","key":"20_CR123","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1006\/jvlc.1999.0124","volume":"10","author":"M.A.D. Storey","year":"1999","unstructured":"Storey, M.A.D., Fracchia, F., M\u00fcller, H.: Customizing a Fisheye View Algorithm to Preserve the Mental Map. Journal of Visual Languages and Computing\u00a010(3), 245\u2013267 (1999)","journal-title":"Journal of Visual Languages and Computing"},{"key":"20_CR124","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1002\/j.1538-7305.1961.tb03975.x","volume":"40","author":"H. Wang","year":"1961","unstructured":"Wang, H.: Proving theorems by pattern recognition ii. Bell System Technical Journal\u00a040, 1\u201340 (1961)","journal-title":"Bell System Technical Journal"},{"issue":"2","key":"20_CR125","first-page":"230","volume":"42","author":"A.M. Turing","year":"1936","unstructured":"Turing, A.M.: On computable numbers with an application to the Entscheidungsproblem. Proceedings of the London Mathematical Society\u00a042(2), 230\u2013265 (1936)","journal-title":"Proceedings of the London Mathematical Society"},{"issue":"1","key":"20_CR126","doi-asserted-by":"publisher","first-page":"626","DOI":"10.1016\/j.amc.2004.12.019","volume":"170","author":"S. Wang","year":"2005","unstructured":"Wang, S., Yang, A.: DNA solution of integer linear programming. Applied Mathematics and Computation\u00a0170(1), 626\u2013632 (2005)","journal-title":"Applied Mathematics and Computation"},{"issue":"2","key":"20_CR127","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1353535.1346282","volume":"42","author":"E. Winfree","year":"2008","unstructured":"Winfree, E.: Toward molecular programming with DNA. SIGOPS Oper. Syst. Rev.\u00a042(2), 1\u20131 (2008), doi:10.1145\/1353535.1346282","journal-title":"SIGOPS Oper. Syst. Rev."},{"key":"20_CR128","first-page":"63","volume-title":"DNA \u201900: Revised Papers from the 6th International Workshop on DNA-Based Computers","author":"E. Winfree","year":"2001","unstructured":"Winfree, E., Eng, T., Rozenberg, G.: String tile models for DNA computing by self-assembly. In: DNA \u201900: Revised Papers from the 6th International Workshop on DNA-Based Computers, London, UK, pp. 63\u201388. Springer, Heidelberg (2001)"},{"doi-asserted-by":"crossref","unstructured":"Winfree, E., Yang, X., Seeman, N.C.: Universal computation via self-assembly of DNA: Some theory and experiments. In: DNA Based Computers II, volume 44 of DIMACS, pp. 191\u2013213. American Mathematical Society (1996)","key":"20_CR129","DOI":"10.1090\/dimacs\/044\/16"},{"unstructured":"Wolfram, S.: A New Kind of Science, p. 1197. Wolfram Media (2002)","key":"20_CR130"},{"doi-asserted-by":"crossref","unstructured":"Winfree, E., Yang, X., Seeman, N.C.: Universal computation via self-assembly of DNA: Some theory and experiments. In: DNA Based Computers II, volume 44 of DIMACS, pp. 191\u2013213. American Mathematical Society (1996)","key":"20_CR131","DOI":"10.1090\/dimacs\/044\/16"},{"issue":"5641","key":"20_CR132","doi-asserted-by":"publisher","first-page":"1882","DOI":"10.1126\/science.1089389","volume":"301","author":"H. Yan","year":"2003","unstructured":"Yan, H., Park, S.H., Finkelstein, G., Reif, J.H., Labean, T.H.: DNA-templated self-assembly of protein arrays and highly conductive nanowires. Science\u00a0301(5641), 1882\u20131884 (2003), http:\/\/dx.doi.org\/10.1126\/science.1089389 , doi:10.1126\/science.1089389","journal-title":"Science"},{"issue":"7176","key":"20_CR133","doi-asserted-by":"publisher","first-page":"318","DOI":"10.1038\/nature06451","volume":"451","author":"P. Yin","year":"2008","unstructured":"Yin, P., Choi, H.M.T., Calvert, C.R., Pierce, N.A.: Programming biomolecular self-assembly pathways. Nature\u00a0451(7176), 318\u2013322 (2008), http:\/\/dx.doi.org\/10.1038\/nature06451 , doi:10.1038\/nature06451","journal-title":"Nature"},{"key":"20_CR134","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"426","DOI":"10.1007\/11493785_37","volume-title":"DNA Computing","author":"P. Yin","year":"2005","unstructured":"Yin, P., Turberfield, A.J., Reif, J.H.: Design of an autonomous DNA nanomechanical device capable of universal computation and universal translational motion. In: Ferretti, C., Mauri, G., Zandron, C. (eds.) DNA 2004. LNCS, vol.\u00a03384, pp. 426\u2013444. Springer, Heidelberg (2005)"},{"unstructured":"Yokomori, T., Kobayashi, S., Ferretti, C.: On the power of circular splicing systems and DNA computability. In: IEEE International Conference on Evolutionary Computation (1997), http:\/\/ylab-gw.cs.uec.ac.jp\/.\/Papers\/yokomori\/cssfinal.ps.gz","key":"20_CR135"},{"unstructured":"Zhang, D.Y.: Dynamic DNA strand displacement circuits. Ph.D. thesis, California Institute of Technology (2010), http:\/\/resolver.caltech.edu\/CaltechTHESIS:05262010-173410602","key":"20_CR136"},{"key":"20_CR137","doi-asserted-by":"publisher","first-page":"773","DOI":"10.1145\/1543834.1543940","volume-title":"GEC \u201909: Proceedings of the first ACM\/SIGEVO Summit on Genetic and Evolutionary Computation","author":"Y. Zhu","year":"2009","unstructured":"Zhu, Y., Ding, Y., Li, W., Kemp, G.: A proposed modularized dna computer, based on biochips. In: GEC \u201909: Proceedings of the first ACM\/SIGEVO Summit on Genetic and Evolutionary Computation, Shanghai, China, pp. 773\u2013780. ACM, New York, NY, USA (2009), doi:10.1145\/1543834.1543940"}],"container-title":["Lecture Notes in Computer Science","Formal Modeling: Actors, Open Systems, Biological Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-24933-4_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,13]],"date-time":"2025-03-13T13:04:13Z","timestamp":1741871053000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-24933-4_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642249327","9783642249334"],"references-count":138,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-24933-4_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}