Mark D. Ryan 个人学术档案 - 学术资源搜索

引用次数

	总计	2019 年至今
引用	10822	2569
h 指数	47	25
i10 指数	129	53

700

350

175

525

1993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202445 19 66 41 59 69 70 73 86 77 188 191 245 276 354 386 427 436 561 570 580 623 632 627 683 568 489 533 466 428 481 167

开放获取的出版物数量

查看全部

23 篇文章

1 篇文章

可查看的文章

无法查看的文章

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

合著作者

Steve KremerInria在 inria.fr 的电子邮件经过验证
Eike RitterSenior Lecturer in Computer Science, University of Birmingham, UK在 cs.bham.ac.uk 的电子邮件经过验证
Stéphanie DelauneUniv Rennes, CNRS, IRISA在 irisa.fr 的电子邮件经过验证
Pierre Yves SchobbensProfessor of Computer Science, University of Namur (FUNDP)在 unamur.be 的电子邮件经过验证
Myrto ArapinisSchool of Informatics, University of Edinburgh在 inf.ed.ac.uk 的电子邮件经过验证
Liqun ChenProfessor, University of Surrey, UK在 surrey.ac.uk 的电子邮件经过验证
Ben SmythFounder-CEO, x26.io在 bensmyth.com 的电子邮件经过验证
Michael HuthProfessor of Computer Science, Computing, Imperial College London在 imperial.ac.uk 的电子邮件经过验证
Dimitar P. GuelevAssociate Professor of Logic, Bulgarian Academy of Sciences在 math.bas.bg 的电子邮件经过验证
Jiangshan Yu (于江山)Associate Professor, University of Sydney在 sydney.edu.au 的电子邮件经过验证
Alessio R LomuscioImperial College London在 imperial.ac.uk 的电子邮件经过验证
Loretta Ilaria ManciniUniversity of Birmingham在 cs.bham.ac.uk 的电子邮件经过验证
Vincent ChevalUniversity of Oxford, United Kingdom在 cs.ox.ac.uk 的电子邮件经过验证
Gurchetan GrewalSecurity Architect at Jaguar Land Rover在 jaguarlandrover.com 的电子邮件经过验证
Peter RyanProfessor of applied security, university of luxembourg在 uni.lu 的电子邮件经过验证
Sergiu Bursucpostdoctoral researcher, University of Luxembourg在 uni.lu 的电子邮件经过验证
Tom ChothiaUniversity of Birmingham在 cs.bham.ac.uk 的电子邮件经过验证
Michael FisherProfessor of Computer Science, University of Manchester在 manchester.ac.uk 的电子邮件经过验证
Jia LiuResearcher at Enya Labs在 enya.ai 的电子邮件经过验证
Hajnal AndrekaRenyi Institute of Mathematics, Hungarian Academy of Sciences 在 renyi.mta.hu 的电子邮件经过验证

关注

Mark D. Ryan

Professor of Computer Security, University of Birmingham

在 cs.bham.ac.uk 的电子邮件经过验证

Computer Security Trusted Computing Electronic Voting Cryptographic Protocols Formal Methods


标题按引用次数排序按年份排序按标题排序	引用次数引用次数	年份
Logic in Computer Science: Modelling and reasoning about systems M Huth, M Ryan Cambridge Univ Pr, 2004	2455	2004
Verifying properties of electronic voting protocols S Delaune in " Proceedings of the IAVoSS Workshop On Trustworthy Elections (WOTE’06, 2006	437*	2006
Cloud computing security: The scientific challenge, and a survey of solutions MD Ryan Journal of Systems and Software 86 (9), 2263-2268, 2013	368	2013
Analysis of an electronic voting protocol in the applied pi calculus S Kremer, M Ryan European Symposium on Programming, 186-200, 2005	333	2005
Cloud computing privacy concerns on our doorstep MD Ryan Communications of the ACM 54 (1), 36-38, 2011	279	2011
Election verifiability in electronic voting protocols S Kremer, M Ryan, B Smyth Computer Security–ESORICS 2010: 15th European Symposium on Research in …, 2010	246	2010
Symbolic model checking for probabilistic processes C Baier, EM Clarke, V Hartonas-Garmhausen, M Kwiatkowska, M Ryan Automata, Languages and Programming: 24th International Colloquium, ICALP'97 …, 1997	245	1997
New privacy issues in mobile telephony: fix and verification M Arapinis, L Mancini, E Ritter, M Ryan, N Golde, K Redon, R Borgaonkar Proceedings of the 2012 ACM conference on Computer and communications …, 2012	239	2012
Enhanced certificate transparency and end-to-end encrypted mail MD Ryan Cryptology ePrint Archive, 2013	232	2013
Coercion-resistance and receipt-freeness in electronic voting S Delaune, S Kremer, M Ryan 19th IEEE Computer Security Foundations Workshop (CSFW'06), 12 pp.-42, 2006	224	2006
Analysing unlinkability and anonymity using the applied pi calculus M Arapinis, T Chothia, E Ritter, M Ryan 2010 23rd IEEE computer security foundations symposium, 107-121, 2010	185	2010
Feature integration using a feature construct M Plath, M Ryan Science of Computer Programming 41 (1), 53-84, 2001	181	2001
Operators and laws for combining preference relations H Andréka, M Ryan, PY Schobbens Journal of logic and computation 12 (1), 13-53, 2002	162	2002
Evaluating access control policies through model checking N Zhang, M Ryan, DP Guelev Information Security: 8th International Conference, ISC 2005, Singapore …, 2005	154	2005
Weather information delivery systems and methods providing planning functionality and navigational tools M Ryan, J Fennell, J Pearson US Patent 7,185,044, 2007	147	2007
Logic in Computer Science: Modelling and Reasoning about Systems. Texts in Theoretical Computer Science M Huth, M Ryan Cambridge University Press,, 2004	139	2004
Sharing actions and attributes in modal action logic M Ryan, J Fiadeiro, T Maibaum Theoretical Aspects of Computer Software: International Conference TACS'91 …, 1991	138	1991
Software package requirements and procurement A Finkelstein, G Spanoudakis, M Ryan Proceedings of the 8th international workshop on software specification and …, 1996	124	1996
Rehabilitation after hip femoroacetabular impingement arthroscopy. M Wahoff, M Ryan Clinics in sports medicine 30 (2), 463-482, 2011	122	2011
Formalisms for multi-agent systems M d'Inverno, M Fisher, A Lomuscio, M Luck, M De Rijke, M Ryan, ... The Knowledge Engineering Review 12 (3), 315-321, 1997	118	1997

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

文章 1–20

每年引用数

重复的引用

合并的引用

添加合著者合著作者

上传 PDF

关注此作者

引用次数

合著作者

引用