Publications index

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)

Stephen D. Richardson

MSR-TR-95-48 | July 1994

Ron Paulsen

IEEE Transactions on Electron Devices | June 1994, Vol 41(7): pp. 1213-1216

Rick Szeliski, S. Lavallee

International Journal of Computer Vision | June 1994, Vol 18(2): pp. 171-186