Browse by Research Project Code

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0

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)

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. 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)

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

This list was generated on Fri Dec 6 10:09:05 2019 GMT.