| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2026 | J | jnl |
CoRR
|
| 2025 | — | conf |
ICSTW
|
| 2023 | — | conf |
ICSTW
|
| 2020 | — | conf |
QRS Companion
|
| 2020 | — | conf |
AIST (Supplement)
|
| 2019 | — | conf |
QRS Companion
|
| 2019 | — | conf |
AIST (Supplement)
|
| 2019 | A | conf |
ICST
|
| 2019 | — | conf |
AITest
|
| 2018 | Misc | conf |
AIST
|
| 2016 | Misc | conf |
AIST
|
| 2015 | Misc | conf |
AIST
|
| 2015 | — | conf |
SNAFCA@ICFCA
|
| 2014 | Misc | ed. |
AIST
|
| 2014 | — | conf |
ITQM
|
| 2014 | Misc | conf |
AIST
|
| 2006 | A | conf |
DISC
|
| 2005 | — | conf |
Abstract State Machines
|
| 2005 | J | jnl |
J. Log. Comput.
|
| 2005 | — | conf |
Abstract State Machines
|
| 2004 | — | conf |
Abstract State Machines
|