| 2008 |
|---|
| 4 | EE | Oliver Wienand,
Markus Wedler,
Dominik Stoffel,
Wolfgang Kunz,
Gert-Martin Greuel:
An Algebraic Approach for Proving Data Correctness in Arithmetic Data Paths.
CAV 2008: 473-486 |
| 3 | EE | Evgeny Pavlenko,
Markus Wedler,
Dominik Stoffel,
Wolfgang Kunz,
Oliver Wienand,
Evgeny Karibaev:
Modeling of Custom-Designed Arithmetic Components for ABL Normalization.
FDL 2008: 124-129 |
| 2 | EE | Raymond Hemmecke,
Jason Morton,
Anne Shiu,
Bernd Sturmfels,
Oliver Wienand:
Three Counter-Examples on Semi-Graphoids.
Combinatorics, Probability & Computing 17(2): 239-257 (2008) |
| 2006 |
|---|
| 1 | EE | Jason Morton,
Lior Pachter,
Anne Shiu,
Bernd Sturmfels,
Oliver Wienand:
Geometry of rank tests.
Probabilistic Graphical Models 2006: 207-214 |
