Oliver Wienand

According to our database, Oliver Wienand authored at least 8 papers between 2006 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2017

Standard bases in mixed power series and polynomial rings over rings.

Thomas Markwig, Yue Ren, Oliver Wienand

J. Symb. Comput., 2017

2011

The Gröbner basis of the ideal of vanishing polynomials.

Gert-Martin Greuel, Frank Seelisch, Oliver Wienand

J. Symb. Comput., 2011

2009

Convex Rank Tests and Semigraphoids.

Jason Morton, Lior Pachter, Anne Shiu, Bernd Sturmfels, Oliver Wienand

SIAM J. Discret. Math., 2009

2008

Three Counter-Examples on Semi-Graphoids.

Raymond Hemmecke, Jason Morton, Anne Shiu, Bernd Sturmfels, Oliver Wienand

Comb. Probab. Comput., 2008

Modeling of Custom-Designed Arithmetic Components for ABL Normalization.

Evgeny Pavlenko, Markus Wedler, Dominik Stoffel, Wolfgang Kunz, Oliver Wienand, Evgeny Karibaev

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 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

Proceedings of the Languages for Embedded Systems and their Applications, 2008

An Algebraic Approach for Proving Data Correctness in Arithmetic Data Paths.

Oliver Wienand, Markus Wedler, Dominik Stoffel, Wolfgang Kunz, Gert-Martin Greuel

Proceedings of the Computer Aided Verification, 20th International Conference, 2008

2006

Geometry of rank tests.

Jason Morton, Lior Pachter, Anne Shiu, Bernd Sturmfels, Oliver Wienand

Proceedings of the Third European Workshop on Probabilistic Graphical Models, 2006