Validating SMOS Ocean Surface Salinity in the Atlantic With Argo and Operational Ocean Model Data. - Christopher J. Banks; Christine Gommenginger; Meric Srokosz; Helen M. Snaith (IEEE Trans. Geosci. Remote. Sens., 2012)

Collaborative Planning with Encoding of Users' High-Level Strategies. - Joseph Kim; Christopher J. Banks; Julie A. Shah (AAAI, 2017)

Verification of a lazy cache coherence protocol against a weak memory model. - Christopher J. Banks; Marco Elver; Ruth Hoffmann; Susmit Sarkar; Paul B. Jackson; Vijay Nagarajan (FMCAD, 2017)

VerC3: A library for explicit state synthesis of concurrent systems. - Marco Elver; Christopher J. Banks; Paul B. Jackson; Vijay Nagarajan (DATE, 2018)

Benefits and Lessons Learned from the Sentinel-3 Tandem Phase. - Sébastien Clerc; Craig Donlon; Franck Borde; Nicolas Lamquin; Samuel E. Hunt; Dave Smith 001; Malcolm McMillan; Jonathan P. D. Mittaz; Emma Woolliams; Matthew L. Hammond; Christopher J. Banks; Thomas Moreau 002; et al. (Remote. Sens., 2020)

Multi-species temporal network of livestock movements for disease spread. - Anne-Sophie Ruget; Gianluigi Rossi; P. Theo Pepler; Gaël Beaunée; Christopher J. Banks; Jessica A. Enright; Rowland R. Kao (Appl. Netw. Sci., 2021)

Bovine Tuberculosis in Britain: identifying signatures of polarisation and controversy on Twitter. - Christopher J. Banks; Jessica A. Enright; Sibylle Mohr; Rowland R. Kao (CoRR, 2022)

Specification-Based Task Orchestration for Multi-Robot Aerial Teams. - Christopher J. Banks (2023)

Machine learning augmented diagnostic testing to identify sources of variability in test performance. - Christopher J. Banks; Aeron R. Sanchez; Vicki Stewart; Kate Bowen; Graham Smith; Rowland R. Kao (CoRR, 2024)