Explicit Kummer surface formulas for arbitrary characteristic. - Jan Steffen Müller (LMS J. Comput. Math., 2010)

Computing canonical heights using arithmetic intersection theory. - Jan Steffen Müller (Math. Comput., 2014)

Rational points on Jacobians of hyperelliptic curves. - Jan Steffen Müller (Advances on Superelliptic Curves and their Applications, 2015)

Computing canonical heights on elliptic curves in quasi-linear time. - Jan Steffen Müller; Michael Stoll (LMS J. Comput. Math., 2016)

A p-adic analogue of the conjecture of Birch and Swinnerton-Dyer for modular abelian varieties. - Jennifer S. Balakrishnan; Jan Steffen Müller; William Stein (Math. Comput., 2016)

Computing integral points on hyperelliptic curves using quadratic Chabauty. - Jennifer S. Balakrishnan; Amnon Besser; Jan Steffen Müller (Math. Comput., 2017)

Regularity aspects of a higher-order variational approach to the denoising and inpainting of images. - Jan Steffen Müller (2017)

Explicit arithmetic intersection theory and computation of Néron-Tate heights. - Raymond van Bommel; David Holmes; Jan Steffen Müller (Math. Comput., 2020)