Oliver Wienand

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2017
Standard bases in mixed power series and polynomial rings over rings.
J. Symb. Comput., 2017

2011
The Gröbner basis of the ideal of vanishing polynomials.
J. Symb. Comput., 2011

2009
Convex Rank Tests and Semigraphoids.
SIAM J. Discret. Math., 2009

2008
Three Counter-Examples on Semi-Graphoids.
Comb. Probab. Comput., 2008

Modeling of Custom-Designed Arithmetic Components for ABL Normalization.
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.
Proceedings of the Languages for Embedded Systems and their Applications, 2008

An Algebraic Approach for Proving Data Correctness in Arithmetic Data Paths.
Proceedings of the Computer Aided Verification, 20th International Conference, 2008

2006
Geometry of rank tests.
Proceedings of the Third European Workshop on Probabilistic Graphical Models, 2006


  Loading...