| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2025 | J | jnl |
Discov. Comput.
|
| 2022 | — | conf |
AIAI (2)
|
| 2020 | — | conf |
AIAI (1)
|
| 2018 | C | conf |
CoDIT
|
| 2018 | — | conf |
OR
|
| 2009 | C | conf |
ACC
|
| 2009 | Misc | conf |
Ada-Europe
|
| 2008 | C | conf |
FORTE
|
| 2008 | Misc | conf |
Ada-Europe
|
| 2007 | C | conf |
FORTE
|
| 2007 | Misc | conf |
Ada-Europe
|
| 2006 | — | conf |
FMICS/PDMC
|
| 2006 | C | ed. |
FORTE
|
| 2006 | J | jnl |
Parallel Process. Lett.
|
| 2006 | — | conf |
ICATPN
|
| 2005 | Misc | conf |
Ada-Europe
|
| 2005 | — | conf |
SPIN
|
| 2005 | B | conf |
ATVA
|
| 2003 | Misc | conf |
Ada-Europe
|
| 2003 | — | conf |
SIGAda
|
| 2000 | — | conf |
ICATPN
|
| 1999 | Misc | conf |
Ada-Europe
|
| 1998 | — | conf |
HASE
|
| 1997 | — | conf |
TRI-Ada
|
| 1997 | C | conf |
APSEC
|
| 1996 | — | conf |
Application and Theory of Petri Nets
|
| 1991 | — | conf |
Applications and Theory of Petri Nets
|