| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2020 | Misc | conf |
AMTA
|
| 2014 | — | conf |
AAAI Spring Symposia
|
| 2013 | J | jnl |
Comput. Lang. Syst. Struct.
|
| 2012 | — | conf |
CNL
|
| 2012 | — | — |
|
| 2011 | — | conf |
Formal Aspects in Security and Trust
|
| 2010 | — | conf |
LPAR (Dakar)
|
| 2009 | — | conf |
ASIAN
|
| 2004 | A* | conf |
ICRA
|
| 2003 | A | conf |
IROS
|
| 2003 | A | conf |
IROS
|
| 2002 | J | jnl |
IEEE Robotics Autom. Mag.
|
| 2001 | A | conf |
IROS
|
| 2000 | J | jnl |
Auton. Robots
|