8. DNA 2002: Sapporo, Japan
Masami Hagiya, Azuma Ohuchi (Eds.): DNA Computing, 8th International Workshop on DNA Based Computers, DNA8, Sapporo, Japan, June 10-13, 2002, Revised Papers. Springer 2003 Lecture Notes in Computer Science ISBN 3-540-00531-5
Self-assembly and Autonomous Molecular Computation

Dage Liu, John H. Reif, Thomas H. LaBean: DNA Nanotubes: Construction and Characterization of Filaments Composed of TX-tile Lattice. 10-21
John H. Reif: The Design of Autonomous DNA Nanomechanical Devices: Walking and Rolling DNA. 22-37
Molecular Evolution and Application to Biotechnology
John A. Rose, Mitsunori Takano, Akira Suyama: A PNA-mediated Whiplash PCR-based Program for In Vitro Protein Evolution. 47-60
Subhayu Basu, David Karig, Ron Weiss: Engineering Signal Processing in Cells: Towards Molecular Concentration Band Detection. 61-72
Applications to Mathematical Problems
Ji Youn Lee, Soo-Yong Shin, Sirk June Augh, Tai Hyun Park, Byoung-Tak Zhang: Temperature Gradient-Based DNA Computing for Graph Problems with Weighted Edges. 73-84
Yoichi Takenaka, Akihiro Hashimoto: Shortening the Computational Time of the Fluorescent DNA Computing. 85-94
Pilar de la Torre: How Efficiently Can Room at the Bottom Be Traded Away for Speed at the Top? 95-111
Satoshi Kashiwamura, Masahito Yamamoto, Atsushi Kameda, Toshikazu Shiba, Azuma Ohuchi: Hierarchical DNA Memory Based on Nested PCR. 112-123
Hubert Hug, Rainer Schuler: Implementation of a Random Walk Method for Solving 3-SAT on Circular DNA Molecules. 133-142
Hee-Woong Lim, Ji-Eun Yun, Hae-Man Jang, Young-Gyu Chai, Suk-In Yoo, Byoung-Tak Zhang: Version Space Learning with DNA Molecules. 143-155
In-Hee Lee, Ji-Yoon Park, Hae-Man Jang, Young-Gyu Chai, Byoung-Tak Zhang: DNA Implementation of Theorem Proving with Resolution Refutation in Propositional Logic. 156-167
David Harlan Wood, Catherine L. Taylor Clelland, Carter Bancroft: Universal Biochip Readout of Directed Hamiltonian Path Problems. 168-181
Nucleic Acid Sequence Design
Mirela Andronescu, Danielle Dees, Laura Slaybaugh, Yinglei Zhao, Anne Condon, Barry Cohen, Steven Skiena: Algorithms for Testing That Sets of DNA Words Concatenate without Secondary Structure. 182-195
Russell J. Deaton, Junghuei Chen, Hong Bi, Max H. Garzon, Harvey Rubin, David Harlan Wood: A PCR-based Protocol for In Vitro Selection of Non-crosshybridizing Oligonucleotides. 196-204
Satoshi Kobayashi, Tomohiro Kondo, Masanori Arita: On Template Method for DNA Sequence Design. 205-214
Christine E. Heitsch, Anne Condon, Holger H. Hoos: From RNA Secondary Structure to Coding Theory: A Combinatorial Approach. 215-228
Dan C. Tulpan, Holger H. Hoos, Anne Condon: Stochastic Local Search Algorithms for DNA Word Design. 229-241
Dongmin Kim, Soo-Yong Shin, In-Hee Lee, Byoung-Tak Zhang: NACST/Seq: A Sequence Design System with Multiobjective Optimization. 242-251
Russell J. Deaton, Junghuei Chen, Hong Bi, John A. Rose: A Software Tool for Generating Non-crosshybridizing Libraries of DNA Oligonucleotides. 252-261
Theory

Akihiro Takahara, Takashi Yokomori: On the Computational Power of Insertion-Deletion Systems. 269-280
Mihai Ionescu, Carlos Martín-Vide, Andrei Paun, Gheorghe Paun: Unexpected Universality Results for Three Classes of P Systems with Symport/Antiport. 281-290
Daniela Besozzi, Claudio Ferretti, Giancarlo Mauri, Claudio Zandron: Parallel Rewriting P Systems with Deadlock. 302-314
Yasubumi Sakakibara, Hiroshi Imai: A DNA-based Computational Model Using a Specific Type of Restriction Enzyme. 315-325
Maurice Margenstern, Yurii Rogozhin, Sergey Verlan: Time-Varying Distributed H Systems of Degree 2 Can Carry Out Parallel Computations. 326-336



