Algorithms

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

Richard Black, Ian Leslie, Derek McAuley

March 1994

March 1994

G. Ramalingam, Thomas Reps

Proceeding POPL ’94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages | January 1994

Dan Geiger, David Heckerman

MSR-TR-94-10 | January 1994