Research output per year
Research output per year
Fingerprint
Dive into the research topics where Chris Banks is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Analysis of E. coli O157 strains in cattle and humans between Scotland and England & Wales: implications for human health
Chase-Topping, M., Dallman, T., Allison, L., Lupolova, N., Matthews, L., Mitchell, S., Banks, C., Prentice, J., Brown, H., Tongue, S., Henry, M. K., Evans, J., Gunn, G., Hoyle, D., McNeilly, T. N., Fitzgerald, S., Smith-Palmer, A., Shaaban, S., Holmes, A., Hanson, M., & 4 others, Sept 2023, In: Microbial Genomics. 9, 9, p. 1-12 12 p., 001090.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
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. E., Balaz, D., Beaunée, G., Bessell, P. R., Enright, J., Kleczkowski, A., Rossi, G., Ruget, A-S. & Kao, R. R., 26 May 2022, In: Wellcome Open Research. 7, 161, p. 1-20 161.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
Multi-species temporal network of livestock movements for disease spread
Ruget, A-S., Rossi, G., Pepler, P. T., Beaunée, G., Banks, C. J., Enright, J. & Kao, R. R., Dec 2021, In: Applied Network Science. 6, 1, 15.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
VerC3: A Library for Explicit State Synthesis of Concurrent Systems
Elver, M., Banks, C., Jackson, P. & Nagarajan, V., 23 Apr 2018, Design, Automation, and Test in Europe, Topic E2: Compilers and Software Synthesis. Dresden, Germany: Institute of Electrical and Electronics Engineers (IEEE), p. 1375-1380 6 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
Verification of a lazy cache coherence protocol against a weak memory model
Banks, C., Elver, M., Hoffmann, R., Sarkar, S., Jackson, P. & Nagarajan, V., 2 Oct 2017, The 17th Conference on Formal Methods in Computer-Aided Design (FMCAD 2017). Vienna, Austria: FMCAD Inc, p. 60-67 8 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile
Projects
- 1 Active
-
IDG2023/28 - ECR2024 - Capability - Egg-Timer Development Through Training and Deep Learning
1/07/24 → 31/03/25
Project: Research