Two-domain DNA strand displacement

MaRDI QIDQ5151017zbMATH OpenFDO

Authors Luca Cardelli

Publication date 16 February 2021

Full work available at URL http://eptcs.web.cse.unsw.edu.au/paper.cgi?DCM2010.5

Mathematics Subject Classification ID

Biologically inspired models of computation (DNA computing, membrane computing, etc.) (68Q07)

Recommendations

• Two-domain DNA strand displacement
• Modular verification of DNA strand displacement networks via serializability analysis
• Leakless DNA strand displacement systems
• Modelling, simulating and verifying Turing-powerful strand displacement systems
• The design space of strand displacement cascades with toehold-size clamps

Cited in

(6)

• Reachability bounds for chemical reaction networks and strand displacement systems
• Two-domain DNA strand displacement
• In vitro implementation of a stack data structure based on DNA strand displacement
• Leakless DNA strand displacement systems
• Modular verification of DNA strand displacement networks via serializability analysis
• Chemical reaction network designs for asynchronous logic circuits

This page was built for publication: Two-domain DNA strand displacement

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