Verifying Chemical Reaction Network Implementations: A Pathway Decomposition Approach

  title={Verifying Chemical Reaction Network Implementations: A Pathway Decomposition Approach},
  author={S. W. Shin and C. Thachuk and E. Winfree},
  journal={Theor. Comput. Sci.},
  • S. W. Shin, C. Thachuk, E. Winfree
  • Published 2019
  • Computer Science, Biology
  • Theor. Comput. Sci.
  • Abstract The emerging fields of genetic engineering, synthetic biology, DNA computing, DNA nanotechnology, and molecular programming herald the birth of a new information technology that acquires information by directly sensing molecules within a chemical environment, stores information in molecules such as DNA, RNA, and proteins, processes that information by means of chemical and biochemical transformations, and uses that information to direct the manipulation of matter at the nanometer scale… CONTINUE READING
    Computing with chemical reaction networks: a tutorial
    • 2
    • PDF
    Robust Chemical Circuits
    • 1
    • PDF
    Message complexity of population protocols
    • 1
    • PDF


    Publications referenced by this paper.
    Programmable chemical controllers made from DNA.
    • 359
    • PDF
    Compiling and Verifying DNA-Based Chemical Reaction Network Implementations
    • 17
    • PDF
    DNA as a universal substrate for chemical kinetics
    • 352
    • PDF
    Verifying Chemical Reaction Network Implementations: A Bisimulation Approach
    • 13
    • PDF
    Construction of an in vitro bistable circuit from synthetic transcriptional switches
    • 241
    • PDF
    Efficient Turing-Universal Computation with DNA Polymers
    • 112
    • PDF
    Reduction techniques for network validation in systems biology.
    • 16