Below is an index of publications written by Microsoft researchers, often in collaboration with the academic community.
Publication
Monadic Second-order Theories
Publication
The Decision Problem for Branching Time Logic
Publication