2 citations · 4 across the 3 of their papers we have counts for
3 papers
cs.SI2022★ 1 cited
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…
cs.LO2017★ 1 cited
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…
cs.LO2017★ 2 cited
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…