Philippa J. Hopcroft

Publication Activity (10 Years)

Years Active: 2004-2017
Publications (10 Years): 1

Top Topics

Information Theory

Industrial Systems

Top Venues

Theories of Programming and Formal Methods

Concurrency, Security, and Puzzles

Publications

Thomas Gibson-Robinson, Guy H. Broadfoot, Gustavo Carvalho, Philippa J. Hopcroft, Gavin Lowe, Sidney C. Nogueira, Colin O'Halloran, Augusto Sampaio
FDR: From Theory to Industrial Application. Concurrency, Security, and Puzzles (2017)
A. W. Roscoe, Philippa J. Hopcroft
Slow Abstraction via Priority. Theories of Programming and Formal Methods (2013)
Philippa J. Hopcroft, Guy H. Broadfoot
Combining the Box Structure Development Method and CSP for Software Development. Electron. Notes Theor. Comput. Sci. 128 (6) (2005)
Philippa J. Hopcroft, Gavin Lowe
Analysing a stream authentication protocol using model checking. Int. J. Inf. Sec. 3 (1) (2004)
Philippa J. Hopcroft, Guy H. Broadfoot
Combining the Box Structure Development Method and CSP. ASE (2004)