| |
| 2002 | ||
|---|---|---|
| 8 | EE | Rolf Drechsler, Wolfgang Günther, Stefan Höreth: Minimization of Word-Level Decision Diagrams. Integration 33(1-2): 39-70 (2002) |
| 2001 | ||
| 7 | EE | Stefan Höreth: A word-level graph manipulation package. STTT 3(2): 182-192 (2001) |
| 2000 | ||
| 6 | EE | Wolfgang Günther, Rolf Drechsler, Stefan Höreth: Efficient Dynamic Minimization of Word-Level DDs Based on Lower Bound Computation. ICCD 2000: 383-388 |
| 1999 | ||
| 5 | EE | Stefan Höreth, Rolf Drechsler: Formal Verification of Word-Level Specifications. DATE 1999: 52-57 |
| 1998 | ||
| 4 | Rolf Drechsler, Stefan Höreth: Manipulation of *BMDs. ASP-DAC 1998: 433-438 | |
| 3 | EE | Stefan Höreth, Rolf Drechsler: Dynamic Minimization of Word-Level Decision Diagrams. DATE 1998: 612-617 |
| 1997 | ||
| 2 | Stefan Höreth: Implementation of a multiple-domain decision diagram package. CHARME 1997: 185-202 | |
| 1993 | ||
| 1 | EE | Hans Eveking, Stefan Höreth: Optimization and Resynthesis of Complex Data-Paths. DAC 1993: 637-641 |
| 1 | Rolf Drechsler | [3] [4] [5] [6] [8] |
| 2 | Hans Eveking | [1] |
| 3 | Wolfgang Günther | [6] [8] |