| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2005 | — | conf |
MSVVEIS
|
| 2005 | J | jnl |
Theor. Comput. Sci.
|
| 2005 | — | conf |
VSTTE
|
| 2004 | J | jnl |
Formal Methods Syst. Des.
|
| 2004 | A | conf |
IPDPS
|
| 2004 | B | conf |
VMCAI
|
| 2003 | — | conf |
Abstract State Machines
|
| 2001 | J | jnl |
Concurr. Comput. Pract. Exp.
|
| 2000 | J | jnl |
IEEE Trans. Software Eng.
|
| 2000 | A | conf |
OOPSLA
|
| 1998 | A* | conf |
CCS
|
| 1998 | — | conf |
FroCoS
|
| 1996 | — | conf |
Euro-Par, Vol. I
|
| 1994 | A | conf |
ISSTA
|
| 1994 | A | conf |
CADE
|
| 1994 | — | conf |
Specification of Parallel Algorithms
|
| 1993 | J | jnl |
LOPLAS
|
| 1992 | A | conf |
CADE
|
| 1991 | A | conf |
ISSRE
|
| 1990 | — | conf |
SDE
|
| 1989 | — | conf |
IWSSD
|
| 1986 | — | conf |
ISPW
|
| 1984 | — | conf |
LISP and Functional Programming
|
| 1982 | J | jnl |
Inf. Process. Lett.
|