Bill Roscoe (A.W. Roscoe)

인용

	전체	2020년 이후
서지정보	17687	2165
h-index	57	20
i10-index	147	35

840

420

210

630

198619871988198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202544 126 118 172 189 276 249 296 229 274 300 265 311 403 432 429 484 581 564 700 661 643 636 708 833 638 665 670 572 551 579 493 507 472 442 408 402 436 436 36

공개 액세스

모두 보기

자료 9개

자료 2개

공개

비공개

재정 지원 요구사항 기준

공동 저자

Michael GoldsmithAssociate Professor and Senior Research Fellow, Cybersecurity Analytics Group, Department ofcs.ox.ac.uk의 이메일 확인됨
Ranko LazicDepartment of Computer Science, University of Warwickwarwick.ac.uk의 이메일 확인됨
Peter RyanProfessor of applied security, university of luxembourguni.lu의 이메일 확인됨
Thomas Gibson-RobinsonDepartment of Computer Science, University of Oxfordcs.ox.ac.uk의 이메일 확인됨
Sadie CreeseProfessor of Cybersecuritycs.ox.ac.uk의 이메일 확인됨
Steve SchneiderDirector of Computer Science Research Centre; Professor of Computing, University of Surreysurrey.ac.uk의 이메일 확인됨
Pedro AntoninoResearcher at The Blockhouse Technology Limitedtbtl.com의 이메일 확인됨
Ivan FlechaisUniversity of Oxfordcs.ox.ac.uk의 이메일 확인됨
Joel OuaknineDirector, Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campusmpi-sws.org의 이메일 확인됨
Alexandre BoulgakovDepartment of Computer Science, University of Oxfordcs.ox.ac.uk의 이메일 확인됨
T. Yung Kong (Tat Yung Kong)Professor of Computer Science, Queens College of the City University of New Yorkeuclid.cs.qc.cuny.edu의 이메일 확인됨
James WorrellProfessor of Computer Science, Oxford Universitycs.ox.ac.uk의 이메일 확인됨
Xin HuangTaiyuan University of Technologyhuangstudio.org의 이메일 확인됨
Ian James HayesProfessor of Software Engineering, The University of Queenslanduq.edu.au의 이메일 확인됨
Carroll MorganProfessor, University of New South Walesunsw.edu.au의 이메일 확인됨
Han Liuuniweaver.com의 이메일 확인됨
Jim DaviesUniversity of Oxfordcs.ox.ac.uk의 이메일 확인됨
Jim WoodcockProfessor of Software Engineering, University of Yorkyork.ac.uk의 이메일 확인됨
Hristina PalikarevaCiscocisco.com의 이메일 확인됨
Michael MisloveTulane Universitytulane.edu의 이메일 확인됨

팔로우

Bill Roscoe (A.W. Roscoe)

Emeritus Professor of Computer Science, Oxford University

cs.ox.ac.uk의 이메일 확인됨 - 홈페이지

concurrency verification security FinTech computer science


제목 서지정보순 정렬 연도순 정렬 제목순 정렬	인용 인용	연도
The Theory and Practice of Concurrency. international series in computer science AW Roscoe Prentice-Hall, 1997	2984*	1997
A theory of communicating sequential processes SD Brookes, CAR Hoare, AW Roscoe Journal of the ACM (JACM) 31 (3), 560-599, 1984	1838	1984
Modelling and Analysis of Security Protocols: the CSP approach P Ryan, S Schneider, M Goldsmith, G Lowe, AW Roscoe Addison Wesley, 2001	852	2001
A timed model for communicating sequential processes GM Reed, AW Roscoe International Colloquium on Automata, Languages, and Programming, 314-323, 1986	788	1986
Laws of programming CAR Hoare, IJ Hayes, H Jifeng, CC Morgan, AW Roscoe, JW Sanders, ... Communications of the ACM 30 (8), 672-686, 1987	617	1987
Understanding concurrent systems AW Roscoe Springer-Verlag New York Inc, 2010	522	2010
Model− checking CSP B Roscoe A classical Mind, Essays in honour of C.A.R. Hoare, 1994	467	1994
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	415	2018
An improved failures model for communicating processes SD Brookes, AW Roscoe International Conference on Concurrency, 281-305, 1984	385	1984
FDR3—A Modern Refinement Checker for CSP T Gibson-Robinson, P Armstrong, A Boulgakov, AW Roscoe TACAS, 2014	369	2014
The laws of occam programming AW Roscoe, CAR Hoare Theoretical Computer Science 60 (2), 177-229, 1988	358	1988
Modelling and verifying key-exchange protocols using CSP and FDR AW Roscoe Proceedings The Eighth IEEE Computer Security Foundations Workshop, 98-107, 1995	322	1995
Using CSP to detect errors in the TMN protocol G Lowe, AW Roscoe Software Engineering, IEEE Transactions on 23 (10), 659-669, 1997	314	1997
CSP and determinism in security modelling AW Roscoe Proceedings 1995 IEEE Symposium on Security and Privacy, 114-127, 1995	305	1995
Star covering properties EK Van Douwen, GM Reed, AW Roscoe, IJ Tree Topology and its Applications 39 (1), 71-103, 1991	280	1991
Security and usability: Analysis and evaluation R Kainda, I Flechais, AW Roscoe 2010 international conference on availability, reliability and security, 275-282, 2010	224	2010
Concepts of digital topology TY Kong, AW Roscoe, A Rosenfeld Topology and its Applications 46, 1992	191	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	182	1995
Usability and security of out-of-band channels in secure device pairing protocols R Kainda, I Flechais, AW Roscoe Proceedings of the 5th Symposium on Usable Privacy and Security, 1-12, 2009	173	2009
Non-interference through determinism AW Roscoe, JCP Woodcock, L Wulf Computer Security—ESORICS 94: Third European Symposium on Research in …, 1994	171	1994

현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.

학술자료 1–20

연간 인용횟수

중복된 서지정보

병합된 서지정보

공동 저자 추가공동 저자

팔로우

인용

공동 저자