Stefan Höreth

	2002
8		Rolf Drechsler, Wolfgang Günther, Stefan Höreth: Minimization of Word-Level Decision Diagrams. Integration 33(1-2): 39-70 (2002)
	2001
7		Stefan Höreth: A word-level graph manipulation package. STTT 3(2): 182-192 (2001)
	2000
6		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		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		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		Hans Eveking, Stefan Höreth: Optimization and Resynthesis of Complex Data-Paths. DAC 1993: 637-641

Coauthor Index

1	Rolf Drechsler	[3] [4] [5] [6] [8]
2	Hans Eveking	[1]
3	Wolfgang Günther	[6] [8]

Colors in the list of coauthors