Publication Fixed Point Logics Anuj Dawar, Yuri Gurevich The Bulletin of Symbolic Logic | January 2002
Publication One-arm exponent for critical 2D percolation Greg Lawler, Oded Schramm, Wendelin Werner Electron. J. Probab. | January 2002, Vol 7: pp. no. 2, 13 pp. (electronic)
Publication Generating Abstract Explanations of Spurious Counterexamples in C Programs Thomas Ball, Sriram Rajamani MSR-TR-2002-09 | January 2002
Publication High-level Executable Specification of the Universal Plug and Play Architecture Uwe Glässer, Yuri Gurevich, Margus Veanes HICSS 2002 | January 2002 Project
Publication Universal Plug and Play Machine Models: Modeling with Distributed Abstract State Machines Uwe Glässer, Margus Veanes Design and Analysis of Distributed Embedded Systems, IFIP 17th World Computer Congress (DIPES 2002) | January 2002 Project
Publication Partially labeled classification with Markov random walks Martin Szummer, Tommi Jaakkola Advances in Neural Information Processing Systems (NIPS) | January 2002
Publication Sharp estimates for Brownian non-intersection probabilities Greg Lawler, Oded Schramm, Wendelin Werner In and out of equilibrium (Mambucaba, 2000) | Published by Birkhäuser Boston | 2002, Vol 51 | In and out of equilibrium (Mambucaba, 2000) edition
Publication Richer Syntactic Dependencies for Structured Language Modeling Ciprian Chelba, Peng Xu Proc. of the IEEE Workshop on Automatic Speech Recognition and Understanding | December 2001
Publication Relative Completeness of Abstraction Refinement for Software Model Checking Thomas Ball, Andreas Podelski, Sriram Rajamani MSR-TR-2001-106 | December 2001
Publication A Common Annotation Framework David Bargeron, A.J. Brush, Anoop Gupta MSR-TR-2001-108 | November 2001
