| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2023 | J | jnl |
IEEE Trans. Dependable Secur. Comput.
|
| 1992 | B | conf |
NOMS
|
| 1991 | A* | conf |
INFOCOM
|
| 1990 | J | jnl |
IEEE J. Sel. Areas Commun.
|
| 1988 | J | jnl |
PROSPEC: An Interactive Programming Environment for Designing and Verifying Communication Protocols.
IEEE Trans. Software Eng.
|
| 1987 | — | conf |
HCI (2)
|
| 1985 | J | jnl |
ACM Trans. Comput. Syst.
|
| 1984 | J | jnl |
Comput. Commun. Rev.
|
| 1984 | — | conf |
PSTV
|
| 1984 | — | conf |
PSTV
|
| 1981 | A | conf |
ITC
|