Ada and the X Window System. - Stuart Lewin; Kirk Beitz; Christopher Byrnes; Michael Hardy; Rich Hilliard; Craig Warsaw (TRI-Ada, 1991)

Scaled Boolean algebras. - Michael Hardy (Adv. Appl. Math., 2002)

An Illuminating Counterexample. - Michael Hardy (Am. Math. Mon., 2003)

Combinatorics of Partial Derivatives. - Michael Hardy (Electron. J. Comb., 2006)

Stereographic Trigonometric Identities. - Michael Hardy (Am. Math. Mon., 2015)

Using Infinitesimals to Differentiate Secant and Tangent. - Michael Hardy (Am. Math. Mon., 2015)

On Tangents and Secants of Infinite Sums. - Michael Hardy (Am. Math. Mon., 2016)

"All that Glitters": Approaches to Evaluations with Unreliable Model and Human Annotations. - Michael Hardy (CoRR, 2024)

"All that Glitters": Techniques for Evaluations with Unreliable Model and Human Annotations. - Michael Hardy (NAACL (Findings), 2025)