Chris Banks
Research Associate
Informatics
The University of Edinburgh
United Kingdom
Biography
Chris Banks Position Research Associate
Research Interest
Informatics
Publications
-
Verification of a lazy cache coherence protocol against a weak memory model
-
Functional transcription factor target discovery via compendia of binding and expression profiles
-
Analysis of a Post-translational Oscillator Using Process Algebra and Spatio-temporal Logic
