Below is an index of publications written by Microsoft researchers, often in collaboration with the academic community.
Publication
What Does Boyce-Codd Normal Form Do
Publication
A Universal File Server
Publication
Two Notes on Formalized Topology
Publication
Reaching Agreement in the Presence of Faults
Publication
Pressure release superleak sound modes in He II
Publication