Login / Signup
Chris J. Banks
ORCID
Publication Activity (10 Years)
Years Active: 2013-2017
Publications (10 Years): 2
Top Topics
Temporal Logic
Artificial Neural Networks
Process Algebra
Context Aware
Top Venues
CMSB
CoRR
Electron. Notes Theor. Comput. Sci.
Inf. Comput.
</>
Publications
</>
Chris J. Banks
,
Ian Stark
A More Sensitive Context.
CoRR
(2017)
Chris J. Banks
,
Daniel D. Seaton
,
Ian Stark
Analysis of a Post-translational Oscillator Using Process Algebra and Spatio-Temporal Logic.
CMSB
(2015)
Chris J. Banks
,
Ian Stark
A logic of behaviour in context.
Inf. Comput.
236 (2014)
Chris J. Banks
,
Allan Clark
,
Anastasis Georgoulas
,
Stephen Gilmore
,
Jane Hillston
,
Dimitrios Milios
,
Ian Stark
Stochastic Modelling of the Kai-based Circadian Clock.
Electron. Notes Theor. Comput. Sci.
296 (2013)