!!Andrew Roscoe - Publications

[Full list of publications|http://www.cs.ox.ac.uk/people/publications/personal/Bill.Roscoe.html]
\\ \\
According to Google Scholar: H index 36, G index 89, >8500 citations. In all 15 works with more than 100 citations.
\\ \\
__Major Publications in last 5 years:__
\\ \\
Understanding Concurrent Systems (Springer 2010, 536 pages)
\\ \\
CSP is expressive enough for pi (Reflections on the work of CAR Hoare,
2010)
\\ \\
Authentication protocols based on low?bandwidth unspoofable channels: a
comparative survey\\
L.H. Nguyen and A.W. Roscoe\\
Journal of Computer Security. Vol. 19. 2011.
\\ \\
Authenticating ad hoc networks by comparison of short digests\\
A. W. Roscoe and L. H. Nguyen\\
Information and Computation. Vol. 206. Pages 250?271. 2008.
\\ \\
Revivals‚stuckness and the hierarchy of CSP Models
JLAP Vol. 78, 2009
\\ \\
__Works over longer period__
\\ \\
A theory of Communicating Sequential Processes (JACM, 1984), with S.D.
Brookes and C.A.R. Hoare 1100 citations
\\ \\
Theory and practice of concurrency (Prentice-Hall, 1997) 1750 citations
A timed model of Communicating Sequential Processes (TCS, 1988) with G.M.
Reed, 450 citations.
\\ \\
The modelling and analysis of security protocols , (Pearson 2000), with
M.H. Goldsmith, G. Lowe, P. Ryan and S.A. Schneider, 460 citations
\\ \\
Model-checking CSP (A Classical Mind, Prentice-Hall 1994), 265 citations.
CSP and determinism in security modelling, (IEEE symposium on security
and privacy, 1995) 150 citations.