A Model Checking Approach to the Parameter Estimation of Biochemical Pathways. - Robin Donaldson; David R. Gilbert (CMSB, 2008)

An Introduction to BioModel Engineering, Illustrated for Signal Transduction Pathways. - David R. Gilbert; Rainer Breitling; Monika Heiner; Robin Donaldson (Workshop on Membrane Computing, 2008)

Petri Nets for Systems and Synthetic Biology. - Monika Heiner; David R. Gilbert; Robin Donaldson (SFM, 2008)

From species to pathway and tissue as process. - Muffy Calder; Oana Andrei; Andrea Degasperi; Robin Donaldson (CMSB, 2010)

Understanding signalling networks as collections of signal transduction pathways. - Robin Donaldson; Carolyn L. Talcott; Merrill Knapp; Muffy Calder (CMSB, 2010)

Modelling and Analysis of Biochemical Signalling Pathway Cross-talk - Robin Donaldson; Muffy Calder (FBTC, 2010)

Biomodel Engineering - From Structure to Behavior. - Rainer Breitling; Robin Donaldson; David R. Gilbert; Monika Heiner (Trans. Comp. Sys. Biology, 2010)

Modular modelling of signalling pathways and their cross-talk. - Robin Donaldson; Muffy Calder (Theor. Comput. Sci., 2012)

Modelling and analysis of structure in cellular signalling systems. - Robin Donaldson (2012)

Inferring Executable Models from Formalized Experimental Evidence. - Vivek Nigam; Robin Donaldson; Merrill Knapp; Tim McCarthy; Carolyn L. Talcott (CMSB, 2015)