Pages that link to "Item:Q5168496"
From MaRDI portal
The following pages link to DNA Walker Circuits: Computational Potential, Design, and Verification (Q5168496):
Displayed 9 items.
- Modular verification of chemical reaction network encodings via serializability analysis (Q288812) (← links)
- Formal semantics and verification of network-based biocomputation circuits (Q2234096) (← links)
- Robust biomolecular finite automata (Q2306018) (← links)
- Precise parameter synthesis for stochastic biochemical systems (Q2407983) (← links)
- Chemical Reaction Network Designs for Asynchronous Logic Circuits (Q2835704) (← links)
- On Quantitative Modelling and Verification of DNA Walker Circuits Using Stochastic Petri Nets (Q2941140) (← links)
- Automated Design and Verification of Localized DNA Computation Circuits (Q2948415) (← links)
- Robust Combinatorial Circuits in Chemical Reaction Networks (Q5055985) (← links)
- Computing Cumulative Rewards Using Fast Adaptive Uniformization (Q5270731) (← links)