DNA Walker Circuits: Computational Potential, Design, and Verification

DOI10.1007/978-3-319-01928-4_3MaRDI QIDQ5168496zbMATH OpenOpenAlexFDO

Authors Frits Dannenberg, Marta Kwiatkowska, Chris Thachuk, Andrew J. Turberfield

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_3

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Specification and verification (program logics, model checking, etc.) (68Q60) Biochemistry, molecular biology (92C40)

Recommendations

• DNA walker circuits: computational potential, design, and verification
• Petri-net-based 2D design of DNA walker circuits
• On Quantitative Modelling and Verification of DNA Walker Circuits Using Stochastic Petri Nets
• Automated Design and Verification of Localized DNA Computation Circuits
• Functional analysis of large-scale DNA strand displacement circuits
• scientific article; zbMATH DE number 1953204
• Algorithms – ESA 2004

Cites work

• Efficient Turing-universal computation with DNA polymers
• Localized hybridization circuits

Cited in

(11)

• DNA walker circuits: computational potential, design, and verification
• Formal semantics and verification of network-based biocomputation circuits
• Robust biomolecular finite automata
• Precise parameter synthesis for stochastic biochemical systems
• Chemical reaction network designs for asynchronous logic circuits
• Modular verification of chemical reaction network encodings via serializability analysis
• On Quantitative Modelling and Verification of DNA Walker Circuits Using Stochastic Petri Nets
• Automated Design and Verification of Localized DNA Computation Circuits
• Robust Combinatorial Circuits in Chemical Reaction Networks
• Computing cumulative rewards using fast adaptive uniformization
• DNA Computing

Describes a project that uses

Uses Software

• PRISM
• APMC

This page was built for publication: DNA Walker Circuits: Computational Potential, Design, and Verification

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