| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2008 | J | jnl |
Softw. Syst. Model.
|
| 2005 | B | conf |
SEFM
|
| 2000 | J | jnl |
J. Univers. Comput. Sci.
|
| 1999 | J | jnl |
Autom. Softw. Eng.
|
| 1999 | — | conf |
FMOODS
|
| 1996 | J | jnl |
Softw. Eng. J.
|
| 1995 | J | jnl |
Inf. Softw. Technol.
|
| 1994 | A | conf |
ECOOP
|
| 1994 | — | conf |
ISOOMS
|
| 1993 | — | book |
Comparative programming languages (2. ed.).
|
| 1993 | — | conf |
SBES
|
| 1992 | J | jnl |
Comput. Commun.
|
| 1990 | J | jnl |
Softw. Eng. J.
|
| 1988 | — | conf |
Specification and Verification of Concurrent Systems
|
| 1987 | — | conf |
IRTAW
|
| 1979 | J | jnl |
ACM SIGPLAN Notices
|