Functional analysis of large-scale DNA strand displacement circuits

DOI10.1007/978-3-319-01928-4_14MaRDI QIDQ5168509zbMATH OpenOpenAlexFDO

Authors Boyan Yordanov, Christoph M. Wintersteiger, Youssef Hamadi, Andrew Phillips, Hillel Kugler

Publication date 7 July 2014

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-01928-4_14

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)

Recommendations

• Modular verification of DNA strand displacement networks via serializability analysis
• Modelling, simulating and verifying Turing-powerful strand displacement systems
• Automated Design and Verification of Localized DNA Computation Circuits
• Leakless DNA strand displacement systems
• Scalable, time-responsive, digital, energy-efficient molecular circuits using DNA strand displacement

Cites work

• Deterministic Function Computation with Chemical Reaction Networks
• Efficiently solving quantified bit-vector formulas
• Leaderless Deterministic Chemical Reaction Networks
• Localized hybridization circuits
• Modelling, simulating and verifying Turing-powerful strand displacement systems
• Reachability bounds for chemical reaction networks and strand displacement systems
• Space and energy efficient computation with DNA strand displacement systems
• Stochastic Satisfiability Modulo Theory: A Novel Technique for the Analysis of Probabilistic Hybrid Systems
• Temporal verification of reactive systems: response
• Termination Problems in Chemical Kinetics

Cited in

(13)

• DNA walker circuits: computational potential, design, and verification
• Formal semantics and verification of network-based biocomputation circuits
• Towards temporal logic computation using DNA strand displacement reactions
• Modular verification of chemical reaction network encodings via serializability analysis
• A strand graph semantics for DNA-based computation
• Synthesizing and tuning chemical reaction networks with specified behaviours
• Leakless DNA strand displacement systems
• Supervised Learning in an Adaptive DNA Strand Displacement Circuit
• Scalable, time-responsive, digital, energy-efficient molecular circuits using DNA strand displacement
• Modelling, simulating and verifying Turing-powerful strand displacement systems
• DNA Walker Circuits: Computational Potential, Design, and Verification
• Modular verification of DNA strand displacement networks via serializability analysis
• Displacement Whiplash PCR: Optimized Architecture and Experimental Validation

Describes a project that uses

Uses Software

• Visual DSD
• z3

This page was built for publication: Functional analysis of large-scale DNA strand displacement circuits

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5168509)