Below is an index of publications written by Microsoft researchers, often in collaboration with the academic community.
Publication
Publication
The Inference Problem for Template Dependencies
Publication
Automata, Trees, and Games
Publication
Existential Interpretation, II
Publication
On the Unique Satisfiability Problem
Publication
Monadic Theory of Order and Topology in ZFC
Publication
A Review of Two Books on the Decision Problem
Publication