Numerical Evidence for a Conjectural Generalization of Hilbert's Theorem 132. - Werner Bley (LMS J. Comput. Math., 2003)

Computation of Stark-Tamagawa units. - Werner Bley (Math. Comput., 2003)

Picard Groups and Refined Discrete Logarithms. - Werner Bley; Markus Endres (LMS J. Comput. Math., 2005)

Computation of Locally Free Class Groups. - Werner Bley; Robert Boltje (ANTS, 2006)

Computations in Relative Algebraic K-Groups. - Werner Bley; Stephen M. J. Wilson (LMS J. Comput. Math., 2009)

Numerical Evidence for the Equivariant Birch and Swinnerton-Dyer Conjecture. - Werner Bley (Exp. Math., 2011)

Computing generators of free modules over orders in group algebras II. - Werner Bley; Henri Johnston (Math. Comput., 2011)

Numerical evidence for the equivariant Birch and Swinnerton-Dyer conjecture (Part II). - Werner Bley (Math. Comput., 2012)

Algorithmic proof of the epsilon constant conjecture. - Werner Bley; Ruben Debeerst (Math. Comput., 2013)