MORE: an alternative implementation of BDD packages by multi-operand synthesis. - Andreas Hett; Bernd Becker 001; Rolf Drechsler (EURO-DAC, 1996)

Fast and efficient construction of BDDs by reordering based synthesis. - Andreas Hett; Rolf Drechsler; Bernd Becker 001 (ED&TC, 1997)

Distance driven finite state machine traversal. - Andreas Hett; Christoph Scholl 001; Bernd Becker 001 (DAC, 2000)

State Traversal guided by Hamming Distance Profiles. - Andreas Hett; Christoph Scholl 001; Bernd Becker 001 (MBMV, 2000)

Application of linearly transformed BDDs in sequential verification. - Wolfgang Günther 001; Andreas Hett; Bernd Becker 001 (ASP-DAC, 2001)

Supervised Dynamic Recording in Model Checking. - Andreas Hett; Bernd Becker 001 (MBMV (1), 2001)

Binäre Expression-Diagramme. - Andreas Hett (2002)