Below is an index of publications written by Microsoft researchers, often in collaboration with the academic community.
Publication
Publication
Algebraic Operational Semantics and Modula-2
Publication
Logic and the Challenge of Computer Science
Publication
A Method for Temporal Probabilistic Reasoning
Publication
The Existence of Refinement Mappings
Publication
On Kolmogorov Machines and Related Issues
Publication