Algorithms

Rajeev Alur, Sebastian Burckhardt, Milo Martin

Computer-Aided Verification (CAV) | January 2006

Moshe Babaioff, Ron Lavi, Elan Pavlov

AAAI | January 2006

AAAI

Janyce Wiebe, Rada Mihalcea

Proceedings of COLING/ACL-06, the 21st Conference on Computational Linguistics / Association for Computational Linguistics | January 2006

Nitin Jindal, Bing Liu

Proceedings of SIGIR-06, the 29th annual international ACM SIGIR conference on Research and development in information retrieval | January 2006

ISBN: 1-59593-369-7

Minqing Hu, Bing Liu

Proceedings ofAAAI-CAAW-06, the Spring Symposia on Computational Approaches to Analyzing Weblogs | January 2006

Francesco Logozzo, Agostino Cortesi

Proceedings of the 7th International Conference on Verification, Model Checking and Abstract Interpretation | January 2006

Shuvendu Lahiri, Madan Musuvathi

Automated Reasoning, Third International Joint Conference (IJCAR ’06) | January 2006

ISBN: 3-540-37187-7

Nikhil R. Devanur, Subhash Khot, Rishi Saket, Nisheeth Vishnoi, Nikhil Devanur

STOC | January 2006

STOC

Neeraj Kayal

January 2006

January 2006

J.K. Adelman-McCarthy et al., Jim Gray, et. al.

Astrophysics | January 2006, Vol 162: pp. 38-48