Below is an index of publications written by Microsoft researchers, often in collaboration with the academic community.
Publication
Okapi at TREC-5
Publication
Relational Parametricity and Units of Measure
Publication
Refinement in State-Based Formalisms
Publication
Measuring the Cost of Storage Management
Publication