Algorithms

David Lomet

September 1994

Tolga Acar

September 1994

Master's Thesis: Istanbul Technical University | September 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

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

Yuri Gurevich

ACM SIGACT NEWS | June 1994

Leslie Lamport

Z User’s Workshop, Cambridge. J.P. Bowen and J.A. Hall (Eds.) | May 1994

Gary J. Sullivan, R.L. Baker

IEEE Transactions on Image Processing | April 1994, Vol 3(3): pp. 327-331

Alex Acero

Proc. of the International Conference on Acoustics, Speech, and Signal Processing | April 1994

Proc. of the International Conference on Acoustics, Speech, and Signal Processing

David Heckerman, Dan Geiger, Max Chickering

Machine Learning | March 1994, Vol 20(3): pp. 197-243