| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2023 | — | conf |
ICAART (3)
|
| 2023 | B | conf |
ENASE
|
| 2023 | J | jnl |
Axioms
|
| 2023 | B | conf |
ENASE
|
| 2022 | — | conf |
ICCCI (CCIS Volume)
|
| 2022 | J | jnl |
RAIRO Theor. Informatics Appl.
|
| 2020 | B | conf |
IWCMC
|
| 2018 | J | jnl |
J. Symb. Log.
|
| 2015 | C | conf |
MODELSWARD
|
| 2011 | C | conf |
CIT
|
| 2010 | J | jnl |
J. Log. Anal.
|
| 2007 | Misc | conf |
Ada-Europe
|
| 1995 | — | — |