Publication Spatial Congruence for the Ambients is Decidable Silvano Dal Zilio MSR-TR-2000-41 | May 2000
Publication Long-Time Tails in the Parabolic Anderson Model with Bounded Potential Marek Biskup, Wolfgang Konig MSR-TR-2000-36 | April 2000
Publication Decomposing a Matrix into Circulant and Diagonal Factors Michael Schmid, Rainer Steinwandt, Jorn Muller-Quade, Martin Roetteler, Thomas Beth Linear Algebra and its Applications | February 2000, Vol 306(1-3): pp. 131-143
Publication Anytime, Anywhere: Modal Logics for Mobile Ambients Luca Cardelli, Andy Gordon POPL 2000 Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages | January 2000 ISBN: 1-58113-125-9
Publication Setting 2 Variables at a Time Yields a New Lower Bound for Random 3-SAT Dimitris Achlioptas MSR-TR-99-96 | December 1999
Publication Stationary measures for random walks in a random environment with random scenery Russell Lyons, Oded Schramm New York Journal of Mathematics | January 1999, Vol 5: pp. 107-113
Publication An Efficient Method For Computing Resultant Systems Mark Encarnación Applicable Algebra in Engineering, Communication and Computing (AAECC), Issue 3 | November 1998, Vol 9: pp. 243-245
