Oliver Wienand

Publication Activity (10 Years)

Years Active: 2006-2017
Publications (10 Years): 1

Top Topics

Power Consumption

Top Venues

J. Symb. Comput.

Publications

Thomas Markwig, Yue Ren, Oliver Wienand
Standard bases in mixed power series and polynomial rings over rings. J. Symb. Comput. 79 (2017)
Gert-Martin Greuel, Frank Seelisch, Oliver Wienand
The Gröbner basis of the ideal of vanishing polynomials. J. Symb. Comput. 46 (5) (2011)
Jason Morton, Lior Pachter, Anne Shiu, Bernd Sturmfels, Oliver Wienand
Convex Rank Tests and Semigraphoids. SIAM J. Discret. Math. 23 (3) (2009)
Evgeny Pavlenko, Markus Wedler, Dominik Stoffel, Wolfgang Kunz, Oliver Wienand, Evgeny Karibaev
Modeling of Custom-Designed Arithmetic Components for ABL Normalization. MBMV (2008)
Evgeny Pavlenko, Markus Wedler, Dominik Stoffel, Wolfgang Kunz, Oliver Wienand, Evgeny Karibaev
Modeling of Custom-Designed Arithmetic Components for ABL Normalization. FDL (2008)
Oliver Wienand, Markus Wedler, Dominik Stoffel, Wolfgang Kunz, Gert-Martin Greuel
An Algebraic Approach for Proving Data Correctness in Arithmetic Data Paths. CAV (2008)
Raymond Hemmecke, Jason Morton, Anne Shiu, Bernd Sturmfels, Oliver Wienand
Three Counter-Examples on Semi-Graphoids. Comb. Probab. Comput. 17 (2) (2008)
Evgeny Pavlenko, Markus Wedler, Dominik Stoffel, Wolfgang Kunz, Oliver Wienand, Evgeny Karibaev
A New Verification Technique for Custom-Designed Components at the Arithmetic Bit Level. FDL (Selected Papers) (2008)
Jason Morton, Lior Pachter, Anne Shiu, Bernd Sturmfels, Oliver Wienand
Geometry of rank tests. Probabilistic Graphical Models (2006)