Publication Team Coverage Games Yoram Bachrach, Pushmeet Kohli, Vladimir Kolmogorov Proc. of 10th Int. Conf. on Autonomous Agents and Multiagent Systems (AAMAS 2011) | May 2011
Publication Measure Transformer Semantics for Bayesian Machine Learning Johannes Borgström, Andy Gordon, Michael Greenberg, James Margetson, Jurgen Van Gael MSR-TR-2011-18 | March 2011 Published by Microsoft European Symposium on Programming ESOP 2011 Project
Publication Practical aspects of evidence-based compilation in System FC Dimitrios Vytiniotis, Simon Peyton Jones March 2011
Publication Roles, Stacks, Histories: A Triple for Hoare Johannes Borgström, Andy Gordon, Riccardo Pucella Journal of Functional Programming | March 2011, Vol 21(2): pp. 159-207
Publication Robin Milner 1934-2010: Verification, Languages, and Concurrency Andy Gordon, Robert Harper, John Harrison, Alan Jeffrey, Peter Sewell POPL ’11 Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | January 2011 ISBN: 978-1-4503-0490-0
Publication Dynamic Tree Block Coordinate Ascent Daniel Tarlow, Dhruv Batra, Pushmeet Kohli, Vladimir Kolmogorov Proceedings of the 28 th International Conference on Machine Learning | January 2011
Publication Sociable Killers: Understanding Social Relationships in an Online First-Person Shooter Game Yan Xu, Xiang Cao, Abigail Sellen, Ralf Herbrich, Thore Graepel CSCW ’11 Proceedings of the ACM 2011 conference on Computer supported cooperative work | January 2011
Publication Cryptographic Verification by Typing for a Sample Protocol Implementation Cédric Fournet, Karthik Bhargavan, Andy Gordon Foundations of Security Analysis and Design VI | Published by Springer Berlin Heidelberg | 2011, Vol 6858 | Lecture Notes in Computer Science 6858 edition ISBN: 978-3-642-23081-3 (Print) 978-3-642-23082-0 (Online) Lecture Notes in Computer Science 6858
Publication Exploring the potential for touchless interaction in image-guided interventional radiology Rose Johnson, Kenton O'Hara, Abigail Sellen, Claire Cousins, Antonio Criminisi Proceedings of CHI 2011 | January 2011
