| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 1996 | — | book |
Die Sprache der Maschinen.
|
| 1993 | — | ch. |
Program Verification
|
| 1990 | J | jnl |
SIAM J. Comput.
|
| 1982 | J | jnl |
J. ACM
|
| 1980 | A* | conf |
FOCS
|
| 1979 | J | jnl |
Commun. ACM
|
| 1975 | J | jnl |
Commun. ACM
|
| 1975 | J | jnl |
Commun. ACM
|
| 1975 | A* | conf |
FOCS
|
| 1973 | J | jnl |
Inf. Process. Lett.
|
| 1973 | A* | ed. |
STOC
|
| 1973 | J | jnl |
J. Comput. Syst. Sci.
|
| 1972 | J | jnl |
J. Comput. Syst. Sci.
|
| 1972 | J | jnl |
Inf. Process. Lett.
|
| 1972 | A* | conf |
STOC
|
| 1972 | — | conf |
Complexity of Computer Computations
|
| 1971 | J | jnl |
Inf. Process. Lett.
|
| 1971 | — | conf |
IFIP Congress (1)
|
| 1970 | A* | conf |
STOC
|
| 1969 | J | jnl |
ACM SIGPLAN Notices
|
| 1967 | J | jnl |
J. ACM
|
| 1964 | J | jnl |
Commun. ACM
|
| 1964 | J | jnl |
Commun. ACM
|
| 1964 | J | jnl |
IEEE Trans. Electron. Comput.
|
| 1963 | J | jnl |
J. ACM
|
| 1962 | J | jnl |
Commun. ACM
|
| 1962 | J | jnl |
Commun. ACM
|
| 1962 | J | jnl |
Commun. ACM
|
| 1962 | J | jnl |
Commun. ACM
|
| 1962 | J | jnl |
Commun. ACM
|
| 1961 | J | jnl |
J. ACM
|
| 1961 | J | jnl |
Inf. Control.
|
| 1961 | J | jnl |
Commun. ACM
|
| 1960 | J | jnl |
Commun. ACM
|
| 1960 | J | jnl |
Commun. ACM
|