Algorithms

Cheng Yang, Usama Fayyad, Paul S. Bradley

MSR-TR-2000-20 | February 2000

Thomas Ball, Sriram Rajamani

MSR-TR-2000-14 | February 2000

Published by Microsoft

Project

M. Biskup, Christian Borgs, Jennifer Chayes, L.J. Kleinwaks, R. Kotecky

Physical Review Letters | January 2000

Leslie Lamport

Mitteilungen der Deutschen Mathematiker-Vereinigung | January 2000, pp. 49-51

Yuri Gurevich, Alexander Rabinovich

Journal of Symbolic Logic | January 2000, Vol 65(2): pp. 946-958

M. Biskup, Christian Borgs, Jennifer Chayes, R. Kotecky

Journal of Mathematical Physics | January 2000

Geoffrey Zweig

Proceedings of ICASSP | January 2000

Proceedings of ICASSP

Tomoyuki Ishiyama, Yoshiaki Shirai, Yoshihisa Adachi, Yoshinori Kuno

January 2000

Costas Busch, Maurice Herlihy, Roger Wattenhofer

January 2000

M. Biskup, Christian Borgs, Jennifer Chayes, L.J. Kleinwaks, R. Kotecku

MSR-TR-2000-35 | January 2000