Browse by Research Project Code
Up a level |
Degasperi, A. and Calder, M. (2013) A process algebra framework for multi-scale modelling of biological systems. Theoretical Computer Science, 488, pp. 15-45. (doi: 10.1016/j.tcs.2013.03.018)
Calder, M. and Degasperi, A. (2010) Relating PDEs in Cylindrical Coordinates and CTMCs with Levels of Concentration. Electronic Notes in Theoretical Computer Science, 268, pp. 49-59. (doi: 10.1016/j.entcs.2010.12.005)
Andrei, O. and Calder, M. (2010) A model and analysis of the AKAP scaffold. Electronic Notes in Theoretical Computer Science, 268, pp. 3-15. (doi: 10.1016/j.entcs.2010.12.002)
Calder, M. , Gilmore, S., Hillston, J. and Vyshemirsky, V. (2009) Formal methods for biochemical signalling pathways. In: Boca, P., Bowen, J. P. and Siddiqi, J. (eds.) Formal Methods: State of the Art and New Directions. Springer, pp. 185-215. ISBN 9781848827356