Abstract modelling of tethered DNA circuits

DOI10.1007/978-3-319-11295-4_9MaRDI QIDQ2921478zbMATH OpenOpenAlexFDO

Authors Matthew R. Lakin, Rasmus L. Petersen, Kathryn E. Gray, Andrew Phillips

Publication date 8 October 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-11295-4_9

Mathematics Subject Classification ID

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

Recommendations

• Automated, constraint-based analysis of tethered DNA nanostructures
• Automated Design and Verification of Localized DNA Computation Circuits
• On Quantitative Modelling and Verification of DNA Walker Circuits Using Stochastic Petri Nets
• Programming Self-Assembly of DNA Tiles
• Stochastic simulation of the kinetics of multiple interacting nucleic acid strands

Cited in

(6)

• Automated, constraint-based analysis of tethered DNA nanostructures
• A strand graph semantics for DNA-based computation
• Automated Design and Verification of Localized DNA Computation Circuits
• On the solvability of the problem of guaranteed package guidance to a system of target sets
• Automated analysis of tethered DNA nanostructures using constraint solving
• Molecular machines from topological linkages

This page was built for publication: Abstract modelling of tethered DNA circuits

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