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, Rolf
Hrsg.: Dewilde, Patrick (1998)
Dynamic minimization of word-level decision diagrams.
DATE98: Design, Automation and Test in Europe Conference. Paris, France (23.02.1998 - 26.02.1998)
doi: 10.1109/DATE.1998.655921
Konferenzveröffentlichung, Bibliographie

Höreth, Stefan ; Drechsler, Rolf
Hrsg.: Saul, Jon (1997)
Compilation of fast manipulation algorithms for K*BMDs.
Third International Workshop on Applications of the Reed-Muller-Expansion in Circuit Design. Oxford, UK (19.09.1997 - 20.09.1997)
Konferenzveröffentlichung, Bibliographie

Höreth, Stefan ; Drechsler, Rolf (1997)
Fast construction of Kronecker decision diagrams from library based circuits.
7th Workshop on Synthesis and System Integration of Mixed Technologies (SASIMI '97). Osaka, Japan (1997)
Konferenzveröffentlichung, Bibliographie

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