| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2009 | J | jnl |
ACM Trans. Program. Lang. Syst.
|
| 2008 | J | jnl |
Concurr. Comput. Pract. Exp.
|
| 2008 | Misc | conf |
PDPTA
|
| 2008 | A | conf |
IPDPS
|
| 2008 | — | conf |
PADTAD
|
| 2007 | A* | conf |
ASE
|
| 2006 | A | conf |
IPDPS
|
| 2006 | — | conf |
Software Engineering Research and Practice
|
| 2006 | Misc | conf |
PDPTA
|
| 2006 | A | conf |
IPDPS
|
| 2005 | — | conf |
Haifa Verification Conference
|
| 2005 | — | conf |
CASCON
|
| 2004 | C | conf |
HIPS
|
| 2003 | B | conf |
PPoPP
|
| 2002 | J | jnl |
Parallel Comput.
|
| 2002 | A | conf |
IPDPS
|
| 2002 | A* | conf |
ASE
|
| 2002 | B | conf |
ICPP
|
| 2000 | — | conf |
Euro-Par
|
| 1999 | — | conf |
COOTS
|
| 1997 | — | conf |
ISCOPE
|
| 1996 | — | conf |
CASCON
|
| 1995 | — | conf |
CASCON
|