Preprints

Recent papers in preprint — either in submission or being prepared for submission:

• Modelling plausible scenarios for the Omicron SARS-CoV-2 variant from early-stage surveillance
  Banks, C.J., Colman, E., Wood, A., Doherty, T., Kao, R.R., (2022) (preprint)
• Bovine Tuberculosis in Britain: identifying signatures of polarisation and controversy on Twitter
  Banks, C.J., Enright, J., Mohr, S., Kao, R.R., (2022) (preprint)
• Risk of COVID-19 Introduction into the Scottish Hebrides and Strategies for Control
  Ruget, A.-S., Banks, C.J., Enright, J., Kao, R.R., (2021) (preprint)
  

Peer-reviewed

For full detail see ORCiD: https://orcid.org/0000-0001-7650-1598

• Analysis of Escherichia coli O157 strains in cattle and humans between Scotland and England & Wales: implications for human health
  Chase-Topping, M., Dallman, T.J., Allison, L., Lupolova, N., Matthews, L., Mitchell, S., Banks, C.J., Prentice, J., Brown, H., Tongue, S., Henry, M., Evans, J., Gunn, G., Hoyle, D., McNeilly, T.N., Fitzgerald, S., Smith-Palmer, A., Shaaban, S., Holmes, A., Hanson, M., Woolhouse, M., Didelot, X., Jenkins, C., Gally, D.L., (2023)
  Microbial Genomics
• SCoVMod – a spatially explicit mobility and deprivation adjusted model of first wave COVID-19 transmission dynamics
  Banks, C.J., Colman, E., Doherty, T., Tearne, O., Arnold, M., Atkins, K., Balaz, D., Beaunée, G., Bessell, P., Enright, J., Kleczkowski, A., Rossi, G., Ruget, A.-S., Kao, R.R., (2022)
  Wellcome Open Research
• Multi-species temporal network of livestock movements for disease spread
  Ruget, A.-S., Rossi, G., Pepler, T., Beaunée, G., Banks, C.J., Enright, J., Kao, R.R., (2021)
  Applied Network Science
• VerC3: A Library for Explicit State Synthesis of Concurrent Systems
  Elver, M., Banks, C.J., Jackson, P., Nagarajan, J., (2018)
  In Proceedings of Design, Automation and Test in Europe
• Verification of a lazy cache coherence protocol against a weak memory model
  Banks, C.J., Elver, M., Hoffmann, R., Sarker, S., Jackson, P., and Nagarajan, V., (2017)
  In Proceedings of Formal Methods in Computer-Aided Design
• Functional transcription factor target discovery via compendia of binding and expression profiles
  Banks, C.J., Joshi, A., and Michoel, T., (2016)
  Scientific Reports
• Analysis of a Post-translational Oscillator Using Process Algebra and Spatio-temporal Logic
  Banks, C.J., Seaton, D.D., and Stark, I., (2015)
  In Proceedings of Computational Methods for Systems Biology (CMSB)
• A Logic of Behaviour in Context
  Banks, C.J., and Stark, I., (2014)
  Information and Computation
• Stochastic Modelling of the Kai-based Circadian Clock
  Clark, A., Gilmore, S., Georgoulas, A., Hillston, J., Stark, I., Banks, C.J., and Milios, D., (2012)
  In Proceedings of Practical Applications of Stochastic Modelling (PASM)
• Developing a Social Collaborative Platform for a Curriculum Review Process: a Case Study of an Iterative Component Based Method
  Smithies A. and Banks C.J., (2009)
  In Proceedings of 8th European Conference on e-Learning