Algorithms

Mike Taylor, John Guiver, Stephen Robertson, Tom Minka

WSDM 2008 | February 2008

Sumit Gulwani, Bill McCloskey, Ashish Tiwari

POPL’08, January 7-12, 2008, San Francisco, California, USA | January 2008

Project

Tim Paek, Sudeep Gandhe, Max Chickering

In Proceedings of the 9th SIGDIAL Workshop on Discourse and Dialogue | January 2008

Aziem Chawdhary, Byron Cook, Sumit Gulwani, Mooly Sagiv, Hongseok Yang

Programming Languages and Systems. ESOP 2008. Lecture Notes in Computer Science. | January 2008

Sumit Gulwani, Ashish Tiwari

Computer Aided Verification (CAV) | January 2008

Project

Xing Yi, Jianfeng Gao, Bill Dolan

International Joint Conference on Natural Language Processing (IJCNLP) | January 2008

Kunal Agrawal, Charles E. Leiserson, Yuxiong He, Wen-Jing Hsu

ACM Transactions on Computer Systems | January 2008

Reid Anderson, Christian Borgs, Jennifer Chayes, John Hopcroft, Vahab Mirrokni, Shang-Hua Teng

ISAAC ’08: Proceedings of the 19th International Symposium on Algorithms and Computation | January 2008

ISAAC '08: Proceedings of the 19th International Symposium on Algorithms and Computation

ISBN: 978-3-540-92181-3

Marcos K. Aguilera, Carole Delporte-Gallet, Hugues Fauconnier, Sam Toueg

Distributed Computing | January 2008

Nels Beckman, Aditya Nori, Sriram Rajamani, Robert Simmons

MSR-TR-2008-17 | January 2008