Publications index

G. Ramalingam, Thomas Reps

August 1994

Martin Abadi, Leslie Lamport

Proceedings of the Thirteenth Annual ACM Symposium on Principles of Distributed Computing | August 1994

Leslie Lamport, Martin Abadi

Programming Concepts, Methods and Calculi, Ernst-Rüdiger Olderog editor. (Proceedings of the IFIP TC2/WG2.1/WG2.2/WG2.3 Working Conference, Procomet '94, San Miniato, Italy.) North-Holland | August 1994

Nuno Neves, Miguel Castro, Paulo Guedes

Symposium on Principles of Distributed Computing (PODC'94) | August 1994

Bill Dolan

MSR-TR-94-18 | August 1994

Proceedings of the Eleventh Conference on Uncertainty in Artificial Intelligence (UAI1995)

Leslie Lamport

Formal Techniques in Real-Time and Fault-Tolerant Systems, H. Langmaack, W.-P. de Roever, J. Vytopil editors. Lecture Notes in Computer Science, Springer-Verlag | July 1994

Mark Encarnación

ISSAC '94 Proceedings of the international symposium on Symbolic and algebraic computation | July 1994

ISBN: 0-89791-638-7

Yuri Gurevich, James K. Huggins

IFIP 1994 World Computing Congress, Volume 1: Technology and Foundations | July 1994

David Heckerman, John S. Breese

UAI-P-1994-PG-286-292 | July 1994

Proceedings of the Ninth Conference on Uncertainty in Artificial Intelligence (UAI1993)

David Heckerman, Ross D. Shachter

UAI-P-1994-PG-302-310 | July 1994

Proceedings of the Second Conference on Uncertainty in Artificial Intelligence (UAI1986)