Follow
Robin Donaldson
Robin Donaldson
Stanford University
Verified email at ecree.com
Title
Cited by
Cited by
Year
Petri nets for systems and synthetic biology
M Heiner, D Gilbert, R Donaldson
International school on formal methods for the design of computer …, 2008
4222008
A model checking approach to the parameter estimation of biochemical pathways
R Donaldson, D Gilbert
International Conference on Computational Methods in Systems Biology, 269-287, 2008
1172008
Petri nets for systems biology
M Heiner, R Donaldson, D Gilbert
Symbolic Systems Biology: Theory and Methods. Jones and Bartlett Publishers …, 2010
452010
A Monte Carlo model checker for probabilistic LTL with numerical constraints
R Donaldson, D Gilbert
Dept. of Computing Science, University of Glasgow, Research Report TR-2008-282, 2008
432008
The multiple PDZ domain protein Mpdz/MUPP1 regulates opioid tolerance and opioid-induced hyperalgesia
R Donaldson, Y Sun, DY Liang, M Zheng, P Sahbaie, DL Dill, G Peltz, ...
BMC genomics 17, 1-12, 2016
272016
Biomodel engineering–from structure to behavior
R Breitling, RA Donaldson, DR Gilbert, M Heiner
Transactions on Computational Systems Biology XII: Special Issue on Modeling …, 2010
242010
An introduction to biomodel engineering, illustrated for signal transduction pathways
D Gilbert, R Breitling, M Heiner, R Donaldson
Membrane Computing: 9th International Workshop, WMC 2008, Edinburgh, UK …, 2009
202009
Modular modelling of signalling pathways and their cross-talk
R Donaldson, M Calder
Theoretical Computer Science 456, 30-50, 2012
182012
Modelling and analysis of biochemical signalling pathway cross-talk
R Donaldson, M Calder
arXiv preprint arXiv:1002.4062, 2010
162010
Inferring executable models from formalized experimental evidence
V Nigam, R Donaldson, M Knapp, T McCarthy, C Talcott
Computational Methods in Systems Biology: 13th International Conference …, 2015
132015
Understanding signalling networks as collections of signal transduction pathways
R Donaldson, C Talcott, M Knapp, M Calder
Proceedings of the 8th International Conference on Computational Methods in …, 2010
122010
Petri nets for systems and synthetic biology, in ‘International School on Formal Methods for the Design of Computer, Communication and Software Systems’
M Heiner, D Gilbert, R Donaldson
Springer Berlin Heidelberg, 2008
112008
High throughput computational mouse genetic analysis
A Arslan, Y Guan, Z Fang, X Chen, R Donaldson, W Zhu, M Ford, M Wu, ...
BioRxiv, 2020.09. 01.278465, 2020
82020
Modelling and analysis of structure in cellular signalling systems
R Donaldson
University of Glasgow, 2012
22012
From species to pathway and tissue as process
M Calder, O Andrei, A Degasperi, R Donaldson
Proceedings of the 8th International Conference on Computational Methods in …, 2010
2010
An introduction to biomodel engineering, illustrated for signalling pathway
R Breitling, D Gilbert, M Heiner, R Donaldson
The system can't perform the operation now. Try again later.
Articles 1–16