Robert F. Johnson

According to our database, Robert F. Johnson authored at least 5 papers between 2017 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Verifying polymer reaction networks using bisimulation.

Robert F. Johnson, Erik Winfree

Theor. Comput. Sci., 2020

Simplifying Chemical Reaction Network Implementations with Two-Stranded DNA Building Blocks.

Robert F. Johnson, Lulu Qian

Proceedings of the 26th International Conference on DNA Computing and Molecular Programming, 2020

2019

Verifying chemical reaction network implementations: A bisimulation approach.

Robert F. Johnson, Qing Dong, Erik Winfree

Theor. Comput. Sci., 2019

Impossibility of Sufficiently Simple Chemical Reaction Network Implementations in DNA Strand Displacement.

Robert F. Johnson

Proceedings of the Unconventional Computation and Natural Computation, 2019

2017

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

Proceedings of the DNA Computing and Molecular Programming - 23rd International Conference, 2017