Programming languages & software engineering

Pavol Cerny, Krishnendu Chatterjee, Thomas A. Henzinger, Arjun Radhakrishna, Rohit Singh

Computer Aided Verification (CAV) | July 2011

Errata: The synthesis problem is PSPACE-complete, rather than NEXP-complete as claimed. However, the message that the problem is computationally hard still stands.

Project

Yuri Gurevich, Itay Neeman

MSR-TR-2011-90 | July 2011

Mahesh Balakrishnan, Dahlia Malkhi, Vijayan Prabhakaran, Ted Wobber

MSR-TR-2011-86 | July 2011

Cha Zhang, Zhengyou Zhang

Computer Vision and Machine Learning with RGB-D Sensors | Published by Springer International Publishing | 2011

Cha Zhang, R. Yang, T. Large, Zhengyou Zhang

July 2011

Andreas Blass, Yuri Gurevich

MSR-TR-2011-81 | July 2011

Alex Groce, Madanlal Musuvathi

July 2011

ISBN: 978-3-642-22305-1

Will Lewis, Robert Munro, Stephan Vogel

Proceedings of the Sixth Workshop on Statistical Machine Translation | July 2011

Proceedings of the Sixth Workshop on Statistical Machine Translation

Nikhil Swamy, Nataliya Guts, Daan Leijen, Michael Hicks

Proceedings of the International Conference of Functional Programming (ICFP’11) | July 2011

Proceedings of the International Conference of Functional Programming (ICFP'11)