| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 1993 | J | jnl |
LOPLAS
|
| 1993 | J | jnl |
Algorithmica
|
| 1992 | — | conf |
LISP and Functional Programming
|
| 1990 | A* | conf |
POPL
|
| 1989 | — | conf |
ICPP (3)
|
| 1989 | — | conf |
Transforming Strongly Sequential Rewrite Systems with Constructors for Efficient parallel Execution.
RTA
|
| 1987 | J | jnl |
Inf. Process. Lett.
|
| 1987 | J | jnl |
BIT
|
| 1987 | B | conf |
ICPP
|
| 1986 | B | conf |
ICPP
|
| 1986 | J | jnl |
Inf. Process. Lett.
|
| 1985 | — | conf |
FSTTCS
|
| 1985 | B | conf |
ICPP
|