DNA walker circuits: computational potential, design, and verification

DOI10.1007/s11047-014-9426-9zbMath1415.68078DBLPjournals/nc/DannenbergKTT15OpenAlexW1829020990WikidataQ59493824 ScholiaQ59493824MaRDI QIDQ2003463

Chris Thachuk, Frits Dannenberg, Marta Kwiatkowska, 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

DNA computingBoolean circuitsprobabilistic model checkingcomputer-aided design (CAD)DNA walkers

Mathematics Subject Classification ID

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

Related Items (2)

Chemical reaction network designs for asynchronous logic circuits ⋮ Petri-net-based 2D design of DNA walker circuits

Uses Software

• PRISM
• APMC

Cites Work

• Über eine Eigenschaft der ebenen Komplexe
• Efficient Turing-Universal Computation with DNA Polymers
• Stochastic Model Checking
• Localized Hybridization Circuits
• Computing Cumulative Rewards Using Fast Adaptive Uniformization
• Verification, Model Checking, and Abstract Interpretation

This page was built for publication: DNA walker circuits: computational potential, design, and verification