Publication Algorithm + Strategy = Parallelism PW Trinder, K Hammond, H-W Loidl, Simon Peyton Jones Journal of Functional Programming | January 1998, Vol 8: pp. 23-60
Publication On Unification Problems in Restricted Second-Order Languages Jordi Jevy, Margus Veanes Annual Conference of the European Association for Computer Science Logic, CSL’98 | January 1998 Annual Conference of the European Association for Computer Science Logic, CSL'98 Appears in preliminary proceedings of CSL'98
Publication Composition: A Way to Make Proofs Harder Leslie Lamport Compositionality: The Significant Difference (Proceedings of the COMPOS’97 Symposium), Willem-Paul de Roever, Hans Langmaack, and Amir Pnueli editors. Lecture Notes in Computer Science. | December 1997
Publication Learning Mixtures of DAG Models Bo Thiesson, Chris Meek, Max Chickering, David Heckerman MSR-TR-97-30 | December 1997 Revised May 1998
Publication Grouping and Duplicate Elimination: Benefits of Early Aggregation Paul Larson MSR-TR-97-36 | December 1997
Publication High-Speed Algorithms & Architectures For Number-Theoretic Cryptosystems Tolga Acar December 1997
Publication Sequential optimisation without state space exploration A. Mehrotra, Shaz Qadeer, V. Singhal, R. K. Brayton, A. Aziz, A. L. Sangiovanni-Vincentelli Computer-Aided Design, 1997. Digest of Technical Papers., 1997 IEEE/ACM International Conference on | November 1997
Publication From Invariants to Canonization Yuri Gurevich Bulletin of the European Association for Theoretical Computer Science | October 1997
Publication Lossless Compression of Computer-Generated Animation Frames Hee Cheol Yun, Brian Guenter, Russell M. Mersereau ACM Transactions on Graphics (TOG) | October 1997, Vol 16(4): pp. 359-396
