| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2003 | J | jnl |
Inf. Comput.
|
| 1998 | — | conf |
TPHOLs
|
| 1996 | A | conf |
CADE
|
| 1995 | J | jnl |
Comput. J.
|
| 1994 | — | conf |
TPHOLs
|
| 1991 | — | conf |
TPHOLs
|
| 1989 | J | jnl |
IEEE Trans. Software Eng.
|
| 1986 | J | jnl |
ACM Trans. Program. Lang. Syst.
|
| 1982 | — | conf |
AdaTEC Conference on Ada
|
| 1979 | J | jnl |
Math. Syst. Theory
|
| 1978 | J | jnl |
Inf. Control.
|
| 1978 | J | jnl |
On the time required for reference count management in retention block-structured languages. Part 2.
Int. J. Parallel Program.
|
| 1978 | J | jnl |
Int. J. Parallel Program.
|
| 1976 | A* | conf |
FOCS
|
| 1975 | — | conf |
Reliable Software
|
| 1973 | — | conf |
HLLCA
|
| 1973 | — | conf |
HLLCA
|
| 1972 | J | jnl |
Commun. ACM
|
| 1970 | A* | conf |
STOC
|
| 1969 | J | jnl |
IEEE Trans. Computers
|
| 1968 | J | jnl |
Commun. ACM
|
| 1967 | J | jnl |
IEEE Trans. Electron. Comput.
|
| 1967 | J | jnl |
IEEE Trans. Electron. Comput.
|
| 1967 | J | jnl |
J. ACM
|