Preprints

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

• Machine learning augmented diagnostic testing to identify sources of variability in test performance
  Banks, C.J., Sanchez, A., Stewart, V., Bowen, K., Smith, G., Kao, R.R., (2024) (preprint, in submission)
• Assessing the potential impact of environmental land management schemes on emergent infection disease risks
  Banks, C.J., Simpson, K., Hanley, N., Kao, R.R., (2023) (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

• Deep Learning Can be Used to Classify the Disease Status of the Canine Middle Ear From Computed Tomographic Images
  Zhao, Z., Mac Aodha, O., Daniel, C., Israeliantz, N., Orekhova, A., Schwarz, T., Mellanby, R., Banks, C.J.* (2025)
  Veterinary Radiology and Ultrasound
• 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., (2024)
  Epidemics
• 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