DNA Computing and Molecular Programming

Turing Universality of Step-Wise and Stage Assembly at Temperature 1.-A Type System for DNAQL.-Deterministic Function Computation with Chemical Reaction Networks .-Reachability Bounds for Chemical Reaction Networks and Strand Displacement Systems .-Synthesizing Minimal Tile Sets for Complex Patterns in the Framework of Patterned DNA Self-Assembly.-A Geometric Approach to Gibbs Energy Landscapes and Optimal DNA Codeword Design.-A DNA Based Molecular Logic Gate Capable of a Variety of Logical Operations .-Deciding Whether a Regular Language Is Generated by a Splicing

System.-Probabilistic Reasoning with a Bayesian DNA Device Based on Strand Displacement.-DNA Self-Assembly and Computation Studied with a Coarse-Grained Dynamic Bonded Model.-Space and Energy Efficient Computation with DNA Strand Displacement Systems.