Design and analysis of DNA strand displacement devices using probabilistic model checking

Dynamic DNA nanotechnology using strand-displacement reactions

(2011) David Yu Zhang et al.   Nature Chemistry

Scaling Up Digital Circuit Computation with DNA Strand Displacement Cascades

(2011) L. Qian et al.   SCIENCE

Solving the chemical master equation using sliding windows

(2010) Verena Wolf et al.   BMC Systems Biology

Selective cell death mediated by small conditional RNAs

(2010) S. Venkataraman et al.   PROCEEDINGS OF THE NATIONAL ACADEMY OF SCIENCES OF THE UNITED STATES OF AMERICA

DNA as a universal substrate for chemical kinetics

(2010) D. Soloveichik et al.   PROCEEDINGS OF THE NATIONAL ACADEMY OF SCIENCES OF THE UNITED STATES OF AMERICA

A programming language for composable DNA circuits

(2009) A. Phillips et al.   Journal of the Royal Society Interface

A simple population protocol for fast robust approximate majority

(2008) Dana Angluin et al.   DISTRIBUTED COMPUTING