Research output per year
Research output per year
Fingerprint
Dive into the research topics where Chris Banks is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
-
VerC3: A Library for Explicit State Synthesis of Concurrent Systems
Elver, M., Banks, C., Jackson, P. & Nagarajan, V., 23 Apr 2018, Design, Automation, and Test in Europe, Topic E2: Compilers and Software Synthesis. Dresden, Germany: Institute of Electrical and Electronics Engineers (IEEE), p. 1375-1380 6 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
Verification of a lazy cache coherence protocol against a weak memory model
Banks, C., Elver, M., Hoffmann, R., Sarkar, S., Jackson, P. & Nagarajan, V., 2 Oct 2017, The 17th Conference on Formal Methods in Computer-Aided Design (FMCAD 2017). Vienna, Austria: FMCAD Inc, p. 60-67 8 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
Functional transcription factor target discovery via compendia of binding and expression profiles
Banks, C. J., Joshi, A. & Michoel, T., 2016, In: Scientific Reports. 6, 10 p., 20649.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
Analysis of a Post-translational Oscillator Using Process Algebra and Spatio-temporal Logic
Banks, C., Seaton, D. D. & Stark, I., 2015, Computational Methods in Systems Biology: 13th International Conference, CMSB 2015, Nantes, France, September 16-18, 2015, Proceedings. Springer International Publishing, p. 222-238 17 p. (Lecture Notes in Computer Science; vol. 9308).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
A logic of behaviour in context
Banks, C. J. & Stark, I., 1 Jan 2014, In: Information and Computation. 236, p. 3-18 16 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile