Christopher J. Banks

According to our database, Christopher J. Banks authored at least 8 papers between 2012 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Specification-Based Task Orchestration for Multi-Robot Aerial Teams.

Christopher J. Banks

PhD thesis, 2023

2022

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

2021

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

2020

Benefits and Lessons Learned from the Sentinel-3 Tandem Phase.

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

Remote. Sens., 2020

2018

VerC3: A library for explicit state synthesis of concurrent systems.

Marco Elver, Christopher J. Banks, Paul B. Jackson, Vijay Nagarajan

Proceedings of the 2018 Design, Automation & Test in Europe Conference & Exhibition, 2018

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

Proceedings of the 2017 Formal Methods in Computer Aided Design, 2017

Collaborative Planning with Encoding of Users' High-Level Strategies.

Joseph Kim, Christopher J. Banks, Julie A. Shah

Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

2012

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