| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2015 | J | jnl |
Electron. J. Inf. Syst. Dev. Ctries.
|
| 2007 | — | conf |
USENIX ATC
|
| 2006 | — | conf |
USENIX ATC, General Track
|
| 2006 | J | jnl |
login Usenix Mag.
|
| 1993 | J | jnl |
Computer
|
| 1993 | — | conf |
PPSC
|
| 1990 | J | jnl |
IEEE Micro
|
| 1990 | J | jnl |
IEEE Micro
|
| 1988 | J | jnl |
Comput. Syst.
|
| 1984 | J | jnl |
J. Syst. Softw.
|
| 1983 | A* | conf |
POPL
|
| 1983 | — | conf |
ACM Annual Conference
|
| 1981 | A* | conf |
POPL
|
| 1980 | J | jnl |
Computer
|
| 1979 | — | ed. |
SIGPLAN Symposium on Compiler Construction
|
| 1978 | A* | conf |
POPL
|
| 1978 | — | conf |
ACM Annual Conference (1)
|
| 1977 | J | jnl |
J. ACM
|
| 1977 | A* | conf |
POPL
|
| 1976 | J | jnl |
ACM Trans. Math. Softw.
|
| 1976 | A* | conf |
POPL
|
| 1976 | J | jnl |
J. ACM
|
| 1975 | J | jnl |
SIGSAM Bull.
|
| 1975 | J | jnl |
Commun. ACM
|
| 1975 | A* | conf |
STOC
|
| 1974 | J | jnl |
SIGSAM Bull.
|
| 1974 | J | jnl |
ACM Comput. Surv.
|
| 1974 | J | jnl |
SIGSAM Bull.
|
| 1974 | J | jnl |
SIGSAM Bull.
|
| 1973 | A* | conf |
STOC
|
| 1973 | A* | conf |
POPL
|
| 1972 | J | jnl |
Commun. ACM
|
| 1971 | J | jnl |
J. ACM
|
| 1971 | — | conf |
SYMSAC
|