| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2003 | J | jnl |
J. Supercomput.
|
| 2000 | J | jnl |
Ann. des Télécommunications
|
| 1999 | J | jnl |
Inf. Softw. Technol.
|
| 1999 | Misc | conf |
PDPTA
|
| 1999 | — | conf |
IWTCS
|
| 1997 | J | jnl |
Comput. Networks ISDN Syst.
|
| 1996 | C | ed. |
FORTE
|
| 1996 | J | jnl |
Comput. Commun.
|
| 1995 | — | conf |
PSTV
|
| 1994 | — | ed. |
Protocol Test Systems
|
| 1993 | B | conf |
ICNP
|
| 1992 | C | conf |
FORTE
|
| 1986 | J | jnl |
Comput. Commun. Rev.
|
| 1986 | C | conf |
ICCC
|
| 1985 | — | conf |
PSTV
|
| 1984 | — | conf |
PSTV
|
| 1984 | J | jnl |
Comput. Commun. Rev.
|
| 1983 | A* | conf |
SIGCOMM
|
| 1983 | — | conf |
Protocol Specification, Testing, and Verification
|
| 1982 | — | conf |
PSTV
|