Bill Roscoe
- Software top 5%
- Information Systems top 1%
- User Authentication and Security Systems 7
-
- Advanced Authentication Protocols Security 7
- Advanced Database Systems and Queries 5
- Distributed systems and fault tolerance 4
-
- Formal Methods in Verification 6
- Petri Nets in System Modeling 4
- Artificial Intelligence top 2%
- Semantic Web and Ontologies 8
- Cryptographic Implementations and Security 4
- Co-authors
- Gavin LoweMichael GoldsmithPeter Y. A. RyanSteve SchneiderZhong ChenHan LiuZhao CaoChao Liu
- Journals
- Formal Aspects of Computing (3 papers)Theoretical Computer Science (3 papers)Journal of Computer Security (2 papers)
- Partner nations
- United KingdomRussiaNetherlands
In The Last Decade
Bill Roscoe
72 papers receiving 800 citations
Peers
Comparison fields: 5 of 55
- Software 78
- Information Systems 460
- Computer Networks and Communications 460
- Computational Theory and Mathematics 255
- Artificial Intelligence 477
Countries citing papers authored by Bill Roscoe
This map shows the geographic impact of Bill 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 Bill Roscoe with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Bill Roscoe more than expected).
Fields of papers citing papers by Bill Roscoe
This network shows the impact of papers produced by Bill 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 Bill Roscoe. The network helps show where Bill Roscoe may publish in the future.
Co-authorship network
The 18 scholars most cited alongside Bill Roscoe, linked wherever they have co-authored with each other. Click a name or a connecting line to browse the papers they share.
All Works
| # | Work | ||
|---|---|---|---|
| 1 | 2018 | 2 | |
| 2 | Authentication protocols based on low−bandwidth unspoofable channels: a comparative survey | 2011 | 1 |
| 3 | Responsiveness and stable revivals | 2007 | 3 |
| 4 | Extending noninterference properties to the timed world | 2006 | 2 |
| 5 | Confluence thanks to extensional determinism | 2005 | 1 |
| 6 | Responsiveness of Interoperating Components | 2004 | 1 |
| 7 | On the expressive power of CSP refinement | 2003 | 8 |
| 8 | Compiling Statemate Statecharts into CSP and verifying them using FDR | 2003 | 4 |
| 9 | Modelling and analysis of security protocols | 2001 | 153 |
| 10 | Data independent induction over structured networks | 2000 | 4 |
| 11 | Data Independence with Generalised Predicate Symbols. | 1999 | 8 |
| 12 | Intensional specifications of security protocols | 1996 | 3 |
| 13 | Composing and decomposing systems under security properties | 1995 | 4 |
| 14 | Non−interference through determinism | 1994 | 2 |
| 15 | Fixed points without completeness | 1993 | 0 |
| 16 | A timed model for communicating sequential processes | 1988 | 5 |
| 17 | The laws of occam programming | 1988 | 11 |
| 18 | Deadlock analysis in networks of communicating processes | 1985 | 1 |
| 19 | Characterisations of simply−connected finite polyhedra in 3−space | 1985 | 2 |
| 20 | A theory of communicating sequential processes | 1981 | 16 |
About Bill Roscoe
Bill Roscoe is a scholar working on Software, Computer Networks and Communications and Hardware and Architecture, having authored 80 papers that have together received 913 indexed citations. Recurring topics across this work include Semantic Web and Ontologies (8 papers), Advanced Authentication Protocols Security (7 papers), User Authentication and Security Systems (7 papers), Formal Methods in Verification (6 papers), Advanced Database Systems and Queries (5 papers), Cryptographic Implementations and Security (4 papers), Distributed systems and fault tolerance (4 papers) and Petri Nets in System Modeling (4 papers). The work is most often cited by research in Software (78 citations), Information Systems (460 citations) and Computer Networks and Communications (460 citations). Bill Roscoe has collaborated with scholars based in United Kingdom, Russia and Netherlands. Frequent co-authors include Gavin Lowe, Michael Goldsmith, Peter Y. A. Ryan, Steve Schneider, Zhong Chen, Han Liu, Zhao Cao, Chao Liu, Bangdao Chen and Sadie Creese. Their work appears in journals such as Formal Aspects of Computing, Theoretical Computer Science, Journal of Computer Security, Distributed Computing and Journal of the ACM.
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.