Microsoft Research Cambridge

Abigail Sellen, Steve Hodges, R. Eardley, L. Swan, Alex Taylor, L. Williams, K. Wood

Proceedings of UBICOMP 2005 | December 2005

Karthik Bhargavan, Cédric Fournet, Andy Gordon, Greg O'Shea

2005 ACM Workshop on Secure Web Services (SWS) | November 2005

ISBN: 1-59593-234-8

Simon Peyton Jones

ACM SIGPLAN International Conference on Functional Programming (ICFP’05) | September 2005

Tim Kindberg, Mirjana Spasojevic, Rowanne Fleck, Abigail Sellen

Proceedings of CHI 2005 | September 2005

Luca Aceto, Andy Gordon

Short Contributions from the Workshop on Algebraic Process Calculi: The First Twenty Five Years and Beyond (PA-05), Bertinoro, Forlı, Italy, August 1-5, 2005

Published by BRICS publications http://www.brics.dk Luca Aceto & Andrew D. Gordon | August 2005 | Short Contributions from the Workshop on Algebraic Process Calculi: The First Twenty Five Years and Beyond (PA-05), Bertinoro, Forlı, Italy, August 1-5, 2005 edition

Karthik Bhargavan, Cédric Fournet, Andy Gordon

Theoretical Computer Science; Theoretical Foundations of Security Analysis and Design II | June 2005, Vol 340(1): pp. 102-153

Andy Gordon, Riccardo Pucella

Formal Aspects of Computing | May 2005, Vol 17(3): pp. 277-318

Tim Kindberg, Mirjana Spasojevic, Rowanne Fleck, Abigail Sellen

IEEE Pervasive Computing | April 2005, Vol 4(2)

Sandra Hirsh, Abigail Sellen, Nancy Brokopp

MSR-TR-2016-32 | February 2005

Published by Microsoft

Luca Cardelli, Giorgio Ghelli, Andy Gordon

Information and Computation | January 2005, Vol 196(2): pp. 127-155