Algorithms

Sumit Gulwani, Bill McCloskey, Ashish Tiwari

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

Project

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

Tim Paek, Sudeep Gandhe, Max Chickering

In Proceedings of the 9th SIGDIAL Workshop on Discourse and Dialogue | 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

Xing Yi, Jianfeng Gao, Bill Dolan

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

International Conference on Frontiers in Handwriting Recognition 2008 | January 2008

International Conference on Frontiers in Handwriting Recognition 2008

Samuel Ieong, Yoav Shoham

Proceedings of National Conference on Artificial Intelligence (AAAI) | January 2008