Deutsch

Höreth, Stefan (1999)
Effiziente Konstruktion und Manipulation von binären Entscheidungsgraphen.
Technische Universität Darmstadt
Dissertation, Bibliographie

Höreth, Stefan (1997)
Graphbasierte Verifikation kombinatorischer Schaltnetze unter Verwendung von Bausteinbibliotheken.
Konferenzveröffentlichung, Bibliographie

Englisch

Höreth, Stefan ; Drechsler, (1998)
Dynamic minimization of word-level decision diagrams.
Konferenzveröffentlichung, Bibliographie

Höreth, Stefan ; Drechsler, (1997)
Compilation of fast manipulation algorithms for K*BMDs.
Konferenzveröffentlichung, Bibliographie

Höreth, Stefan ; Drechsler, (1997)
Fast construction of Kronecker decision diagrams from library based circuits.
Konferenzveröffentlichung, Bibliographie

Höreth, Stefan (1997)
Implementation of a multiple-domain decision diagram package.
Konferenzveröffentlichung, Bibliographie