Dr Chris Banks
Core Scientist (Research Fellow)
Contact details
Address
- Street
-
The Roslin Institute
Easter Bush Campus
Midlothian - City
- Post code
- EH25 9RG
-
VerC3: A Library for Explicit State Synthesis of Concurrent Systems
(6 pages)
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)
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)
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)
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)
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)
DOI: https://doi.org/10.1016/j.entcs.2013.07.004
Research output: Contribution to Conference › Conference contribution (Published)