| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2011 | — | conf |
C3S2E
|
| 2007 | — | conf |
HCI (16)
|
| 1997 | B | conf |
CBMS
|
| 1977 | J | jnl |
Acta Informatica
|
| 1977 | J | jnl |
Acta Informatica
|
| 1977 | J | jnl |
Inf. Sci.
|
| 1974 | J | jnl |
J. ACM
|
| 1974 | A* | conf |
ICALP
|
| 1973 | J | jnl |
Commun. ACM
|
| 1973 | A* | conf |
STOC
|
| 1972 | J | jnl |
Commun. ACM
|
| 1972 | J | jnl |
IEEE Trans. Computers
|
| 1971 | J | jnl |
Math. Syst. Theory
|
| 1971 | — | conf |
IFIP Congress (2)
|
| 1970 | J | jnl |
Inf. Control.
|
| 1970 | J | jnl |
Commun. ACM
|
| 1970 | J | jnl |
J. ACM
|
| 1969 | J | jnl |
Inf. Control.
|
| 1967 | — | — |
|
| 1962 | J | jnl |
J. Symb. Log.
|