| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 1996 | J | jnl |
J. Univers. Comput. Sci.
|
| 1991 | — | conf |
VDM Europe (1)
|
| 1990 | B | conf |
COMPSAC
|
| 1990 | J | jnl |
ACM Trans. Graph.
|
| 1990 | J | jnl |
Softw. Eng. J.
|
| 1990 | J | jnl |
IEEE Trans. Software Eng.
|
| 1988 | J | jnl |
IEEE Trans. Software Eng.
|
| 1988 | — | conf |
Specification and Verification of Concurrent Systems
|
| 1988 | B | conf |
COMPSAC
|
| 1987 | A* | conf |
SIGGRAPH
|
| 1980 | J | jnl |
J. Syst. Softw.
|