Molecular Circuits

Stochastic simulation of multiple process calculi for biology

Abstractions for DNA circuit design

Visual DSD: a design and analysis tool for DNA strand displacement systems

Localized Hybridization Circuits

Modelling, Simulating and Verifying Turing-Powerful Strand Displacement Systems

A programming language for composable DNA circuits

Visual DSD

A programming language for nucleic acid circuits