公開日 A Semantics for Imprecise Exceptions Simon Peyton Jones, Tony Hoare, Alastair Reid, Simon Marlow, Fergus Henderson Proceedings of the ACM SIGPLAN ’99 Conference on Programming Language Design and Implementation | May 1999
公開日 Specifying Concurrent Systems with TLA+ Leslie Lamport Calculational System Design | April 1999, pp. 183-247
公開日 Torpid Mixing of Some Monte Carlo Markov Chain Algorithms in Statistical Physics Christian Borgs, Jennifer Chayes, Alan Frieze, Jeong Han Kim, Prasad Tetali, Eric Vigoda, Van Ha Vu MSR-TR-99-40 | April 1999
公開日 A Lazy Caching Proof in TLA Peter Ladkin, Leslie Lamport, Bryan Olivier, Denis Roegel Distributed Computing 12 | April 1999, 巻2(3): pp. 151-174
公開日 Limits on the Efficiency of One-Way Permutation-Based Hash Functions Jeong Han Kim, Daniel R. Simon, Prasad Tetali MSR-TR-99-06 | April 1999
公開日 Case and Constraint: Research on Intelligent CAD Systems (In Chinese) Joshua Goodman, Jianfeng Gao April 1999 博士論文:Shanghai Jiaotong University | April 1999
公開日 On-line Algorithms for Combining Language Models Adam Tauman Kalai, Stanley Chen, Avrim Blum, Ronald Rosenfeld March 1999 IEEE による投稿, March 1999 Acoustics, Speech, and Signal Processing, 1999. Proceedings., 1999 IEEE International Conference on
公開日 Multiple Description Coding of Overcomplete Expansions using Projections onto Convex Sets Philip A. Chou, Sanjeev Mehrotra, Albert Wang Data Compression Conference | March 1999
公開日 TLA+ Verification of Cache-Coherence Protocols Homayoon Akhiani, Damien Doligez, Paul Harter, Leslie Lamport, Mark Tuttle, Yuan Yu, Joshua Scheid Rejected from Formal Methods ’99 | February 1999
公開日 An Equilibrium Lattice Model of Wetting on Rough Substrates Christian Borgs, J. De Coninck, R. Kotecky MSR-TR-98-18 | February 1999