The following pages link to Formal molecular biology (Q1884864):
Displaying 8 items.
- A strand graph semantics for DNA-based computation (Q288814) (← links)
- Model checking the evolution of gene regulatory networks (Q1683930) (← links)
- A unified framework for differential aggregations in Markovian process algebra (Q2258842) (← links)
- Comparing chemical reaction networks: a categorical and algorithmic perspective (Q2422009) (← links)
- Towards Measurable Types for Dynamical Process Modeling Languages (Q3178249) (← links)
- Turing universality of the Biochemical Ground Form (Q3550701) (← links)
- On the Computational Power of Biochemistry (Q3599194) (← links)
- A Process Model of Actin Polymerisation (Q5404079) (← links)
