| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2015 | J | jnl |
Int. J. Netw. Comput.
|
| 2014 | — | conf |
CANDAR
|
| 2013 | — | conf |
Haifa Verification Conference
|
| 2009 | Misc | conf |
SAC
|
| 2008 | J | jnl |
Int. J. Agent Oriented Softw. Eng.
|
| 2008 | Misc | conf |
SAC
|
| 2008 | B | conf |
COMPSAC
|
| 2008 | — | conf |
IEEE SCC (2)
|
| 2007 | — | conf |
HoloMAS
|
| 2007 | J | jnl |
Auton. Agents Multi Agent Syst.
|
| 2007 | — | — |
|
| 2006 | — | conf |
ESAW
|
| 2006 | — | conf |
SELMAS (LNCS)
|
| 2006 | — | conf |
SELMAS
|
| 2006 | — | conf |
E4MAS
|
| 2006 | Misc | conf |
FLAIRS
|
| 2006 | J | jnl |
ACM SIGSOFT Softw. Eng. Notes
|
| 2005 | — | conf |
AMT
|
| 2005 | — | conf |
E4MAS
|
| 2005 | C | conf |
EUMAS
|
| 2004 | B | conf |
PRIMA
|
| 2004 | — | conf |
ESAW
|