Robert F. Johnson

Available identifiers

zbMath Open johnson.robert-fMaRDI QIDQ1694441

List of research outcomes

Publication	Date of Publication	Type
Simplifying Chemical Reaction Network Implementations with Two-Stranded DNA Building Blocks	2023-10-27	Paper
Verifying polymer reaction networks using bisimulation	2020-10-13	Paper
Impossibility of sufficiently simple chemical reaction network implementations in DNA strand displacement	2019-10-10	Paper
Verifying chemical reaction network implementations: a bisimulation approach	2019-06-18	Paper
A general-purpose CRN-to-DSD compiler with formal verification, optimization, and simulation capabilities	2018-02-02	Paper
Verifying Chemical Reaction Network Implementations: A Bisimulation Approach	2016-11-30	Paper

Research outcomes over time

This page was built for person: Robert F. Johnson