| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2013 | J | jnl |
CoRR
|
| 2011 | — | conf |
ICAART (1)
|
| 2011 | C | conf |
CIDM
|
| 2011 | J | jnl |
CoRR
|
| 2011 | — | conf |
Eurographics Italian Chapter Conference
|
| 2011 | J | jnl |
CoRR
|
| 2010 | A | conf |
ICWSM
|
| 2006 | — | ch. |
Theory and Applications of Relational Structures as Knowledge Instruments
|
| 2006 | B | conf |
SEFM
|
| 2006 | — | conf |
SIGSOFT FSE
|
| 2005 | B | conf |
TABLEAUX
|
| 2005 | J | jnl |
J. Autom. Reason.
|
| 2005 | — | conf |
FroCoS
|
| 2005 | J | jnl |
J. Autom. Reason.
|
| 2005 | J | jnl |
J. Autom. Reason.
|
| 2004 | J | jnl |
J. Autom. Reason.
|
| 2004 | B | conf |
JELIA
|
| 2004 | B | conf |
LPAR
|
| 2004 | — | — |
|
| 2003 | — | conf |
APPIA-GULP-PRODE
|
| 2003 | — | conf |
FTP
|
| 2003 | — | conf |
FTP
|
| 2003 | — | conf |
Verification: Theory and Practice
|
| 2003 | J | jnl |
Theor. Comput. Sci.
|
| 2002 | B | conf |
TABLEAUX
|
| 2002 | — | conf |
10th Anniversary Colloquium of UNU/IIST
|
| 2002 | A | conf |
CADE
|
| 2002 | — | conf |
FroCoS
|
| 2000 | B | conf |
TABLEAUX
|
| 1999 | B | conf |
TABLEAUX
|
| 1998 | — | conf |
FTP (LNCS Selection)
|