출판 STHoles: A Multidimensional Workload-Aware Histogram Nicolas Bruno, Surajit Chaudhuri, Luis Gravano MSR-TR-2001-36 | March 2001 글쓴이 Microsoft 프로젝트 프로젝트
출판 Table ASMs Colin Campbell, Yuri Gurevich Formal Methods and Tools for Computer Science (Proceedings of Eurocast 2001) eds. R. Moreno-Diaz and A. Quesada-Arencibia, Universidad de Las Palmas de Gran Canaria Canary Islands, Spain | February 2001
출판 Conformance Testing with Abstract State Machines Wolfgang Grieskamp, Yuri Gurevich, Wolfram Schulte, Margus Veanes EUROCAST 2001 | February 2001 프로젝트
출판 Typing a Multi-Language Intermediate Code Andy Gordon, Don Syme MSR-TR-2000-106 | January 2001 ISBN: 1-58113-336-7 Proceedings of Sixteenth Conference on Uncertainty in Artificial Intelligence, ® Stanford, CA
출판 Partial Updates: Exploration Yuri Gurevich, Nikolai Tillmann Springer J. of Universal Computer Science | January 2001