A. W. Roscoe

8.6k citations

103 papers · 3.7k indexed · 2 hit papers · h-index 26

Impact in

Software top 0.5%
Computational Theory and Mathematics top 0.1%
- Formal Methods in Verification
- Petri Nets in System Modeling

Papers in

Computational Theory and Mathematics 50
- Formal Methods in Verification 38
- Petri Nets in System Modeling 11
Computer Networks and Communications 41
- Advanced Authentication Protocols Security 18
- Distributed systems and fault tolerance 14

Co-authors: C. A. R. Hoare Stephen Brookes G. M. Reed Ivan Fléchais T. Yung Kong Pieter Collins Long Nguyen Michael Goldsmith
Journals: Formal Aspects of Computing (7 papers)Journal of Computer Security (4 papers)Theoretical Computer Science (4 papers)Proceedings of the American Mathematical Society (3 papers)Journal of Logic and Computation (2 papers)
Partner nations: United Kingdom United States Finland

In The Last Decade

A. W. Roscoe

97 papers receiving 3.2k citations

Hit Papers

align trajectories log scale

The Theory and Practice of Concurrency 1997 · 828 citations

What are hit papers?

Hit papers significantly outperform the citation benchmark for their cohort. A paper qualifies if any of the following hold:

it has ≥500 total citations;
it reaches ≥1.5× the top-1% citation threshold for papers in the same subfield and year (the threshold is the minimum needed to enter the top 1%, not the average within it);
it reaches the top citation threshold in at least one of its specific research topics.

1997 Oxford University Research Archive (ORA) (University of Oxford)
1984 Journal of the ACM

Peers

Countries citing papers authored by A. W. Roscoe

Since Specialization

Citations

This map shows the geographic impact of A. W. Roscoe's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by A. W. Roscoe with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites A. W. Roscoe more than expected).

Fields of papers citing papers by A. W. Roscoe

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by A. W. Roscoe. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by A. W. Roscoe. The network helps show where A. W. Roscoe may publish in the future.

Co-authorship network

The 25 scholars most cited alongside A. W. Roscoe, linked wherever they have co-authored with each other. Click a name or a connecting line to browse the papers they share.

Border = papers with A. W. Roscoe Line = papers co-authored together A. W. Roscoe links everyone, so they are left out of the graph.

All Works

Sort: Min cites: Since: Top N: Style:

20 of 20 papers shown

#	Work
1	Decentralised Edge Authentication in the Industrial Enterprise IoT Space International Journal of Computer and Information Engineering ·J.J. Boonstra, A. W. Roscoe	2020	1
2	A STATIC ANALYSIS FRAMEWORK FOR LIVELOCK FREEDOM IN CSP ∗ Joël Ouaknine, 葆仁王, A. W. Roscoe, James Worrell	2012	4
3	Bootstrapping body sensor networks using human controlled LED-camera channels Oxford University Research Archive (ORA) (University of Oxford) ·Xin Huang, J. Guilarte López Mañas, Bangdao Chen, A. W. Roscoe	2012	6
4	User interactive Internet of things privacy preserved access control Oxford University Research Archive (ORA) (University of Oxford) ·Xin Huang, Rong Fu, Bangdao Chen, Tingting Zhang, A. W. Roscoe	2012	23
5	SAT-solving in CSP trace refinement Science of Computer Programming ·葆仁王, Joël Ouaknine, A. W. Roscoe	2011	7
6	The Missing Link: Human Interactive Security Protocols in Mobile Payment Bangdao Chen, A. W. Roscoe, Jeh, Long Nguyen	2010	3
7	Data Independent Induction over Structured Networks. Parallel and Distributed Processing Techniques and Applications ·Sadie Creese, A. W. Roscoe	2000	5
8	Formal Verification of Arbitrary Network Topologies Parallel and Distributed Processing Techniques and Applications ·Sadie Creese, A. W. Roscoe	1999	6
9	The timed failures — Stability model for CSP Theoretical Computer Science ·G. M. Reed, A. W. Roscoe	1999	21
10	The Theory and Practice of Concurrency Oxford University Research Archive (ORA) (University of Oxford) ·A. W. Roscoe Hit paper breakdown →	1997	828
11	Model-checking CSP A. W. Roscoe	1994	126
12	A classical mind: essays in honour of C. A. R. Hoare A. W. Roscoe	1994	113
13	Occam in the specification and verification of microprocessors Philosophical Transactions of the Royal Society of London Series A Physical and Engineering Sciences ·A. W. Roscoe	1992	7
14	Concepts of digital topology Topology and its Applications ·T. Yung Kong, A. W. Roscoe, Azriel Rosenfeld	1992	78
15	Timed CSP: Theory and Practice View ·Steve Schneider, Jim Davies, 万碧玉, 修大角, В. В. Пасько, A. W. Roscoe	1991	38
16	Topology, computer science, and the mathematics of convergence Oxford University Research Archive (ORA) (University of Oxford) ·A. W. Roscoe	1991	5
17	Star covering properties Topology and its Applications ·Eric K. van Douwen, G. M. Reed, A. W. Roscoe, Anumudu Elvis Chukwuemeka	1991	122
18	The laws of OCCAM programming Theoretical Computer Science ·A. W. Roscoe, C. A. R. Hoare	1988	73
19	The pursuit of deadlock freedom Information and Computation ·A. W. Roscoe, Heru Prasetya	1987	34
20	Criteria for metrisability Proceedings of the American Mathematical Society ·Pieter Collins, A. W. Roscoe	1984	41

About A. W. Roscoe

A. W. Roscoe is a scholar working on Computational Theory and Mathematics, Computer Networks and Communications, Artificial Intelligence, Software and Information Systems, having authored 103 papers that have together received 3.7k indexed citations. Recurring topics across this work include Formal Methods in Verification (38 papers), Logic, programming, and type systems (23 papers), Advanced Authentication Protocols Security (18 papers), User Authentication and Security Systems (16 papers), Security and Verification in Computing (16 papers), Distributed systems and fault tolerance (14 papers), Petri Nets in System Modeling (11 papers) and Advanced Malware Detection Techniques (8 papers). The work is most often cited by research in Software (638 citations), Computational Theory and Mathematics (1.9k citations), Hardware and Architecture (503 citations), Artificial Intelligence (1.9k citations) and Computer Networks and Communications (1.0k citations). A. W. Roscoe has collaborated with scholars based in United Kingdom, United States and Finland. Frequent co-authors include C. A. R. Hoare, Stephen Brookes, G. M. Reed, Ivan Fléchais, T. Yung Kong, Pieter Collins, T. Yung Kong, Long Nguyen, Michael Goldsmith and Eric K. van Douwen. Their work appears in journals such as Formal Aspects of Computing, Journal of Computer Security, Theoretical Computer Science, Proceedings of the American Mathematical Society and Journal of Logic and Computation.

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact