Pages that link to "Item:Q3599194"
From MaRDI portal
The following pages link to On the Computational Power of Biochemistry (Q3599194):
Displaying 14 items.
- On the computational power of BlenX (Q1044845) (← links)
- Verifying polymer reaction networks using bisimulation (Q2003997) (← links)
- Time Complexity of Computation and Construction in the Chemical Reaction Network-Controlled Tile Assembly Model (Q2835714) (← links)
- Analyzing Oscillatory Behavior with Formal Methods (Q2937728) (← links)
- Universal Computation and Optimal Construction in the Chemical Reaction Network-Controlled Tile Assembly Model (Q2948407) (← links)
- Rule-Based Modeling of Transcriptional Attenuation at the Tryptophan Operon (Q3068849) (← links)
- Efficient Turing-Universal Computation with DNA Polymers (Q3070966) (← links)
- Turing universality of the Biochemical Ground Form (Q3550701) (← links)
- On the Computational Power of Biochemistry (Q3599194) (← links)
- A Port Graph Calculus for Autonomic Computing and Invariant Verification (Q5170279) (← links)
- An Abstract Machine for the Stochastic Bioambient calculus (Q5179430) (← links)
- A Process Model of Actin Polymerisation (Q5404079) (← links)
- Programming in Biomolecular Computation (Q5404089) (← links)
- Compositional reversible computation (Q6637582) (← links)
