Publication The Neuroepithelial Basement Membrane Serves As A Boundary And A Substrate For Neuron Migration In The Zebrafish Hindbrain Paul Grant, Cecilia Moens Neural Development | March 2010, Vol 5 Project
Publication Opening up the family archive Dave Kirk, Shahram Izadi, Abigail Sellen, Stuart Taylor, Richard Banks, Otmar Hilliges Proceedings of CSCW 2010 | February 2010 Winner Best Paper CSCW Project
Publication Telling the whole story: Anticipation, inspiration and reputation in a field deployment of TellTable Xiang Cao, Siân Lindley, John Helmes, Abigail Sellen Proceedings of CSCW 2010 | February 2010
Publication Modular verification of security protocol code by typing Karthik Bhargavan, Cédric Fournet, Andy Gordon POPL ’10 Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | January 2010 ISBN: 978-1-60558-479-9
Publication Loopfrog “” loop summarization for static analysis Daniel Kroening, Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich, Christoph M. Wintersteiger Workshop on Invariant Generation (WING) | January 2010
Publication SecPAL: Design and Semantics of a Decentralized Authorization Language Moritz Becker, Cédric Fournet, Andy Gordon Journal of Computer Security | January 2010, Vol 18(4): pp. 619-665
Publication Understanding family communication across time zones Xiang Cao, Abigail Sellen, A.J. Brush, Dave Kirk, Darren Edge, Xianghua Ding Proceedings of CSCW 2010 | January 2010
Publication Structural Epitome: A Way to Summarize Ones Visual Experience Nebojsa Jojic, Alessandro Perina, Vittorio Murino Advances in Neural Information Processing Systems 23 (NIPS 2010) | January 2010 Project
Publication Home video communication: Mediating “closeness” Dave Kirk, Abigail Sellen, Xiang Cao Proceedings of CSCW 2010 | January 2010
Publication Dynamic Graph Cuts and Their Applications in Computer Vision Pushmeet Kohli, Philip H.S. Torr Computer Vision, Detection, Recognition and Reconstruction, 3 | Published by Springer | 2010, Vol 285 ISBN: 978-3-642-12847-9
