DNA Computing and Molecular Programming

19th International Conference, DNA 19, Tempe, AZ, USA, September 22-27, 2013. Proceedings

  • David Soloveichik
  • Bernard Yurke
Conference proceedings DNA 2013

DOI: 10.1007/978-3-319-01928-4

Part of the Lecture Notes in Computer Science book series (LNCS, volume 8141)

Table of contents (14 papers)

  1. Front Matter
  2. Parallel Computation Using Active Self-assembly
    Moya Chen, Doris Xin, Damien Woods
    Pages 16-30
  3. DNA Walker Circuits: Computational Potential, Design, and Verification
    Frits Dannenberg, Marta Kwiatkowska, Chris Thachuk, Andrew J. Turberfield
    Pages 31-45
  4. Leaderless Deterministic Chemical Reaction Networks
    David Doty, Monir Hajiaghayi
    Pages 46-60
  5. DNA Sticky End Design and Assignment for Robust Algorithmic Self-assembly
    Constantine G. Evans, Erik Winfree
    Pages 61-75
  6. DNA Reservoir Computing: A Novel Molecular Computing Approach
    Alireza Goudarzi, Matthew R. Lakin, Darko Stefanovic
    Pages 76-89
  7. Signal Transmission across Tile Assemblies: 3D Static Tiles Simulate Active Self-assembly by 2D Signal-Passing Tiles
    Jacob Hendricks, Jennifer E. Padilla, Matthew J. Patitz, Trent A. Rogers
    Pages 90-104
  8. 3-Color Bounded Patterned Self-assembly
    Lila Kari, Steffen Kopecki, Shinnosuke Seki
    Pages 105-117
  9. Exponential Replication of Patterns in the Signal Tile Assembly Model
    Alexandra Keenan, Robert Schweller, Xingsi Zhong
    Pages 118-132
  10. Modular Verification of DNA Strand Displacement Networks via Serializability Analysis
    Matthew R. Lakin, Andrew Phillips, Darko Stefanovic
    Pages 133-146
  11. Probabilistic Reasoning with an Enzyme-Driven DNA Device
    Iñaki Sainz de Murieta, Alfonso Rodríguez-Patón
    Pages 160-173
  12. Functional Analysis of Large-Scale DNA Strand Displacement Circuits
    Boyan Yordanov, Christoph M. Wintersteiger, Youssef Hamadi, Andrew Phillips, Hillel Kugler
    Pages 189-203
  13. Back Matter

About these proceedings


This book constitutes the refereed proceedings of the 19th International Conference on DNA Computing and Molecular Programming, DNA 19, held in Tempe, AZ, USA, in September 2013.
The 14 full papers presented were carefully selected from 29 submissions. The papers are organized in many disciplines (including mathematics, computer science, physics, chemistry, material science and biology) to address the analysis, design, and synthesis of information-based molecular systems.


SMT algorithmic self-assembly biological computation reservoir computing semilinear

Editors and affiliations

  • David Soloveichik
    • 1
  • Bernard Yurke
    • 2
  1. 1.Center for Systems and Synthetic BiologyUniversity of CaliforniaUSA
  2. 2.Materials Science and Engineering DepartmentBoise State UniversityBoiseUSA

Bibliographic information

  • Copyright Information Springer International Publishing Switzerland 2013
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-01927-7
  • Online ISBN 978-3-319-01928-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349