| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2010 | — | conf |
NIME
|
| 2010 | A | conf |
IROS
|
| 2010 | A* | conf |
ICRA
|
| 2009 | A* | conf |
ICRA
|
| 2009 | J | jnl |
Adv. Robotics
|
| 2009 | B | conf |
RO-MAN
|
| 2008 | A* | conf |
ICRA
|
| 2008 | B | conf |
RO-MAN
|
| 2007 | A | conf |
IROS
|
| 2007 | A | conf |
IROS
|
| 2001 | — | ch. |
Symbolic Algebraic Methods and Verification Methods
|
| 2001 | — | ch. |
Symbolic Algebraic Methods and Verification Methods
|
| 2001 | J | jnl |
Numer. Linear Algebra Appl.
|
| 2001 | — | book |
|
| 1992 | J | jnl |
Computing
|
| 1984 | J | jnl |
Computing
|