Dr Chris Banks

Core Scientist (Research Fellow)

Publications

VerC3: A Library for Explicit State Synthesis of Concurrent Systems (6 pages) 23 Apr 2018
DOI: https://doi.org/10.23919/DATE.2018.8342228
Research output: Contribution to Conference › Conference contribution (Published)
Verification of a lazy cache coherence protocol against a weak memory model (8 pages) 2 Oct 2017
DOI: https://doi.org/10.23919/FMCAD.2017.8102242
Research output: Contribution to Conference › Conference contribution (Published)
Functional transcription factor target discovery via compendia of binding and expression profiles (10 pages) 2016 In: Scientific Reports, vol. 6
DOI: https://doi.org/10.1038/srep20649
Research output: Contribution to Journal › Article (Published)
Analysis of a Post-translational Oscillator Using Process Algebra and Spatio-temporal Logic (17 pages) 2015
DOI: https://doi.org/10.1007/978-3-319-23401-4_19
Research output: › Conference contribution (Published)
A logic of behaviour in context (16 pages) 1 Jan 2014 In: Information and Computation, vol. 236, pp. 3-18
DOI: https://doi.org/10.1016/j.ic.2014.01.009
Research output: Contribution to Journal › Article (Published)
Stochastic Modelling of the Kai-based Circadian Clock (18 pages) 17 Sep 2012
DOI: https://doi.org/10.1016/j.entcs.2013.07.004
Research output: Contribution to Conference › Conference contribution (Published)

This article was published on 3 Aug, 2021