Christopher J. Banks
Cited by
Cited by
Functional transcription factor target discovery via compendia of binding and expression profiles
CJ Banks, A Joshi, T Michoel
Scientific reports 6 (1), 1-10, 2016
Verification of a lazy cache coherence protocol against a weak memory model
CJ Banks, M Elver, R Hoffmann, S Sarkar, P Jackson, V Nagarajan
2017 Formal Methods in Computer Aided Design (FMCAD), 60-67, 2017
A logic of behaviour in context
CJ Banks, I Stark
Information and Computation 236, 3-18, 2014
VerC3: A library for explicit state synthesis of concurrent systems
M Elver, CJ Banks, P Jackson, V Nagarajan
2018 Design, Automation & Test in Europe Conference & Exhibition (DATE …, 2018
Stochastic modelling of the Kai-based circadian clock
C Banks, A Clark, A Georgoulas, S Gilmore, J Hillston, D Milios, I Stark
Electronic Notes in Theoretical Computer Science 296, 43-60, 2013
Disentangling the roles of human mobility and deprivation on the transmission dynamics of COVID-19 using a spatially explicit simulation model.
CJ Banks, E Colman, T Doherty, O Tearne, ME Arnold, KE Atkins, D Balaz, ...
medRxiv, 2020
A more sensitive context
CJ Banks, I Stark
arXiv preprint arXiv:1702.03288, 2017
Analysis of a post-translational oscillator using process algebra and spatio-temporal logic
CJ Banks, DD Seaton, I Stark
International Conference on Computational Methods in Systems Biology, 222-238, 2015
Developing a social collaborative platform for a curriculum review process: A case study of an iterative component based model
A Smithies, C Banks
Proceedings of the European Conference on e-Learning, 532-539, 2009
Multi-species temporal network of livestock movements for disease spread
AS Ruget, G Rossi, PT Pepler, G Beaunée, CJ Banks, J Enright, RR Kao
Applied Network Science 6 (1), 1-20, 2021
Risk of COVID-19 Introduction into the Scottish Hebrides and Strategies for Control
AS Ruget, CJ Banks, J Enright, RR Kao
From Stronghold to Threshold: New Library and New Opportunities
G Walton, G Matthews
University Libraries and Space in the Digital World, 105-120, 2016
Spatio-temporal logic for the analysis of biochemical models
CJ Banks
The University of Edinburgh, 2015
Signal-LBC and posttranslational oscillators
C Banks, I Stark, D Seaton
Signal, 2013
A Logic of Behaviour in Context and the Continuous π-calculus
C Banks, I Stark
Behaviour, 2012
Exploring Variation in Biochemical Pathways with the Continuous π-Calculus
I Stark, M Kwiatkowski, C Banks
Temporal Logic for Systems Biology
C Banks
UK Research Reserve (UKRR) Final Report
T Stubbs, J Hosking, A Appleyard, C Banks, N Grindley, N Larch, D Yang
UKRR Project Data Master List
J Hosking, C Banks, D Yang
UKRR Partnership and Collaboration: Celebrating the achievements of UKRR 2007-2019
C Banks
The system can't perform the operation now. Try again later.
Articles 1–20