| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2022 | J | jnl |
IEEE Technol. Soc. Mag.
|
| 2014 | J | jnl |
IEEE Technol. Soc. Mag.
|
| 2000 | J | jnl |
IBM Syst. J.
|
| 1996 | — | conf |
SPDT
|
| 1994 | — | conf |
Workshop on Interface Definition Languages
|
| 1994 | — | conf |
USENIX Winter
|
| 1994 | A | conf |
ICDCS
|
| 1994 | — | conf |
Workshop on Interface Definition Languages
|
| 1992 | — | conf |
ICCL
|
| 1991 | — | conf |
CASCON
|
| 1991 | B | conf |
SRDS
|
| 1990 | A* | conf |
LICS
|
| 1990 | — | — |
Full Abstraction and Fixed-Point Principles for Indeterminate Computation.
|
| 1990 | A* | conf |
POPL
|
| 1989 | B | conf |
Mathematical Foundations of Programming Semantics
|
| 1989 | A* | conf |
FOCS
|