| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2014 | — | conf |
SNDS
|
| 2007 | J | jnl |
CoRR
|
| 2004 | — | conf |
MTV
|
| 2004 | A | conf |
DATE
|
| 2003 | C | conf |
FMICS
|
| 2002 | A | conf |
DATE
|
| 1999 | A* | conf |
ASE
|
| 1999 | — | conf |
World Congress on Formal Methods
|
| 1992 | J | jnl |
Theor. Comput. Sci.
|
| 1992 | J | jnl |
Theor. Comput. Sci.
|
| 1992 | J | jnl |
RAIRO Theor. Informatics Appl.
|
| 1990 | A | conf |
STACS
|