Below is an index of publications written by Microsoft researchers, often in collaboration with the academic community.
Publication
Publication
Monadic Theory of Order and Topology in ZFC
Publication
A Review of Two Books on the Decision Problem
Publication
Prefix Classes of Krom Formulas with Identity
Publication
The Byzantine Generals Problem
Publication
A Generalization of Algebraic Surface Drawing
Publication