| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2007 | J | jnl |
Commun. ACM
|
| 2006 | A* | conf |
UIST
|
| 1996 | — | conf |
PARA
|
| 1993 | — | ch. |
Program Verification
|
| 1993 | — | ch. |
Program Verification
|
| 1993 | — | ch. |
Program Verification
|
| 1993 | J | jnl |
Comput. J.
|
| 1992 | — | conf |
Designing Correct Circuits
|
| 1986 | J | jnl |
BIT
|
| 1985 | — | conf |
TAPSOFT, Vol.2
|
| 1982 | J | jnl |
BIT
|
| 1980 | J | jnl |
BIT
|
| 1979 | J | jnl |
Comput. J.
|
| 1978 | — | conf |
HOPL
|
| 1978 | J | jnl |
ACM SIGPLAN Notices
|
| 1978 | — | conf |
HOPL
|
| 1975 | A* | conf |
POPL
|
| 1975 | J | jnl |
Commun. ACM
|
| 1974 | — | conf |
GI Jahrestagung
|
| 1968 | — | conf |
IFIP Congress (2)
|
| 1966 | J | jnl |
Commun. ACM
|
| 1966 | J | jnl |
Commun. ACM
|
| 1965 | J | jnl |
Commun. ACM
|
| 1964 | J | jnl |
Commun. ACM
|
| 1964 | J | jnl |
Commun. ACM
|
| 1964 | J | jnl |
Commun. ACM
|
| 1963 | J | jnl |
Commun. ACM
|
| 1963 | J | jnl |
Commun. ACM
|
| 1963 | J | jnl |
Commun. ACM
|
| 1963 | J | jnl |
Commun. ACM
|
| 1963 | J | jnl |
Commun. ACM
|
| 1963 | J | jnl |
Commun. ACM
|
| 1963 | J | jnl |
Commun. ACM
|
| 1963 | J | jnl |
IEEE Trans. Electron. Comput.
|
| 1963 | J | jnl |
Commun. ACM
|
| 1963 | J | jnl |
Commun. ACM
|
| 1963 | J | jnl |
Commun. ACM
|
| 1963 | J | jnl |
Commun. ACM
|
| 1963 | J | jnl |
Commun. ACM
|
| 1963 | J | jnl |
Comput. J.
|
| 1961 | J | jnl |
Commun. ACM
|