Verification-Centric Realization of Electronic Vote Counting. - Joseph R. Kiniry; Dermot Cochran; Patrick E. Tierney (EVT, 2007)

Lattice Size of Plane Convex Bodies. - Anthony Harrison; Jenya Soprunova; Patrick E. Tierney (SIAM J. Discret. Math., 2022)