Andreas Hett

According to our database, Andreas Hett authored at least 7 papers between 1996 and 2002.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2002

Binäre Expression-Diagramme.

Andreas Hett

PhD thesis, 2002

2001

Supervised Dynamic Recording in Model Checking.

Andreas Hett, Bernd Becker

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2001

Application of linearly transformed BDDs in sequential verification.

Wolfgang Günther, Andreas Hett, Bernd Becker

Proceedings of ASP-DAC 2001, 2001

2000

State Traversal guided by Hamming Distance Profiles.

Andreas Hett, Christoph Scholl, Bernd Becker

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Frankfurt, Germany, February 28, 2000

Distance driven finite state machine traversal.

Andreas Hett, Christoph Scholl, Bernd Becker

Proceedings of the 37th Conference on Design Automation, 2000

1997

Fast and efficient construction of BDDs by reordering based synthesis.

Andreas Hett, Rolf Drechsler, Bernd Becker

Proceedings of the European Design and Test Conference, 1997

1996

MORE: an alternative implementation of BDD packages by multi-operand synthesis.

Andreas Hett, Bernd Becker, Rolf Drechsler

Proceedings of the conference on European design automation, 1996