Algorithms - Microsoft Research

Publication

The Decidability of Simultaneous Rigid E-Unification with One Variable

Paliath Narendran, Margus Veanes, Andrei Voronkov, Anatoli Degtyarev, Yuri Gurevich

RTA’98 | January 1998

Publication

Visibility Sorting and Compositing without Splitting for Image Layer Decompositions

John Snyder, Jed Lengyel

January 1998

Publication

Persistent Applications Using Generalized Redo Recovery

David Lomet

January 1998

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