| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2023 | — | conf |
SSE
|
| 2010 | B | conf |
VEE
|
| 2009 | A* | conf |
POPL
|
| 2009 | A* | conf |
WWW
|
| 2008 | A | conf |
Middleware
|
| 2008 | A | conf |
ICWS
|
| 2007 | B | conf |
FoSSaCS
|
| 2006 | — | conf |
PLAN-X
|
| 2006 | Misc | conf |
FLOPS
|
| 2006 | B | conf |
APLAS
|
| 2006 | J | jnl |
ACM Trans. Inf. Syst. Secur.
|
| 2005 | B | conf |
TABLEAUX
|
| 2003 | C | conf |
CIAA
|
| 2003 | A* | conf |
CCS
|
| 2002 | J | jnl |
High. Order Symb. Comput.
|
| 2001 | B | conf |
ACM Symposium on Document Engineering
|
| 1999 | — | conf |
Java-Informations-Tage
|
| 1998 | B | conf |
SAS
|