Algorithms

Leslie Lamport

ACM SIGACT News | January 2009, Vol 40(1): pp. 58-62

Leslie Lamport

Theoretical Aspects of Computing-ICTAC 2009, Martin Leucker and Carroll Morgan editors. Lecture Notes in Computer Science, number 5684, 36-60. | January 2009

Jean-Yves Audibert, Sébastien Bubeck

Proceedings of the 22nd Annual Conference on Learning Theory (COLT) | January 2009

Best Student Paper Award

Andreas Blass, Nachum Dershowitz, Yuri Gurevich

MSR-TR-2009-99 | January 2009

In CSL 2010, 19th EACSL Annual Conference on Computer Science Logic – Springer Lecture Notes in Computer Science 6247, 2010

Michael Toomim, Steven Drucker, Mira Dontcheva, Ali Rahimi, Blake Thomson

Proceedings of the 27th international conference on Human factors in computing systems | January 2009

Proceedings of the 27th international conference on Human factors in computing systems

ISBN: 978-1-60558-246-7

Magnus Rattray, Oliver Stegle, Kevin Sharp, John Winn

International Workshop on Statistical-Mechanical Informatics 2009, Journal of Physics: Conference Series | January 2009

International Workshop on Statistical-Mechanical Informatics 2009, Journal of Physics: Conference Series

Xiaodong He, Mei Yang, Jianfeng Gao, Patrick Nguyen, Robert Moore

ACM Transactions on Asian Language Information Processing — special issue on Machine Translation of Asian Languages | January 2009

Guy Rothblum

Theory Comput. Syst. | January 2009, Vol 44: pp. 245-268

Evangelos Bampas, Aris Pagourtzis, George Pierrakos, Vasilis Syrgkanis

January 2009

Moshe Babaioff, Michael Dinitz, Anupam Gupta, Nicole Immorlica, Kunal Talwar

Symposium on Discrete Algorithms (SODA’09) | January 2009