Explicit Calculations of Automorphic Forms for Definite Unitary Groups. - David Loeffler (LMS J. Comput. Math., 2008)

On the computation of local components of a newform. - David Loeffler; Jared Weinstein (Math. Comput., 2012)

Congruence testing for odd subgroups of the modular group. - Thomas Hamilton; David Loeffler (LMS J. Comput. Math., 2014)

Erratum: "On the computation of local components of a newform". - David Loeffler; Jared Weinstein (Math. Comput., 2015)

Formalizing zeta and L-functions in Lean. - David Loeffler; Michael Stoll (CoRR, 2025)