Stefan Höreth

13 papers A* 1A 2C 2Journal 2Unranked 5

Year	Rank	Type	Title / Venue / Authors
2025	C	`conf`	Bridging the Syn-to-Real Gap in Microorganism Detection Using Blended Synthetic Data. IV Sebastian Jörz, Stefan Höreth, Antonio Jorba, Eva Brucherseifer
2004	—	`conf`	Debugging and Diagnosis in Equivalence Checking of ASICs. MBMV Stefan Höreth
2004	—	`conf`	Some Common Synthesis-Simulation-Mismatches. MBMV Wolfgang Günther, Stefan Höreth
2002	J	`jnl`	Minimization of Word-Level Decision Diagrams. Integr. Rolf Drechsler, Wolfgang Günther, Stefan Höreth
2001	J	`jnl`	A word-level graph manipulation package. Int. J. Softw. Tools Technol. Transf. Stefan Höreth
2000	C	`conf`	Efficient Dynamic Minimization of Word-Level DDs Based on Lower Bound Computation. ICCD Wolfgang Günther, Rolf Drechsler, Stefan Höreth
1999	—	`—`	Effiziente Konstruktion und Manipulation von binären Entscheidungsgraphen. Stefan Höreth
1999	A	`conf`	Formal Verification of Word-Level Specifications. DATE Stefan Höreth, Rolf Drechsler
1998	A	`conf`	Dynamic Minimization of Word-Level Decision Diagrams. DATE Stefan Höreth, Rolf Drechsler
1998	—	`conf`	Manipulation of *BMDs. ASP-DAC Rolf Drechsler, Stefan Höreth
1997	—	`conf`	Implementation of a multiple-domain decision diagram package. CHARME Stefan Höreth
1996	—	`conf`	Compilation of optimized OBDD-algorithms. EURO-DAC Stefan Höreth
1993	A*	`conf`	Optimization and Resynthesis of Complex Data-Paths. DAC Hans Eveking, Stefan Höreth