Abstract is missing.
- Foreword
- Preface
- Physical chemistry of nucleic acid hybridizationJames G. Wetmur. 1-24
- Thermodynamic simulation of deoxyoligonucleotide hybridization for DNA computationAlexander J. Hartemink, David K. Gifford. 25-38
- The efficiency of sequence-specific separation of DNA mixtures for biological computingJulia Khodor, David K. Gifford. 39-46
- A new DNA separation technique with a low error rateJunghuei Chen, David Harlan Wood. 47-56
- Towards parallel evaluation and learning of Boolean $\mu$-formulas with moleculesMasami Hagiya, Masanori Arita, Daisuke Kiga, Kensaku Sakamoto, Shigeyuki Yokoyama. 57-72
- Wet splicing systemsElizabeth Laun, Kalluru J. Reddy. 73-84
- Parallel operations in DNA-based computationFrank Guarnieri, Martin Orlian, F. Carter Bancroft. 85-100
- Protein folding, spin glass and computational complexityAviezri S. Fraenkel. 101-122
- Creating 3-dimensional graph structures with DNANatasa Jonoska, Stephen A. Karl, Masahico Saito. 123-136
- DNA implementation of nondeterminismY. Gao, Max H. Garzon, R. C. Murphy, John A. Rose, Russell J. Deaton, Donald R. Franceschetti, Stanley Edward Stevens Jr.. 137-148
- Arithmetic and logic operations with DNAVineet Gupta, Srinivasan Parthasarathy, Mohammed J. Zaki. 149-160
- 2DNA computations: A potential "killer app?"Laura F. Landweber, Richard J. Lipton, Michael O. Rabin. 161-172
- Strategies for DNA computingAndrew D. Ellington, Michael P. Robertson, Ken D. James, J. Colin Cox. 173-184
- A surface-based DNA algorithm for minimal set coverTony L. Eng, Benjamin M. Serridge. 185-192
- Solid phase DNA solution to the Hamiltonian path problemNobuhiko Morimoto, Masanori Arita, Akira Suyama. 193-206
- On molecular approximation algorithms for NP optimization problemBin Fu, Richard Beigel. 207-216
- Local parallel biomolecular computationJohn H. Reif. 217-254
- DNA-based parallel computation by "counting"Mitsunori Ogihara, Animesh Ray. 255-264
- Parallel computation on a DNA substrateAndrew J. Blumberg. 265-280
- Design for a DNA conformational processorMichael Conrad, Klaus-Peter Zauner. 281-288
- Linear DNA self-assembly with hairpins generates linear context-free grammarsTony L. Eng. 289-296
- Watson-Crick finite automataRudolf Freund, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa. 297-328
- At the crossroads of DNA computing and formal languages: Characterizing recursively enumerable languages using insertion-deletion systemsLila Kari, Gheorghe Paun, Gabriel Thierrin, Sheng Yu. 329-346
- DNA-EC: A model of DNA-computing based on equality checkingTakashi Yokomori, Satoshi Kobayashi. 347-360
- Splicing on tree-like structuresYasubumi Sakakibara, Claudio Ferretti. 361