Bill Roscoe (A.W. Roscoe)

Cited by

	All	Since 2016
Citations	15449	2337
h-index	52	20
i10-index	135	41

780

390

195

585

198519861987198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202166 59 114 140 170 190 246 251 275 210 256 278 268 293 379 431 424 465 554 539 717 669 628 612 686 780 604 664 703 564 545 552 479 479 460 356 7

Co-authors

Michael GoldsmithAssociate Professor and Senior Research Fellow, Cybersecurity Analytics Group, Department ofVerified email at cs.ox.ac.uk
Tony (C.A.R.) HoarePrincipal Researcher, Microsoft Research; Emeritus Professor, University of Oxford; GriffithVerified email at griffith.edu.au
Ranko LazicDepartment of Computer Science, University of WarwickVerified email at warwick.ac.uk
Peter RyanProfessor of applied security, university of luxembourgVerified email at uni.lu
Sadie CreeseProfessor of CybersecurityVerified email at cs.ox.ac.uk
Thomas Gibson-RobinsonDepartment of Computer Science, University of OxfordVerified email at cs.ox.ac.uk
Steve SchneiderDirector of Surrey Centre for Cyber Security; Professor of Computing, University of SurreyVerified email at surrey.ac.uk
Joel OuaknineDirector, Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusVerified email at mpi-sws.org
Ivan FlechaisUniversity of OxfordVerified email at cs.ox.ac.uk
T. Yung Kong (Tat Yung Kong)Professor of Computer Science, Queens College of the City University of New YorkVerified email at euclid.cs.qc.cuny.edu
Alexandre BoulgakovDepartment of Computer Science, University of OxfordVerified email at cs.ox.ac.uk
James WorrellProfessor of Computer Science, Oxford UniversityVerified email at cs.ox.ac.uk
Ian James HayesProfessor of Software Engineering, The University of QueenslandVerified email at itee.uq.edu.au
Carroll MorganProfessor, University of New South Wales and DATA61Verified email at unsw.edu.au
Xin HuangTaiyuan University of TechnologyVerified email at huangstudio.org
Pedro AntoninoResearcher at The Blockhouse Technology LimitedVerified email at tbtl.com
Michael MisloveTulane UniversityVerified email at tulane.edu
Jim WoodcockProfessor of Software Engineering, University of YorkVerified email at york.ac.uk
Glynn WinskelUniversity of CambridgeVerified email at cl.cam.ac.uk
Hristina PalikarevaCiscoVerified email at cisco.com

Bill Roscoe (A.W. Roscoe)

Professor of Computer Science, Oxford University

Verified email at cs.ox.ac.uk - Homepage

concurrency verification security FinTech computer science


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
The Theory and Practice of Concurrency. international series in computer science AW Roscoe Prentice-Hall, 1997	2707*	1997
A theory of communicating sequential processes SD Brookes, CAR Hoare, AW Roscoe Journal of the ACM (JACM) 31 (3), 560-599, 1984	1701	1984
Modelling and Analysis of Security Protocols: the CSP approach P Ryan, S Schneider, M Goldsmith, G Lowe, AW Roscoe Addison Wesley, 2001	766	2001
Laws of programming CAR Hoare, IJ Hayes, H Jifeng, CC Morgan, AW Roscoe, JW Sanders, ... Communications of the ACM 30 (8), 672-686, 1987	540	1987
Model− checking CSP B Roscoe A classical Mind, Essays in honour of C.A.R. Hoare, 1994	432	1994
A timed model for communicating sequential processes AW Roscoe, GM Reed Theoretical Computer Science 58, 1988	424	1988
Understanding concurrent systems AW Roscoe Springer-Verlag New York Inc, 2010	417	2010
An improved failures model for communicating processes SD Brookes, AW Roscoe International Conference on Concurrency, 281-305, 1984	352*	1984
The laws of occam programming AW Roscoe, CAR Hoare Theoretical Computer Science 60 (2), 177-229, 1988	321	1988
A timed model for communicating sequential processes GM Reed, AW Roscoe International Colloquium on Automata, Languages, and Programming, 314-323, 1986	319	1986
Modelling and verifying key-exchange protocols using CSP and FDR AW Roscoe Proceedings The Eighth IEEE Computer Security Foundations Workshop, 98-107, 1995	296	1995
Using CSP to detect errors in the TMN protocol G Lowe, AW Roscoe Software Engineering, IEEE Transactions on 23 (10), 659-669, 1997	279	1997
CSP and determinism in security modelling AW Roscoe Proceedings 1995 IEEE Symposium on Security and Privacy, 114-127, 1995	272	1995
FDR3—A Modern Refinement Checker for CSP T Gibson-Robinson, P Armstrong, A Boulgakov, AW Roscoe TACAS, 2014	247	2014
Star covering properties EK Van Douwen, GM Reed, AW Roscoe, IJ Tree Topology and its Applications 39 (1), 71-103, 1991	201	1991
A classical mind: essays in honour of CAR Hoare AW Roscoe	196*	1994
A theory of communicating sequential processes CAR Hoare, SD Brookes, AW ROSCOE Report PRG-16, Programming Research Group, Oxford, 1981	195*	1981
FDR2 User Manual MH Goldsmith, AW Roscoe, P Armstrong, P Gardiner, DM Jackson, ... Formal Systems (Europe) Ltd, 0	173*
Security and usability: Analysis and evaluation R Kainda, I Flechais, AW Roscoe 2010 International Conference on Availability, Reliability and Security, 275-282, 2010	165	2010
Hierarchical compression for model-checking CSP or how to check 10^20 dining philosophers for deadlock AW Roscoe, PHB Gardiner, MH Goldsmith, JR Hulance, DM Jackson, ... Tools and Algorithms for the Construction and Analysis of Systems, 133-152, 1995	165	1995

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

Upload PDF

Follow this author

Cited by

Co-authors