Statistics
Publications
54
Citations
3.1K
H-Index
28
Active since
1991
Steve Schneider is an author at University of Surrey specializing in computer science, computing, and formal methods.
Publications per year
1991–2022
54
54
The FCRAO Extragalactic CO Survey. I. The Data
Judith S. Young, Shuding Xie, L. J. Tacconi et al. · The Astrophysical Journal Supplement Series · 1995 · 486 citations
Natural Sciences, Astronomy, Physics +11
Verifying authentication protocols in CSP
Steve Schneider · IEEE Transactions on Software Engineering · 1998 · 187 citations
Jim Davies, Steve Schneider · Theoretical Computer Science · 1995 · 180 citations
An Operational Semantics for Timed CSP
Steve Schneider · Information and Computation · 1995 · 149 citations
Process algebra and non-interference
Peter Y. A. Ryan, Steve Schneider · 2003 · 129 citations
1–5 of 54