Programming languages and software engineering

Zhaozhong Ni

MSR-TR-2008-191 | January 2008

Liad Blumrosen, Thomas Holenstein

EC ’08: Proceedings of the 9th ACM conference on Electronic commerce | January 2008

EC '08: Proceedings of the 9th ACM conference on Electronic commerce

Ethan Jackson, Wolfram Schulte

Formal Techniques for Networked and Distributed Systems – FORTE 2008 | January 2008

Formal Techniques for Networked and Distributed Systems – FORTE 2008

ISBN: 978-3-540-68854-9

Project

Renan Cattelan, Darko Kirovski, Deepak Vijaywargi

MSR-TR-2008-14 | January 2008

Moshe Babaioff, Patrick Briest, Piotr Krysta

International Symposium on Algorithmic Game Theory (SAGT’08) | January 2008

Krzysztof Gajos, Katherine Everitt, Desney Tan, Mary Czerwinski, Daniel Weld

Extended Abstracts of CHI 2008 Conference on Human Factors in Computing Systems | January 2008

December 2007

PhD Thesis: University of Cambridge | December 2007

Antony N Dodd, Michael J Gardner, Carlos T Hotta, Katharine E Hubbard, Neil Dalchau, John Love, Jean-Maurice Assie, Fiona C Robertson, Mia Kyed Jakobsen, Jorge Gonçalves, Dale Sanders, Alex A R Webb

Science | December 2007, Vol 318(5857): pp. 1789-1792

Paul Viola , Cha Zhang

Advances in Neural Information Processing Systems | December 2007, pp. 1417-1424

Johannes Helander, Risto Serg, Margus Veanes, Pritam Roy

RTSS’07 | December 2007