Robert F. Johnson
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
2
Active years
2016–2020
Best venue rank
B
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | DNA | Simplifying Chemical Reaction Network Implementations with Two-Stranded DNA Building Blocks. | Robert F. Johnson, Lulu Qian |
| 2019 | UC | Impossibility of Sufficiently Simple Chemical Reaction Network Implementations in DNA Strand Displacement. | Robert F. Johnson |
| 2017 | DNA | 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 |
| 2016 | DNA | Verifying Chemical Reaction Network Implementations: A Bisimulation Approach. | Robert F. Johnson, Qing Dong, Erik Winfree |