출판 An Asynchronous, Distributed Implementation of Mobile Ambients Cédric Fournet, Jean-Jacques Levy, Alan Schmitt Proceedings of IFIP TCS 2000, LNCS 1872 | August 2000
출판 Derivations of the Balafoutis & Patel Recursive Dynamics Formulation Brian Guenter, Charles F. III Rose MSR-TR-2000-80 | July 2000
출판 Screening Effect Due to Heavy Lower Tails on One-dimensional Parabolic Anderson Model Marek Biskup, Wolfgang Koenig MSR-TR-2000-76 | June 2000
출판 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
출판 Long-Time Tails in the Parabolic Anderson Model with Bounded Potential Marek Biskup, Wolfgang Konig MSR-TR-2000-36 | April 2000
출판 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, 제 306 권(1-3): pp. 131-143
출판 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
