Chemical Reaction Networks

Fast Enumeration of Non-isomorphic Chemical Reaction Networks

Synthesizing and tuning stochastic chemical reaction networks with specified behaviours

Modular verification of chemical reaction network encodings via serializability analysis

A High-Level Language for Rule-Based Modelling

Computational Design of Reaction-Diffusion Patterns Using DNA-Based Chemical Reaction Networks

Computational Design of Nucleic Acid Feedback Control Circuits

Programmable chemical controllers made from DNA

Functional Analysis of Large-Scale DNA Strand Displacement Circuits

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

Visual DSD

A programming language for nucleic acid circuits