DNA walker circuits: computational potential, design, and verification

DOI10.1007/S11047-014-9426-9MaRDI QIDQ2003463zbMATH OpenOpenAlexDBLPWikidataFDO

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

Publication date 8 July 2019

Published in Natural Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11047-014-9426-9

zbMATH Keywords

Boolean circuitscomputer-aided design (CAD)DNA computingDNA walkersprobabilistic model checking

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Computer science aspects of computer-aided design (68U07)

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

• Computing cumulative rewards using fast adaptive uniformization
• Efficient Turing-universal computation with DNA polymers
• Localized hybridization circuits
• Stochastic model checking
• Verification, Model Checking, and Abstract Interpretation
• Über eine Eigenschaft der ebenen Komplexe

Cited in

(6)

• Formal semantics and verification of network-based biocomputation circuits
• On Quantitative Modelling and Verification of DNA Walker Circuits Using Stochastic Petri Nets
• Automated Design and Verification of Localized DNA Computation Circuits
• DNA Walker Circuits: Computational Potential, Design, and Verification
• Chemical reaction network designs for asynchronous logic circuits
• Petri-net-based 2D design of DNA walker circuits

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 Q2003463)