| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2008 | — | ed. |
EDOCW
|
| 2003 | — | conf |
HICSS
|
| 2002 | J | jnl |
Formal Methods Syst. Des.
|
| 2001 | B | conf |
Web Engineering
|
| 2000 | J | jnl |
Comput. Networks
|
| 1999 | J | jnl |
Sci. Comput. Program.
|
| 1999 | J | jnl |
Sci. Comput. Program.
|
| 1998 | — | — |
|
| 1998 | — | conf |
AMAST
|
| 1998 | J | jnl |
Formal Aspects Comput.
|
| 1997 | C | conf |
FORTE
|
| 1997 | — | conf |
FME
|
| 1997 | — | conf |
ZUM
|
| 1996 | C | conf |
FORTE
|
| 1996 | — | conf |
FME
|
| 1996 | — | conf |
ISAW/Viewpoints@FSE
|
| 1995 | — | conf |
PSTV
|
| 1995 | — | conf |
ZUM
|