Christopher J. Banks

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 8

Top Topics

Lessons Learned

Number Of Test Cases

Clinical Diagnosis

Concurrent Systems

Top Venues

Publications

Christopher J. Banks, Aeron R. Sanchez, Vicki Stewart, Kate Bowen, Graham Smith, Rowland R. Kao
Machine learning augmented diagnostic testing to identify sources of variability in test performance. CoRR (2024)
Christopher J. Banks, Jessica A. Enright, Sibylle Mohr, Rowland R. Kao
Bovine Tuberculosis in Britain: identifying signatures of polarisation and controversy on Twitter. CoRR (2022)
Anne-Sophie Ruget, Gianluigi Rossi, P. Theo Pepler, Gaël Beaunée, Christopher J. Banks, Jessica A. Enright, Rowland R. Kao
Multi-species temporal network of livestock movements for disease spread. Appl. Netw. Sci. 6 (1) (2021)
Sébastien Clerc, Craig Donlon, Franck Borde, Nicolas Lamquin, Samuel E. Hunt, Dave Smith, Malcolm McMillan, Jonathan P. D. Mittaz, Emma Woolliams, Matthew L. Hammond, Christopher J. Banks, Thomas Moreau, Bruno Picard, Matthias Raynal, Pierre Rieu, Adrien Guérou
Benefits and Lessons Learned from the Sentinel-3 Tandem Phase. Remote. Sens. 12 (17) (2020)
Marco Elver, Christopher J. Banks, Paul B. Jackson, Vijay Nagarajan
VerC3: A library for explicit state synthesis of concurrent systems. DATE (2018)
Christopher J. Banks, Marco Elver, Ruth Hoffmann, Susmit Sarkar, Paul B. Jackson, Vijay Nagarajan
Verification of a lazy cache coherence protocol against a weak memory model. CoRR (2017)
Joseph Kim, Christopher J. Banks, Julie A. Shah
Collaborative Planning with Encoding of Users' High-Level Strategies. AAAI (2017)
Christopher J. Banks, Marco Elver, Ruth Hoffmann, Susmit Sarkar, Paul B. Jackson, Vijay Nagarajan
Verification of a lazy cache coherence protocol against a weak memory model. FMCAD (2017)
Christopher J. Banks, Christine Gommenginger, Meric Srokosz, Helen M. Snaith
Validating SMOS Ocean Surface Salinity in the Atlantic With Argo and Operational Ocean Model Data. IEEE Trans. Geosci. Remote. Sens. 50 (5-1) (2012)