Publication Lightweight Logging for Lazy Release Consistent Distributed Shared Memory Manuel Costa, Paulo Guedes, Manuel Sequeira, Nuno Neves, Miguel Castro Proceedings of the 2nd USENIX Symposium on Operating Systems Design and Implementation (OSDI’96) | October 1996
Publication An incremental algorithm for a generalization of the shortest-path problem G. Ramalingam, Thomas Reps September 1996
Publication Five Axioms of Alpha-Conversion Andy Gordon, Tom Melham 9th International Conference, TPHOLs’96 | August 1996 Lecture Notes in Computer Science (LNCS) ISBN: 978-3-540-61587-3 (Print) 978-3-540-70641-0 (Online)
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
