Articles with public access mandates - Christopher J. BanksLearn more
Available somewhere: 7
Functional transcription factor target discovery via compendia of binding and expression profiles
CJ Banks, A Joshi, T Michoel
Scientific reports 6 (1), 20649, 2016
Mandates: UK Biotechnology and Biological Sciences Research Council
Multi-species temporal network of livestock movements for disease spread
AS Ruget, G Rossi, PT Pepler, G Beaunée, CJ Banks, J Enright, RR Kao
Applied Network Science 6, 1-20, 2021
Mandates: UK Biotechnology and Biological Sciences Research Council
Verification of a lazy cache coherence protocol against a weak memory model
CJ Banks, M Elver, R Hoffmann, S Sarkar, P Jackson, V Nagarajan
2017 Formal Methods in Computer Aided Design (FMCAD), 60-67, 2017
Mandates: UK Engineering and Physical Sciences Research Council
Disentangling the roles of human mobility and deprivation on the transmission dynamics of COVID-19 using a spatially explicit simulation model
CJ Banks, E Colman, T Doherty, O Tearne, M Arnold, K Atkins, D Balaz, ...
medRxiv, 2020.11. 25.20144139, 2020
Mandates: UK Biotechnology and Biological Sciences Research Council, Wellcome Trust
VerC3: A library for explicit state synthesis of concurrent systems
M Elver, CJ Banks, P Jackson, V Nagarajan
2018 Design, Automation & Test in Europe Conference & Exhibition (DATE …, 2018
Mandates: UK Engineering and Physical Sciences Research Council
SCoVMod–a spatially explicit mobility and deprivation adjusted model of first wave COVID-19 transmission dynamics
CJ Banks, E Colman, T Doherty, O Tearne, M Arnold, KE Atkins, D Balaz, ...
Wellcome Open Research 7, 2022
Mandates: UK Biotechnology and Biological Sciences Research Council, Wellcome Trust
A logic of behaviour in context
CJ Banks, I Stark
Information and Computation 236, 3-18, 2014
Mandates: UK Engineering and Physical Sciences Research Council
Publication and funding information is determined automatically by a computer program