Verifying Chemical Reaction Network Implementations: A Pathway Decomposition Approach

@article{Shin2019VerifyingCR,
  title={Verifying Chemical Reaction Network Implementations: A Pathway Decomposition Approach},
  author={S. W. Shin and C. Thachuk and E. Winfree},
  journal={Theor. Comput. Sci.},
  year={2019},
  volume={765},
  pages={67-96}
}
  • 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
    12 Citations
    Verifying polymer reaction networks using bisimulation
    • 2
    • PDF
    A domain-level DNA strand displacement reaction enumerator allowing arbitrary non-pseudoknotted secondary structures
    • 8
    • PDF
    Computing with chemical reaction networks: a tutorial
    • 3
    • PDF
    Robust Chemical Circuits
    • 1
    • PDF

    References

    SHOWING 1-10 OF 46 REFERENCES
    Compiling and Verifying DNA-Based Chemical Reaction Network Implementations
    • 17
    • PDF
    Programmable chemical controllers made from DNA.
    • 365
    • PDF
    A domain-level DNA strand displacement reaction enumerator allowing arbitrary non-pseudoknotted secondary structures
    • 8
    • PDF
    DNA as a universal substrate for chemical kinetics
    • 367
    • PDF
    Construction of an in vitro bistable circuit from synthetic transcriptional switches
    • 244
    • PDF
    Reduction techniques for network validation in systems biology.
    • 16
    Efficient Turing-Universal Computation with DNA Polymers
    • 113
    • PDF