| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2011 | — | conf |
FORMATS
|
| 2010 | — | conf |
WING@ETAPS/IJCAR
|
| 2010 | B | conf |
MFCS
|
| 2009 | — | conf |
TERMGRAPH@ETAPS
|
| 2009 | — | conf |
INFINITY
|
| 2008 | — | conf |
CPA
|
| 2007 | J | jnl |
Inf. Comput.
|
| 2006 | — | conf |
SOQUA
|
| 2005 | J | jnl |
Formal Aspects Comput.
|
| 2005 | J | jnl |
Ann. Pure Appl. Log.
|
| 2004 | — | conf |
AMAST
|