| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2011 | J | jnl |
Formal Aspects Comput.
|
| 2009 | C | conf |
Haskell
|
| 2007 | C | conf |
MEMOCODE
|
| 2006 | A | conf |
TACAS
|
| 2006 | — | conf |
ACSD
|
| 1993 | J | jnl |
ACM Trans. Program. Lang. Syst.
|
| 1993 | J | jnl |
Distributed Comput.
|
| 1991 | J | jnl |
IEEE Trans. Commun.
|
| 1991 | J | jnl |
Integr.
|
| 1990 | J | jnl |
Distributed Comput.
|
| 1989 | B | conf |
SPAA
|
| 1989 | A* | conf |
SIGCOMM
|
| 1989 | — | conf |
Hardware Specification, Verification and Synthesis
|
| 1989 | B | conf |
SRDS
|
| 1989 | J | jnl |
IEEE Trans. Computers
|
| 1986 | B | conf |
ICPP
|