| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2011 | J | jnl |
Formal Aspects Comput.
|
| 2011 | — | conf |
QSIC
|
| 2009 | C | conf |
APSEC
|
| 2009 | — | conf |
Australian Software Engineering Conference
|
| 2008 | C | conf |
ABZ
|
| 2007 | B | conf |
IFM
|
| 2006 | B | conf |
ICECCS
|
| 2005 | Misc | conf |
SAC
|
| 2004 | Misc | conf |
SAC
|
| 2004 | J | jnl |
Inf. Softw. Technol.
|
| 2004 | — | conf |
SFEDL@ETAPS
|
| 2004 | — | conf |
Abstract State Machines
|
| 2004 | J | jnl |
Stud. Inform. Univ.
|
| 2004 | J | jnl |
Inf. Softw. Technol.
|
| 2003 | Misc | conf |
SAC
|
| 2003 | — | conf |
Abstract State Machines
|
| 2003 | — | conf |
Abstract State Machines
|
| 2003 | Misc | conf |
SAC
|
| 2000 | — | conf |
SAC (2)
|
| 2000 | — | conf |
AMAST
|
| 2000 | — | conf |
Abstract State Machines
|