Below is an index of publications written by Microsoft researchers, often in collaboration with the academic community.
Publication
Publication
The undecidability of aliasing
Publication
Best-First Minimax Search
Publication
Homotopy and Critical Morphological Sampling
Publication
Open Systems in TLA
Publication