Publication An Asynchronous, Distributed Implementation of Mobile Ambients Cédric Fournet, Jean-Jacques Levy, Alan Schmitt Proceedings of IFIP TCS 2000, LNCS 1872 | August 2000
Publication Derivations of the Balafoutis & Patel Recursive Dynamics Formulation Brian Guenter, Charles F. III Rose MSR-TR-2000-80 | July 2000
Publication Screening Effect Due to Heavy Lower Tails on One-dimensional Parabolic Anderson Model Marek Biskup, Wolfgang Koenig MSR-TR-2000-76 | June 2000
Publication On optimal frame expansions for multiple description quantization Philip A. Chou, Sanjeev Mehrotra, Philip A. Chou Int’l Symp. on Information Theory | June 2000 Int'l Symp. on Information Theory
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
