| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2010 | J | jnl |
Int. J. Softw. Tools Technol. Transf.
|
| 2009 | — | conf |
FSEN
|
| 2009 | C | conf |
FMICS
|
| 2008 | — | conf |
AMAST
|
| 2008 | A | conf |
IPDPS
|
| 2007 | C | conf |
FMICS
|
| 2007 | — | conf |
MSVVEIS
|
| 2006 | — | conf |
MMOSS
|
| 2006 | A | conf |
IPDPS
|
| 2005 | C | conf |
TIME
|
| 2005 | — | conf |
APC 25
|
| 2005 | — | conf |
WOSP
|
| 2005 | — | conf |
APC 25
|
| 2004 | — | conf |
ISoLA (Preliminary proceedings)
|
| 2004 | — | conf |
QEST
|
| 2002 | B | conf |
CONCUR
|
| 2002 | J | jnl |
Sci. Comput. Program.
|
| 2001 | — | ch. |
Handbook of Process Algebra
|
| 2001 | J | jnl |
Inf. Process. Lett.
|
| 2001 | J | jnl |
J. Log. Algebraic Methods Program.
|