UNIVERSITY of GLASGOW

Computing at Glasgow University
 

Publications for 'Mr Robin Donaldson' ordered by Year. (4)

2010 2008

2010

Modelling and and Analysis of Biochemical Signalling Pathway Crosstalk.
Calder,M. Donaldson,R. [More Details].

Understanding Signalling Networks as Collections of Signal Transduction Pathways
Donaldson,R. Talcott,C. Knapp,M. Calder,M. ACM [More Details].

2008

Petri Nets for Systems and Synthetic Biology.
Heiner,M. Gilbert,D.R.
Donaldson,R. In M Bernardo, P Degano, and G Zavattaro (Eds.): SFM 2008, Springer LNCS 5016, 2008. pp 215–264 Springer [More Details].

A Monte Carlo Model Checker for Probabilistic LTL with Numerical Constraints
Donaldson,R. Gilbert,D. DCS Technical Report Series Dept of Computing Science, University of Glasgow [More Details].