| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2001 | J | jnl |
Inf. Process. Lett.
|
| 1996 | J | jnl |
Sci. Comput. Program.
|
| 1995 | B | conf |
MPC
|
| 1995 | J | jnl |
Sci. Comput. Program.
|
| 1994 | — | conf |
PROCOMET
|
| 1992 | J | jnl |
Distributed Comput.
|
| 1991 | J | jnl |
Inf. Process. Lett.
|
| 1991 | J | jnl |
Inf. Process. Lett.
|
| 1990 | J | jnl |
Sci. Comput. Program.
|
| 1990 | — | book |
Programming - the derivation of algorithms.
|
| 1990 | J | jnl |
Sci. Comput. Program.
|
| 1990 | J | jnl |
Sci. Comput. Program.
|
| 1989 | B | conf |
MPC
|
| 1989 | B | conf |
MPC
|
| 1987 | J | jnl |
Sci. Comput. Program.
|
| 1987 | — | conf |
PARLE (1)
|
| 1985 | J | jnl |
Inf. Process. Lett.
|
| 1983 | — | conf |
The Analysis of Concurrent Systems
|