by Roscoe, A.W
Year of Publication 2010

by Roscoe, A.W.

by Autry, C.P., Roscoe, A.W., Magal, Mykhailo
Published in 2022 IEEE 29th Annual Software Technology Conference (STC) (01.10.2022)

by Cornélio, M.L., Roscoe, A.W.
Published in Science of computer programming (15.07.2019)

by Nguyen, L.H., Roscoe, A.W.
Published in Journal of computer security (01.01.2011)

by Palikareva, Hristina, Ouaknine, Joël, Roscoe, A.W.
Published in Science of computer programming (01.09.2012)

by Nguyen, L.H., Roscoe, A.W.
Published in Information and computation (01.02.2008)

by Roscoe, A.W.
Published in Electronic notes in theoretical computer science (21.12.2015)

by Mestel, David, Roscoe, A.W.
Published in Electronic notes in theoretical computer science (05.10.2016)

by Brookes, Stephen D., Roscoe, A.W.
Published in Theories of Programming (04.10.2021)

by ROSCOE, A. W
Published in Formal aspects of computing (01.08.2005)

by Roscoe, A.W., Broadfoot, P.J.
Published in Journal of computer security (01.04.1999)

by Kainda, Ronald, Flechais, Ivan, Roscoe, A.W.
Published in 2010 International Conference on Availability, Reliability and Security (01.02.2010)

by Roscoe, A.W, Jones, Cliff B, Wood, Kenneth R
Year of Publication 2010

by Roscoe, A.W.
Published in The journal of logic and algebraic programming (01.02.2009)

by Roscoe, A.W.
Published in Proceedings 1995 IEEE Symposium on Security and Privacy (1995)

by Broadfoot, P.J., Roscoe, A.W.
Published in Journal of computer security (2004)

by Roscoe, A.W
Published in Understanding Concurrent Systems (2010)

by Reed, G.M., Roscoe, A.W.
Published in Theoretical computer science (01.01.1988)

by Roscoe, A.W.
Published in Electronic notes in theoretical computer science (29.09.2006)