Two-domain DNA strand displacement
From MaRDI portal
Publication:4917188
DOI10.1017/S0960129512000102zbMath1271.68105WikidataQ56981881 ScholiaQ56981881MaRDI QIDQ4917188
Publication date: 29 April 2013
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
verificationmolecular computingformalisationDNA strand displacement structuresdouble stranded DNA with nicks
Related Items (19)
Modular verification of chemical reaction network encodings via serializability analysis ⋮ Robust Combinatorial Circuits in Chemical Reaction Networks ⋮ Finite-time regulation property of DNA feedback regulator ⋮ Leakless DNA Strand Displacement Systems ⋮ Computing with biological switches and clocks ⋮ Verifying chemical reaction network implementations: a bisimulation approach ⋮ Verifying chemical reaction network implementations: a pathway decomposition approach ⋮ Logical Inference by DNA Strand Algebra ⋮ Molecular computing for Markov chains ⋮ Fridge compiler: optimal circuits from molecular inventories ⋮ On the stability of nucleic acid feedback control systems ⋮ Simplifying Chemical Reaction Network Implementations with Two-Stranded DNA Building Blocks ⋮ DNA-templated synthesis optimization ⋮ Modular Verification of DNA Strand Displacement Networks via Serializability Analysis ⋮ Verifying polymer reaction networks using bisimulation ⋮ A Scheme for Molecular Computation of Maximum Likelihood Estimators for Log-Linear Models ⋮ Verifying Chemical Reaction Network Implementations: A Bisimulation Approach ⋮ Time Complexity of Computation and Construction in the Chemical Reaction Network-Controlled Tile Assembly Model ⋮ Abstraction-based segmental simulation of chemical reaction networks
Cites Work
This page was built for publication: Two-domain DNA strand displacement
