| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2006 | J | jnl |
Proc. IEEE
|
| 2005 | — | conf |
IFL
|
| 2002 | A | conf |
ICFP
|
| 1999 | J | jnl |
J. Funct. Program.
|
| 1998 | — | conf |
Prospects for Hardware Foundations
|
| 1994 | — | conf |
TPHOLs
|
| 1993 | — | conf |
CHDL
|
| 1993 | — | conf |
CHARME
|
| 1992 | — | conf |
TPCD
|
| 1992 | — | conf |
TPCD
|
| 1979 | J | jnl |
Microprocess. Microsystems
|