2 citations · 4 across the 4 of their papers we have counts for
4 papers
Bovine Tuberculosis in Britain: identifying signatures of polarisation and controversy on Twitter
Christopher J. Banks, Jessica Enright, Sibylle Mohr +1
Approaches to disease control are influenced by and reflected in public opinion, and the two are intrinsically entwined. Bovine tuberculosis (bTB) in British cattle and badgers is…
Modelling plausible scenarios for the Omicron SARS-CoV-2 variant from early-stage surveillance
Christopher J. Banks, Ewan Colman, Anthony Wood +2
We used a spatially explicit agent-based model of SARS-CoV-2 transmission combined with spatially fine-grained COVID-19 observation data from Public Health Scotland to investigate…
Verification of a lazy cache coherence protocol against a weak memory model
Christopher J. Banks, Marco Elver, Ruth Hoffmann +3
In this paper we verify a modern lazy cache coherence protocol, TSO-CC, against the memory consistency model it was designed for, TSO. We achieve this by first showing a weak simul…
A More Sensitive Context
Christopher J. Banks, Ian Stark
Logic of Behaviour in Context (LBC) is a spatio-temporal logic for expressing properties of continuous-state processes, such as biochemical reaction networks. LBC builds on the exi…