Christopher J. Banks 个人学术档案

引用次数

	总计	2019 年至今
引用	89	67
h 指数	6	6
i10 指数	3	2

2010201120122013201420152016201720182019202020212022202320241 1 1 3 1 4 11 4 13 9 22 15 4

开放获取的出版物数量

查看全部

7 篇文章

0 篇文章

可查看的文章

无法查看的文章

根据资助方的强制性开放获取政策

合著作者

Ian StarkLaboratory for Foundations of Computer Science, School of Informatics, University of Edinburgh在 ed.ac.uk 的电子邮件经过验证
Rowland KaoProfessor of Veterinary Epidemiology and Data Science, University of Edinburgh在 ed.ac.uk 的电子邮件经过验证
Jessica EnrightUniversity of Glasgow在 glasgow.ac.uk 的电子邮件经过验证
Anne-Sophie RugetUniversity of Edinburgh在 sms.ed.ac.uk 的电子邮件经过验证
Gianluigi RossiThe Roslin Institute & EPIC, University of Edinburgh在 ed.ac.uk 的电子邮件经过验证
Gael BeaunéeINRAE, Oniris, BIOEPAR, 44300, Nantes, France在 inrae.fr 的电子邮件经过验证
Vijay NagarajanProfessor, University of Utah在 cs.utah.edu 的电子邮件经过验证
Marco ElverGoogle在 google.com 的电子邮件经过验证
Mark arnoldLead mathematical modeller, Animal and Plant Health Agency在 apha.gov.uk 的电子邮件经过验证
Adam KleczkowskiUniversity of Strathclyde在 strath.ac.uk 的电子邮件经过验证
Katherine E. AtkinsProfessor (LSHTM) & Reader/Chancellor's Fellow (University of Edinburgh)在 ed.ac.uk 的电子邮件经过验证
Ewan ColmanUniversity of Bristol在 ed.ac.uk 的电子邮件经过验证
Anagha JoshiProfessor, University of Bergen, Norway在 uib.no 的电子邮件经过验证
Tom MichoelComputational Biology Unit, Department of Informatics, University of Bergen在 uib.no 的电子邮件经过验证
Ruth HoffmannSchool of Computer Science, University of St Andrews在 st-andrews.ac.uk 的电子邮件经过验证
Susmit SarkarProfessor of Computer Science, University of St Andrews在 st-andrews.ac.uk 的电子邮件经过验证
Theo PeplerResearch Scientist, SBOHVM, University of Glasgow在 glasgow.ac.uk 的电子邮件经过验证
Jane HillstonProfessor of Quantitative Modelling, University of Edinburgh在 ed.ac.uk 的电子邮件经过验证
Anastasis GeorgoulasUniversity College London在 ucl.ac.uk 的电子邮件经过验证
Dimitrios MiliosPost Doctoral Fellow, EURECOM在 eurecom.fr 的电子邮件经过验证

关注

Christopher J. Banks

University of Edinburgh

在 ed.ac.uk 的电子邮件经过验证 - 首页

Computer Science Process Modelling Epidemiology Formal Methods Data Science


标题按引用次数排序按年份排序按标题排序	引用次数引用次数	年份
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	12	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	12	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	8	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
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
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

系统目前无法执行此操作，请稍后再试。

文章 1–17

每年引用数

重复的引用

合并的引用

添加合著者合著作者

上传 PDF

关注此作者

引用次数

合著作者

引用