Geometry of rank tests. - Jason Morton; Lior Pachter; Anne Shiu; Bernd Sturmfels; Oliver Wienand (Probabilistic Graphical Models, 2006)

An Algebraic Approach for Proving Data Correctness in Arithmetic Data Paths. - Oliver Wienand; Markus Wedler; Dominik Stoffel; Wolfgang Kunz; Gert-Martin Greuel (CAV, 2008)

A New Verification Technique for Custom-Designed Components at the Arithmetic Bit Level. - Evgeny Pavlenko; Markus Wedler; Dominik Stoffel; Wolfgang Kunz; Oliver Wienand; Evgeny Karibaev (FDL (Selected Papers), 2008)

Modeling of Custom-Designed Arithmetic Components for ABL Normalization. - Evgeny Pavlenko; Markus Wedler; Dominik Stoffel; Wolfgang Kunz; Oliver Wienand; Evgeny Karibaev (MBMV, 2008)

Three Counter-Examples on Semi-Graphoids. - Raymond Hemmecke; Jason Morton; Anne Shiu; Bernd Sturmfels; Oliver Wienand (Comb. Probab. Comput., 2008)

Convex Rank Tests and Semigraphoids. - Jason Morton; Lior Pachter; Anne Shiu; Bernd Sturmfels; Oliver Wienand (SIAM J. Discret. Math., 2009)

The Gröbner basis of the ideal of vanishing polynomials. - Gert-Martin Greuel; Frank Seelisch; Oliver Wienand (J. Symb. Comput., 2011)

Standard bases in mixed power series and polynomial rings over rings. - Thomas Markwig; Yue Ren; Oliver Wienand (J. Symb. Comput., 2017)