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
Publication Book Review: Crystal, D., Internet Linguistics: A Student Guide Sean Rintel Australian Review of Applied Linguistics | January 2011, Vol 35(2): pp. 218-220
Publication Making public media personal: Nostalgia and reminiscence in the office Abigail Sellen, mc Schraefel, Ken Wood Proceedings of the 25th BCS Conference on HCI (British HCI 2011) | January 2011 Project
Publication Learning an Interactive Segmentation System Hannes Nickisch, Carsten Rother, Pushmeet Kohli, Christoph Rhemann ICVGIP ’10 Proceedings of the Seventh Indian Conference on Computer Vision, Graphics and Image Processing | December 2010 ISBN: 978-1-4503-0060-5
Publication Conversational management of network trouble perturbations in personal videoconferencing Sean Rintel CHI 2010 | December 2010 Project Project
Publication Proceedings of the second annual SenseCam symposium (SenseCam 2010) Emma Berry, Daragh Byrne, Aiden R. Doherty, Cathal Gurrin, Alan F. Smeaton Proceedings of the Second Annual SenseCam Symposium (SenseCam 2010) | September 2010 Project
Publication Energy Minimization Under Constraints on Label Counts Yongsub Lim, Kyomin Jung, Pushmeet Kohli ECCV’10 Proceedings of the 11th European conference on Computer vision: Part II | September 2010 ISBN: 3-642-15551-0
Publication Optimal Coalition Structures In Skill Games Yoram Bachrach, Reshe Meir, Kyomin Jung, Pushmeet Kohli AAAI’10 Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence | July 2010
Publication On human remains: Values and practice in the home archiving of cherished objects David Kirk, Abigail Sellen Transactions on Computer-Human Interaction | July 2010 Project Project
