| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 1988 | J | jnl |
IEEE Trans. Software Eng.
|
| 1988 | J | jnl |
Acta Informatica
|
| 1988 | — | conf |
FTRTFT
|
| 1988 | J | jnl |
ACM SIGPLAN Notices
|
| 1987 | A* | conf |
AAAI
|
| 1987 | J | jnl |
Sci. Comput. Program.
|
| 1986 | J | jnl |
Acta Informatica
|
| 1985 | B | conf |
ICPP
|
| 1985 | — | conf |
Logic of Programs
|
| 1984 | J | jnl |
Theor. Comput. Sci.
|
| 1984 | J | jnl |
ACM Trans. Program. Lang. Syst.
|
| 1984 | J | jnl |
Theor. Comput. Sci.
|
| 1983 | J | jnl |
Theor. Comput. Sci.
|
| 1979 | J | jnl |
Inf. Process. Lett.
|