Modelling and verification for DNA nanotechnology by Dannenberg, F

Computing Cumulative Rewards using Fast Adaptive Uniformisation by Dannenberg, F, Hahn, E, Kwiatkowska, M

Precise Parameter Synthesis for Stochastic Biochemical Systems by Češka, M, Dannenberg, F, Kwiatkowska, M, Paoletti, N

DNA walker circuits: computational potential‚ design‚ and verification by Dannenberg, F, Kwiatkowska, M, Thachuk, C, Turberfield, A

DNA Walker Circuits: Computational Potential, Design, and Verification by Dannenberg, F, Kwiatkowska, M, Thachuk, C, Turberfield, A

Precise Parameter Synthesis for Stochastic Biochemical Systems by Češka, M, Dannenberg, F, Kwiatkowska, M, Paoletti, N

Precise Parameter Synthesis for Stochastic Biochemical Systems by Ceska, M, Dannenberg, F, Kwiatkowska, M, Paoletti, N

Precise parameter synthesis for stochastic biochemical systems by Kwiatkowska, M, Ceska, M, Dannenberg, F, Paoletti, N, Brim, L

Modelling DNA origami self-assembly at the domain level. by Dannenberg, F, Dunn, K, Bath, J, Kwiatkowska, M, Turberfield, A, Ouldridge, T

Guiding the folding pathway of DNA origami. by Dunn, K, Dannenberg, F, Ouldridge, T, Kwiatkowska, M, Turberfield, A, Bath, J

Guiding the folding pathway of DNA origami by Dunn, KE, Dannenberg, F, Ouldridge, TE, Kwiatkowska, M, Turberfield, AJ, Bath, J

Modelling DNA origami self-assembly at the domain level by Dannenberg, F, Dunn, KE, Bath, J, Kwiatkowska, M, Turberfield, AJ, Ouldridge, TE