Mouse Sets. - Mitch Rudominer (Ann. Pure Appl. Log., 1997)

The Largest Countable Inductive Set is A Mouse Set. - Mitch Rudominer (J. Symb. Log., 1999)

Inner Model Operators in L(R). - Mitch Rudominer (Ann. Pure Appl. Log., 2000)

Prochlo: Strong Privacy for Analytics in the Crowd. - Andrea Bittau; Úlfar Erlingsson; Petros Maniatis; Ilya Mironov; Ananth Raghunathan; David Lie; Mitch Rudominer; Ushasree Kode; Julien Tinnés; Bernhard Seefeld (SOSP, 2017)

The mouse set theorem just past projective. - Mitch Rudominer (J. Math. Log., 2025)