| Petri nets for systems and synthetic biology M Heiner, D Gilbert, R Donaldson International school on formal methods for the design of computer …, 2008 | 433 | 2008 |
| 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 | 121 | 2008 |
| Petri nets for systems biology M Heiner, R Donaldson, D Gilbert Symbolic Systems Biology: Theory and Methods. Jones and Bartlett Publishers …, 2010 | 52 | 2010 |
| 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 | 44 | 2008 |
| 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 | 27 | 2016 |
| 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 | 24 | 2010 |
| 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 | 20 | 2009 |
| Modular modelling of signalling pathways and their cross-talk R Donaldson, M Calder Theoretical Computer Science 456, 30-50, 2012 | 19 | 2012 |
| Modelling and analysis of biochemical signalling pathway cross-talk R Donaldson, M Calder arXiv preprint arXiv:1002.4062, 2010 | 15 | 2010 |
| 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 | 13 | 2015 |
| 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 | 12 | 2010 |
| 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 | 11 | 2008 |
| 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 | 8 | 2020 |
| Modelling and analysis of structure in cellular signalling systems R Donaldson University of Glasgow, 2012 | 2 | 2012 |
| 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 |
| J Crosnier, H. Kreis, JM Descamps, R Mansouri Service de Thérapeutique Nephrologique, Paris, France M Davis, R Williams, J Chakraborty, J English, V Marks, G Ideo, S Tempini, ... Pharmacology, 57, 1978 | | 1978 |
| An introduction to biomodel engineering, illustrated for signalling pathway R Breitling, D Gilbert, M Heiner, R Donaldson | | |
David GilbertProfessor of Computer Science, Brunel UniversityAdresse e-mail validée de brunel.ac.uk
