Stochastic Modelling of the Kai-based Circadian Clock. - Chris J. Banks; Allan Clark; Anastasis Georgoulas; Stephen Gilmore; Jane Hillston; Dimitrios Milios; Ian Stark (PASM/PDMC, 2012)

A logic of behaviour in context. - Chris J. Banks; Ian Stark (Inf. Comput., 2014)

Analysis of a Post-translational Oscillator Using Process Algebra and Spatio-Temporal Logic. - Chris J. Banks; Daniel D. Seaton; Ian Stark (CMSB, 2015)

Spatio-temporal logic for the analysis of biochemical models - Chris J. Banks (2015)

A More Sensitive Context. - Chris J. Banks; Ian Stark (CoRR, 2017)