Algorithms

Jin Li, C.-C. Jay Kuo

January 1997

Christopher Bishop, C. S. Qazaz

Proceedings 1996 International Conference on Artificial Neural Networks, ICANN’96, Bochum, Germany | January 1997

Natasha Alechina, Yuri Gurevich

Structures in Logic and Computer Science: A Selection of Essays in Honor of Andrzej Ehrenfeucht, Lecture Notes in Computer Science. | January 1997

Christopher Bishop, Markus Svensén, Christopher K. I. Williams

Proceedings IEE Fifth International Conference on Artificial Neural Networks, Cambridge, U.K. | January 1997

Leslie Lamport

1996-001 | December 1996

Martin Abadi, Leslie Lamport, Stephan Merz

Formal Systems Specification: The RPC-Memory Specification Case Study, Manfred Broy, Stephan Merz, and Katharina Spies editors. Lecture Notes in Computer Science, number 1169, (1996), 21-66. | November 1996

Frank Tip, Jong-Deok Choi, John Field, G. Ramalingam

Proceeding OOPSLA ’96 Proceedings of the 11th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications | October 1996

Anatoli Degtyarev, Yuri Gurevich, Andrei Voronkov

Bulletin of the European Association for Theoretical Computer Science | October 1996

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

G. Ramalingam, Thomas Reps

September 1996