Functional Analysis of Large-Scale DNA Strand Displacement Circuits
From MaRDI portal
Publication:5168509
DOI10.1007/978-3-319-01928-4_14zbMath1409.68112OpenAlexW178825785MaRDI QIDQ5168509
Hillel Kugler, Youssef Hamadi, Andrew Phillips, Christoph M. Wintersteiger, Boyan Yordanov
Publication date: 7 July 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-01928-4_14
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (4)
Modular verification of chemical reaction network encodings via serializability analysis ⋮ A strand graph semantics for DNA-based computation ⋮ Synthesizing and Tuning Chemical Reaction Networks with Specified Behaviours ⋮ Formal semantics and verification of network-based biocomputation circuits
Uses Software
Cites Work
- Efficiently solving quantified bit-vector formulas
- Localized Hybridization Circuits
- Modelling, Simulating and Verifying Turing-Powerful Strand Displacement Systems
- Stochastic Satisfiability Modulo Theory: A Novel Technique for the Analysis of Probabilistic Hybrid Systems
- Termination Problems in Chemical Kinetics
- Temporal Verification of Reactive Systems: Response
- Leaderless Deterministic Chemical Reaction Networks
- Deterministic Function Computation with Chemical Reaction Networks
- Reachability Bounds for Chemical Reaction Networks and Strand Displacement Systems
- Space and Energy Efficient Computation with DNA Strand Displacement Systems
This page was built for publication: Functional Analysis of Large-Scale DNA Strand Displacement Circuits