Bill Roscoe (A.W. Roscoe)

Cited by

	All	Since 2018
Citations	16737	2274
h-index	56	19
i10-index	144	38

900

450

225

675

19851986198719881989199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202376 44 112 120 147 217 270 240 288 217 258 284 241 300 405 415 441 464 570 569 757 652 644 616 704 883 621 672 680 574 554 571 500 502 479 399 404 405 85

Public access

View all

6 articles

2 articles

available

not available

Based on funding mandates

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
Alexandre BoulgakovDepartment of Computer Science, University of OxfordVerified email at cs.ox.ac.uk
Pedro AntoninoResearcher at The Blockhouse Technology LimitedVerified email at tbtl.com
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
Carroll MorganProfessor, University of New South Wales and DATA61Verified email at unsw.edu.au
James WorrellProfessor of Computer Science, Oxford UniversityVerified email at cs.ox.ac.uk
Xin HuangTaiyuan University of TechnologyVerified email at huangstudio.org
Ian James HayesProfessor of Software Engineering, The University of QueenslandVerified email at uq.edu.au
Michael MisloveTulane UniversityVerified email at tulane.edu
Jim WoodcockProfessor of Software Engineering, University of YorkVerified email at york.ac.uk
Hristina PalikarevaCiscoVerified email at cisco.com
Han LiuUniversity College Oxford Blockchain Research Centre, The Blockhouse Technology Ltd.Verified email at tbtl.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	2889*	1997
A theory of communicating sequential processes SD Brookes, CAR Hoare, AW Roscoe Journal of the ACM (JACM) 31 (3), 560-599, 1984	1801	1984
Modelling and Analysis of Security Protocols: the CSP approach P Ryan, S Schneider, M Goldsmith, G Lowe, AW Roscoe Addison Wesley, 2001	821	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	596	1987
Understanding concurrent systems AW Roscoe Springer-Verlag New York Inc, 2010	472	2010
Model− checking CSP B Roscoe A classical Mind, Essays in honour of C.A.R. Hoare, 1994	464	1994
A timed model for communicating sequential processes AW Roscoe, GM Reed Theoretical Computer Science 58, 1988	423	1988
An improved failures model for communicating processes SD Brookes, AW Roscoe International Conference on Concurrency, 281-305, 1984	377*	1984
A timed model for communicating sequential processes GM Reed, AW Roscoe Automata, Languages and Programming: 13th International Colloquium Rennes …, 1986	356	1986
The laws of occam programming AW Roscoe, CAR Hoare Theoretical Computer Science 60 (2), 177-229, 1988	334	1988
FDR3—A Modern Refinement Checker for CSP T Gibson-Robinson, P Armstrong, A Boulgakov, AW Roscoe TACAS, 2014	311	2014
Using CSP to detect errors in the TMN protocol G Lowe, AW Roscoe Software Engineering, IEEE Transactions on 23 (10), 659-669, 1997	304	1997
Modelling and verifying key-exchange protocols using CSP and FDR AW Roscoe Proceedings The Eighth IEEE Computer Security Foundations Workshop, 98-107, 1995	304	1995
CSP and determinism in security modelling AW Roscoe Proceedings 1995 IEEE Symposium on Security and Privacy, 114-127, 1995	291	1995
Star covering properties EK Van Douwen, GM Reed, AW Roscoe, IJ Tree Topology and its Applications 39 (1), 71-103, 1991	244	1991
Reguard: finding reentrancy bugs in smart contracts C Liu, H Liu, Z Cao, Z Chen, B Chen, B Roscoe Proceedings of the 40th International Conference on Software Engineering …, 2018	233	2018
Security and usability: Analysis and evaluation R Kainda, I Flechais, AW Roscoe 2010 international conference on availability, reliability and security, 275-282, 2010	196	2010
Concepts of digital topology TY Kong, AW Roscoe, A Rosenfeld Topology and its Applications 46, 1992	187	1992
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	177	1995
Non-interference through determinism AW Roscoe, JCP Woodcock, L Wulf Computer Security—ESORICS 94: Third European Symposium on Research in …, 1994	172	1994

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