Automated Design and Verification of Localized DNA Computation Circuits

DOI10.1007/978-3-319-21999-8_11MaRDI QIDQ2948415zbMATH OpenOpenAlexWikidataFDO

Authors Michael A. Boemo, Luca Cardelli, Andrew J. Turberfield

Publication date 30 September 2015

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-21999-8_11

Mathematics Subject Classification ID

Protein sequences, DNA sequences (92D20) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Automated design and programming of a microfluidic DNA computer
• DNA computing approach for automated test pattern generation for digital circuits
• Autonomous forward inference via DNA computing
• DNA Walker Circuits: Computational Potential, Design, and Verification
• DNA walker circuits: computational potential, design, and verification

Cites work

• Abstract modelling of tethered DNA circuits
• DNA Walker Circuits: Computational Potential, Design, and Verification
• Open source computer algebra systems

Cited in

(24)

• A renewable, modular, and time-responsive DNA circuit
• DNA Computing
• Implementation of Turing machine using DNA strand displacement
• Isothermal reactivating whiplash PCR for locally programmable molecular computation
• DNA walker circuits: computational potential, design, and verification
• Formal semantics and verification of network-based biocomputation circuits
• A strand graph semantics for DNA-based computation
• DNA Walker Circuits: Computational Potential, Design, and Verification
• Research on high-sensitive precise logic gates based on DNA strand replacement
• Robust Digital Molecular Design of Binarized Neural Networks
• Parallel and scalable computation and spatial dynamics with DNA-based chemical reaction networks on a surface
• Abstract modelling of tethered DNA circuits
• Functional analysis of large-scale DNA strand displacement circuits
• Describing DNA automata using an artificial chemistry based on pattern matching and recombination
• DNA Computing
• Computing properties of stable configurations of thermodynamic binding networks
• Positional state representation and its transition control for photonic DNA automaton
• Automated, constraint-based analysis of tethered DNA nanostructures
• DNA computing approach for automated test pattern generation for digital circuits
• Design of nucleic acid strands with long low-barrier folding pathways
• Experimental analysis of the basic idea on the transcription-based diagnostic automata controlled by programmed molecules
• CRN++: molecular programming language
• Petri-net-based 2D design of DNA walker circuits
• DNA Computing

This page was built for publication: Automated Design and Verification of Localized DNA Computation Circuits

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