Christopher J. Banks

Cited by

	All	Since 2019
Citations	84	62
h-index	6	5
i10-index	3	2

2010201120122013201420152016201720182019202020212022202320241 1 1 3 1 4 11 4 13 9 21 12 3

Public access

View all

7 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Ian StarkLaboratory for Foundations of Computer Science, School of Informatics, University of EdinburghVerified email at ed.ac.uk
Rowland KaoProfessor of Veterinary Epidemiology and Data Science, University of EdinburghVerified email at ed.ac.uk
Jessica EnrightUniversity of GlasgowVerified email at glasgow.ac.uk
Anne-Sophie RugetUniversity of EdinburghVerified email at sms.ed.ac.uk
Gianluigi RossiThe Roslin Institute & EPIC, University of EdinburghVerified email at ed.ac.uk
Gael BeaunéeINRAE, Oniris, BIOEPAR, 44300, Nantes, FranceVerified email at inrae.fr
Vijay NagarajanProfessor, University of UtahVerified email at cs.utah.edu
Marco ElverGoogleVerified email at google.com
Mark arnoldLead mathematical modeller, Animal and Plant Health AgencyVerified email at apha.gov.uk
Adam KleczkowskiUniversity of StrathclydeVerified email at strath.ac.uk
Katherine E. AtkinsProfessor (LSHTM) & Reader/Chancellor's Fellow (University of Edinburgh)Verified email at ed.ac.uk
Ewan ColmanUniversity of BristolVerified email at ed.ac.uk
Anagha JoshiProfessor, University of Bergen, NorwayVerified email at uib.no
Tom MichoelComputational Biology Unit, Department of Informatics, University of BergenVerified email at uib.no
Ruth HoffmannSchool of Computer Science, University of St AndrewsVerified email at st-andrews.ac.uk
Susmit SarkarProfessor of Computer Science, University of St AndrewsVerified email at st-andrews.ac.uk
Theo PeplerResearch Scientist, SBOHVM, University of GlasgowVerified email at glasgow.ac.uk
Jane HillstonProfessor of Quantitative Modelling, University of EdinburghVerified email at ed.ac.uk
Anastasis GeorgoulasUniversity College LondonVerified email at ucl.ac.uk
Dimitrios MiliosPost Doctoral Fellow, EURECOMVerified email at eurecom.fr

Christopher J. Banks

University of Edinburgh

Verified email at ed.ac.uk - Homepage

Computer Science Process Modelling Epidemiology Formal Methods Data Science


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Functional transcription factor target discovery via compendia of binding and expression profiles CJ Banks, A Joshi, T Michoel Scientific reports 6 (1), 20649, 2016	20	2016
Multi-species temporal network of livestock movements for disease spread AS Ruget, G Rossi, PT Pepler, G Beaunée, CJ Banks, J Enright, RR Kao Applied Network Science 6, 1-20, 2021	11	2021
Verification of a lazy cache coherence protocol against a weak memory model CJ Banks, M Elver, R Hoffmann, S Sarkar, P Jackson, V Nagarajan 2017 Formal Methods in Computer Aided Design (FMCAD), 60-67, 2017	11	2017
Disentangling the roles of human mobility and deprivation on the transmission dynamics of COVID-19 using a spatially explicit simulation model CJ Banks, E Colman, T Doherty, O Tearne, M Arnold, K Atkins, D Balaz, ... medRxiv, 2020.11. 25.20144139, 2020	7	2020
SCoVMod–a spatially explicit mobility and deprivation adjusted model of first wave COVID-19 transmission dynamics CJ Banks, E Colman, T Doherty, O Tearne, M Arnold, KE Atkins, D Balaz, ... Wellcome open research 7, 2022	6	2022
VerC3: A library for explicit state synthesis of concurrent systems M Elver, CJ Banks, P Jackson, V Nagarajan 2018 Design, Automation & Test in Europe Conference & Exhibition (DATE …, 2018	6	2018
A logic of behaviour in context CJ Banks, I Stark Information and Computation 236, 3-18, 2014	6	2014
Stochastic modelling of the Kai-based circadian clock C Banks, A Clark, A Georgoulas, S Gilmore, J Hillston, D Milios, I Stark Electronic Notes in Theoretical Computer Science 296, 43-60, 2013	5	2013
Analysis of a post-translational oscillator using process algebra and spatio-temporal logic CJ Banks, DD Seaton, I Stark Computational Methods in Systems Biology: 13th International Conference …, 2015	4	2015
A more sensitive context CJ Banks, I Stark arXiv preprint arXiv:1702.03288, 2017	3	2017
Developing a social collaborative platform for a curriculum review process: A case study of an iterative component based method A Smithies, C Banks 8th European Conference on eLearning 2009, ECEL 2009, 532-539, 2009	3	2009
Risk of COVID-19 introduction into the Scottish Hebrides and strategies for control AS Ruget, CJ Banks, J Enright, RR Kao	1	2021
Spatio-temporal logic for the analysis of biochemical models CJ Banks The University of Edinburgh, 2015	1	2015
Signal-LBC and posttranslational oscillators C Banks, I Stark, D Seaton Signal, 2013		2013
A Logic of Behaviour in Context and the Continuous π-calculus C Banks, I Stark Behaviour, 2012		2012
Temporal Logic for Systems Biology C Banks		2011
Towards a logic of biochemical processes C Banks

The system can't perform the operation now. Try again later.

Articles 1–17

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors