| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2022 | Misc | conf |
SAC
|
| 2022 | B | conf |
CHIIR
|
| 2021 | A* | conf |
SIGIR
|
| 2020 | A | conf |
RecSys
|
| 2020 | — | conf |
DHN
|
| 2018 | — | conf |
DHN
|
| 2017 | C | conf |
CLOSER
|
| 2017 | — | conf |
DEXA Workshops
|
| 2016 | — | ch. |
From Action Systems to Distributed Systems
|
| 2015 | — | conf |
Refine@FM
|
| 2014 | — | conf |
NASA Formal Methods
|
| 2009 | — | conf |
AP2PS
|
| 2008 | — | conf |
FMCO
|
| 2008 | J | jnl |
Int. J. Pervasive Comput. Commun.
|
| 2007 | — | conf |
B
|
| 2006 | B | conf |
SEFM
|
| 2005 | — | conf |
EUC Workshops
|