| |
| * | 2009 | |
|---|---|---|
| 3 | EE | Michael Brickenstein, Alexander Dreyer: PolyBoRi: A framework for Gröbner-basis computations with Boolean polynomials. J. Symb. Comput. 44(9): 1326-1345 (2009) |
| 2008 | ||
| 2 | EE | Michael Brickenstein, Alexander Dreyer: Gröbner-free normal forms for boolean polynomials. ISSAC 2008: 55-62 |
| 2007 | ||
| 1 | EE | Raffaella Gentilini, Klaus Schneider, Alexander Dreyer: Three-valued automated reasoning on analog properties. ACM Great Lakes Symposium on VLSI 2007: 485-488 |
| 1 | Michael Brickenstein | [2] [3] |
| 2 | Raffaella Gentilini | [1] |
| 3 | Klaus Schneider | [1] |