| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 1988 | J | jnl |
BIT
|
| 1988 | J | jnl |
New Gener. Comput.
|
| 1982 | J | jnl |
Theor. Comput. Sci.
|
| 1981 | — | ed. |
Algorithms in Modern Mathematics and Computer Science
|
| 1981 | J | jnl |
Acta Informatica
|
| 1981 | B | conf |
MFCS
|
| 1979 | — | conf |
Algorithms in Modern Mathematics and Computer Science
|
| 1978 | J | jnl |
Acta Cybern.
|
| 1977 | — | conf |
IFIP Congress
|
| 1977 | B | conf |
MFCS
|
| 1977 | — | ed. |
Methods of Algorithmic Language Implementation
|
| 1977 | — | conf |
Formal Description of Programming Concepts
|
| 1977 | J | jnl |
Inf. Process. Lett.
|
| 1976 | B | conf |
Compiler Construction
|
| 1976 | J | jnl |
Acta Informatica
|
| 1975 | — | conf |
Reliable Software
|
| 1975 | — | conf |
Language Hierarchies and Interfaces
|
| 1974 | — | ed. |
International Sympoisum on Theoretical Programming
|
| 1972 | J | jnl |
Commun. ACM
|
| 1971 | — | conf |
IFIP Congress (2)
|
| 1971 | — | conf |
IFIP Congress (1)
|
| 1970 | — | conf |
ALGOL 68 Implementation
|
| 1970 | — | conf |
ALGOL 68 Implementation
|
| 1970 | — | conf |
ALGOL 68 Implementation
|
| 1968 | — | conf |
IFIP Congress (2)
|
| 1967 | — | conf |
AFIPS Spring Joint Computing Conference
|
| 1958 | J | jnl |
Commun. ACM
|