Oliver Wienand (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

4 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 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

Selection of 2 from 4 records - Oliver Wienand has 11 coauthors

4		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		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