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
3712008
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
1062008
A Monte Carlo model checker for probabilistic LTL with numerical constraints
R Donaldson, D Gilbert
Dept. Comput. Sci., Univ. Glasgow, Glasgow, UK, Tech. Rep. TR-2008-282, 2008
382008
Petri nets for systems biology
M Heiner, R Donaldson, D Gilbert
Symbolic Systems Biology: Theory and Methods. Jones and Bartlett Publishers …, 2010
262010
Biomodel engineering–from structure to behavior
R Breitling, RA Donaldson, DR Gilbert, M Heiner
Transactions on Computational Systems Biology XII, 1-12, 2010
232010
An introduction to biomodel engineering, illustrated for signal transduction pathways
D Gilbert, R Breitling, M Heiner, R Donaldson
International Workshop on Membrane Computing, 13-28, 2008
172008
Modular modelling of signalling pathways and their cross-talk
R Donaldson, M Calder
Theoretical Computer Science 456, 30-50, 2012
162012
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), 313, 2016
152016
Modelling and analysis of biochemical signalling pathway cross-talk
R Donaldson, M Calder
arXiv preprint arXiv:1002.4062, 2010
152010
Petri nets for systems biology, chapter 3
M Heiner, R Donaldson, D Gilbert
Symbolic systems biology: theory and methods. Jones and Bartlett Publishers …, 2010
112010
Inferring executable models from formalized experimental evidence
V Nigam, R Donaldson, M Knapp, T McCarthy, C Talcott
International Conference on Computational Methods in Systems Biology, 90-103, 2015
92015
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
72010
Petri nets in systems and synthetic biology In: Formal Methods for Computational Systems Biology, SFM 2008.(LNCS, Vol. 5016)
M Heiner, D Gilbert, R Donaldson
Berlin-Heidelberg: Springer, 2008
52008
Schools on Formal Methods (SFM); LNCS 5016
M Heiner, D Gilbert, R Donaldson
Springer, 2008
3*2008
Modelling and analysis of structure in cellular signalling systems
R Donaldson
University of Glasgow, 2012
12012
High Throughput Computational Mouse Genetic Analysis
A Arslan, Y Guan, X Chen, W Zhu, M Wu, M Zheng, DL Dill, G Peltz, ...
bioRxiv, 2020
2020
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
Biomodel Engineering-From Structure to Behavior
M Heiner, R Breitling, RA Donaldson, DR Gilbert
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–19