| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2011 | — | conf |
MBMV
|
| 2011 | — | conf |
MBMV
|
| 2011 | — | conf |
HLDVT
|
| 2010 | — | conf |
MBMV
|
| 2010 | — | conf |
MBMV
|
| 2009 | — | conf |
MBMV
|
| 2008 | — | conf |
MBMV
|
| 2007 | C | conf |
FDL
|
| 2007 | B | conf |
FMCAD
|
| 2007 | — | conf |
MBMV
|
| 2007 | C | conf |
MEMOCODE
|
| 2006 | C | conf |
FDL
|
| 2006 | — | ed. |
VLSI-SoC (Selected Papers)
|
| 2003 | C | ed. |
VLSI-SoC
|
| 2001 | J | jnl |
Informationstechnik Tech. Inform.
|
| 2001 | — | conf |
HLDVT
|
| 2000 | — | conf |
MBMV
|
| 1999 | A | conf |
DATE
|
| 1999 | — | conf |
MBMV
|
| 1999 | — | conf |
ASIAN
|
| 1999 | — | conf |
CHARME
|
| 1995 | — | ed. |
CHARME
|
| 1994 | — | conf |
EURO-DAC
|
| 1993 | A* | conf |
DAC
|
| 1991 | — | book |
Verifikation digitaler Systeme - eine Einführung in den Entwurf korrekter digitaler Systeme.
|
| 1990 | A* | conf |
CAV
|
| 1990 | — | conf |
CAV (DIMACS/AMS volume)
|
| 1990 | — | conf |
EURO-DAC
|
| 1987 | J | jnl |
Microprocess. Microprogramming
|