Stefan Hreth
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
1993–2025
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | IV | Bridging the Syn-to-Real Gap in Microorganism Detection Using Blended Synthetic Data. | Sebastian Jrz, Stefan Hreth, Antonio Jorba, Eva Brucherseifer |
| 2000 | ICCD | Efficient Dynamic Minimization of Word-Level DDs Based on Lower Bound Computation. | Wolfgang Gnther, Rolf Drechsler, Stefan Hreth |
| 1999 | DATE | Formal Verification of Word-Level Specifications. | Stefan Hreth, Rolf Drechsler |
| 1998 | ASPDAC | Manipulation of *BMDs. | Rolf Drechsler, Stefan Hreth |
| 1998 | DATE | Dynamic Minimization of Word-Level Decision Diagrams. | Stefan Hreth, Rolf Drechsler |
| 1993 | DAC | Optimization and Resynthesis of Complex Data-Paths. | Hans Eveking, Stefan Hreth |