| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2013 | J | jnl |
Int. J. Agent Technol. Syst.
|
| 2013 | J | jnl |
SIAM J. Appl. Dyn. Syst.
|
| 2010 | — | conf |
ACSC
|
| 2010 | J | jnl |
IACR Cryptol. ePrint Arch.
|
| 2006 | J | jnl |
ACM SIGPLAN Notices
|
| 2005 | — | conf |
ACSC
|
| 2005 | — | conf |
CATS
|
| 2004 | — | conf |
ACSC
|
| 2002 | — | conf |
CATS
|
| 2001 | — | conf |
InVis.au
|
| 2000 | — | conf |
CSFW
|
| 1994 | J | jnl |
ACM SIGPLAN Notices
|