Publication The RPC-Memory Specification Problem: Problem Statement Manfred Broy, Leslie Lamport Formal Systems Specification: The RPC-Memory Specification Case Study, Manfred Broy, Stephan Merz, and Katharina Spies editors. Lecture Notes in Computer Science. | August 1996, Vol 1169: pp. 1-4
Publication Error Probabilities of Synchronous DS/CDMA Systems with Random and Deterministic Signature Sequences for Ideal and Fading Channels Jack W. Stokes, Jame A. Ritcey IEEE International Communications Conference ICC | June 1996
Publication A Comparison of Scientific and Engineering Criteria for Bayesian Model Selection David Heckerman, Max Chickering MSR-TR-96-12 | June 1996 Tools and Algorithms for the Construction and Analysis of Systems (TACAS '07)
Publication On Finite Rigid Structures Yuri Gurevich, Saharon Shelah Journal of Symbolic Logic | June 1996, Vol 61(2): pp. 549-562
Publication Parsing Algorithms and Metrics Joshua Goodman Proceedings of the 34th Annual Meeting of the ACL | June 1996
Publication On the computational complexity of dynamic graphs problems G. Ramalingam, Thomas Reps May 1996
Publication Decision-Theoretic Case-Based Reasoning John S. Breese, David Heckerman MSR-TR-95-03 | May 1996 IEEE Transactions on Systems, Man, and Cybernetics
Publication Fragment Reconstruction: A New Cache Coherence Scheme for Split Caching Storage Systems (Looking at the Doughnut and not the Hole) Liuba Shrira, Barbara Liskov, Miguel Castro, Atul Adya International Workshop on Persistent Object Systems (POS’96) | May 1996
Publication Global Query Processing and Optimization in the CORDS Multidatabase System Paul Larson, Qiang Zhu April 1996
Publication An Image Database Browser that Learns from User Interaction Tom Minka January 1996 January 1996
