| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 1992 | — | conf |
REX Workshop
|
| 1990 | — | conf |
Programming Concepts and Methods
|
| 1990 | A* | conf |
ICALP
|
| 1989 | — | conf |
TAPSOFT, Vol.2
|
| 1989 | J | jnl |
Int. J. Parallel Program.
|
| 1988 | J | jnl |
IEEE Trans. Software Eng.
|
| 1988 | — | conf |
Specification and Verification of Concurrent Systems
|
| 1988 | A* | conf |
ACM Symposium on User Interface Software and Technology
|
| 1984 | — | conf |
Software Development Environments (SDE)
|
| 1983 | A* | conf |
PODC
|
| 1982 | — | conf |
ECICS
|