A General-Purpose CRN-to-DSD Compiler with Formal Verification, Optimization, and Simulation Capabilities. - Stefan Badelt; Seung Woo Shin; Robert F. Johnson; Qing Dong; Chris Thachuk; Erik Winfree (DNA, 2017)

Impossibility of Sufficiently Simple Chemical Reaction Network Implementations in DNA Strand Displacement. - Robert F. Johnson (UCNC, 2019)

Verifying chemical reaction network implementations: A bisimulation approach. - Robert F. Johnson; Qing Dong; Erik Winfree (Theor. Comput. Sci., 2019)

Simplifying Chemical Reaction Network Implementations with Two-Stranded DNA Building Blocks. - Robert F. Johnson; Lulu Qian (DNA, 2020)

Verifying polymer reaction networks using bisimulation. - Robert F. Johnson; Erik Winfree (Theor. Comput. Sci., 2020)