Below is an index of publications written by Microsoft researchers, often in collaboration with the academic community.
Publication
Publication
Synchronizing Time Servers
Publication
Existential Fixed-point Logic
Publication
Thinking Backward for Knowledge Acquisition
Publication
The Architecture of the Agora Environment
Publication