Robert F. Johnson

Publication Activity (10 Years)

Years Active: 2016-2020
Publications (10 Years): 6

Top Topics

Efficient Implementation

Chemical Reaction

Complex Networks

Top Venues

Theor. Comput. Sci.

Publications

Robert F. Johnson, Erik Winfree
Verifying polymer reaction networks using bisimulation. Theor. Comput. Sci. 843 (2020)
Robert F. Johnson, Lulu Qian
Simplifying Chemical Reaction Network Implementations with Two-Stranded DNA Building Blocks. DNA (2020)
Robert F. Johnson, Qing Dong, Erik Winfree
Verifying chemical reaction network implementations: A bisimulation approach. Theor. Comput. Sci. 765 (2019)
Robert F. Johnson
Impossibility of Sufficiently Simple Chemical Reaction Network Implementations in DNA Strand Displacement. UCNC (2019)
Stefan Badelt, Seung Woo Shin, Robert F. Johnson, Qing Dong, Chris Thachuk, Erik Winfree
A General-Purpose CRN-to-DSD Compiler with Formal Verification, Optimization, and Simulation Capabilities. DNA (2017)
Robert F. Johnson, Qing Dong, Erik Winfree
Verifying Chemical Reaction Network Implementations: A Bisimulation Approach. DNA (2016)