Christopher J. Banks

Cited by

	All	Since 2019
Citations	96	74
h-index	6	6
i10-index	3	2

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

Public access

View all

7 articles

0 articles

available

not available

Based on funding mandates

Co-authors

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
Ian StarkLaboratory for Foundations of Computer Science, School of Informatics, University of EdinburghVerified email at ed.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
Ewan ColmanUniversity of BristolVerified email at ed.ac.uk
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
Anagha JoshiProfessor, University of Bergen, NorwayVerified email at uib.no
Tom MichoelComputational Biology Unit, Department of Informatics, University of BergenVerified email at uib.no
Theo PeplerLead Biostatistician, Robertson Centre for Biostatistics, University of GlasgowVerified email at glasgow.ac.uk
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
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	21	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	14	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	13	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	9	2020
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	7	2018
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
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
Bovine Tuberculosis in Britain: identifying signatures of polarisation and controversy on Twitter CJ Banks, J Enright, S Mohr, RR Kao arXiv preprint arXiv:2211.14234, 2022	2	2022
Spatio-temporal logic for the analysis of biochemical models CJ Banks The University of Edinburgh, 2015	2	2015
Risk of COVID-19 introduction into the Scottish Hebrides and strategies for control AS Ruget, CJ Banks, J Enright, RR Kao	1	2021
Modelling plausible scenarios for the Omicron SARS-CoV-2 variant from early-stage surveillance CJ Banks, E Colman, AJ Wood, T Doherty, RR Kao Epidemics, 100800, 2024		2024
Machine learning augmented diagnostic testing to identify sources of variability in test performance CJ Banks, A Sanchez, V Stewart, K Bowen, G Smith, RR Kao arXiv preprint arXiv:2404.03678, 2024		2024
Assessing the potential impact of environmental land management schemes on emergent infection disease risks CJ Banks, K Simpson, N Hanley, RR Kao arXiv preprint arXiv:2311.07735, 2023		2023
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

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

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors