| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2025 | J | jnl |
J. Symb. Log.
|
| 2025 | J | jnl |
CoRR
|
| 2025 | J | jnl |
CoRR
|
| 2025 | J | jnl |
Proc. Priv. Enhancing Technol.
|
| 2024 | J | jnl |
Ann. Pure Appl. Log.
|
| 2024 | — | conf |
EGOV-CeDEM-ePart-*
|
| 2024 | B | conf |
ARES
|
| 2024 | J | jnl |
CoRR
|
| 2024 | — | conf |
EGOV-CeDEM-ePart-*
|
| 2024 | J | jnl |
CoRR
|
| 2024 | J | jnl |
CoRR
|
| 2023 | J | jnl |
CoRR
|
| 2023 | — | conf |
EGOV-CeDEM-ePart-*
|
| 2023 | J | jnl |
CoRR
|
| 2023 | — | conf |
itaDATA
|
| 2023 | J | jnl |
CoRR
|
| 2023 | J | jnl |
CoRR
|
| 2023 | J | jnl |
Ann. Pure Appl. Log.
|
| 2023 | J | jnl |
CoRR
|
| 2023 | — | conf |
DG.O
|
| 2023 | J | jnl |
CoRR
|
| 2023 | — | conf |
WWW (Companion Volume)
|
| 2023 | J | jnl |
CoRR
|
| 2022 | Misc | conf |
MuC
|
| 2022 | J | jnl |
CoRR
|
| 2022 | J | jnl |
Arch. Math. Log.
|
| 2022 | J | jnl |
CoRR
|
| 2021 | J | jnl |
CoRR
|
| 2021 | J | jnl |
CoRR
|
| 2021 | J | jnl |
Frontiers Artif. Intell.
|
| 2021 | J | jnl |
CoRR
|
| 2021 | J | jnl |
Arch. Math. Log.
|
| 2021 | — | conf |
ICSSA
|
| 2021 | Misc | conf |
CSR
|
| 2021 | J | jnl |
CoRR
|
| 2021 | Misc | conf |
SEC
|
| 2021 | J | jnl |
CoRR
|
| 2021 | J | jnl |
CoRR
|
| 2021 | J | jnl |
Comput. Secur.
|
| 2020 | J | jnl |
CoRR
|
| 2020 | J | jnl |
J. Cyber Secur. Mobil.
|
| 2019 | — | conf |
ICSSA
|
| 2019 | J | jnl |
Bull. Symb. Log.
|
| 2019 | J | jnl |
ERCIM News
|
| 2019 | J | jnl |
CoRR
|
| 2019 | B | conf |
ARES
|
| 2019 | J | jnl |
CoRR
|
| 2019 | J | jnl |
Comb. Probab. Comput.
|
| 2019 | J | jnl |
Arch. Math. Log.
|
| 2013 | — | conf |
MTSR
|