Microsoft Research Cambridge

Bhaskar Mitra, Fernando Diaz, Nick Craswell

Proceedings of the 26th International Conference on World Wide Web | April 2017

Sue Sentance, Jane Waite, Steve Hodges, Emily MacLeod, Lucy Yeomans

Proceedings of the 2017 ACM SIGCSE Technical Symposium on Computer Science Education | March 2017

Project Project Project

Bhaskar Mitra, Nick Craswell

Proceedings of the 10th ACM International Conference on Web Search and Data Mining (WSDM’17) | February 2017

Dana Silverbush, Shaun Grosskurth, Dennis Wang, Francoise Powell, Berthold Gottgens, Jonathan Dry, Jasmin Fisher

Cancer Research | February 2017, Vol 77(4): pp. 1-12

Loic Le Folgoc, Hervé Delingette, Antonio Criminisi, Nicholas Ayache

Medical Image Analysis | January 2017, Vol 36: pp. 79-97

Project

Zara Ahmed, David Benque, Sergey Berezin, Jasmin Fisher, Anna Caroline E. Dahl, Benjamin A. Hall, Samin Ishtiaq, Jay Nanavati, Nir Piterman, Maik Riechert, Nikita Skoblov

Verification, Model Checking and Abstract Interpretation (VMCAI) | January 2017

Juergen Giesl, Cornelius Aschermann, Marc Brockschmidt, Fabian Emmes, Florian Frohn, Carsten Fuhs, Jera Hensel, Carsten Otto, Martin Pluecker, Peter Schneider-Kamp, Thomas Stroeder, Stephanie Swiderski, Rene Thiemann

Journal of Automated Reasoning | January 2017, Vol 58: pp. 3-31

Thomas Stroeder, Juergen Giesl, Marc Brockschmidt, Florian Frohn, Carsten Fuhs, Jera Hensel, Peter Schneider-Kamp, Cornelius Aschermann

Journal of Automated Reasoning | January 2017, Vol 58: pp. 33-65

Shayan Najd, Simon Peyton Jones

Journal of Universal Computer Science (JUCS) | January 2017, Vol 23: pp. 47-62

Giuseppe Castagna, Andy Gordon

January 2017