| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2026 | J | jnl |
CoRR
|
| 2026 | J | jnl |
Int. J. Approx. Reason.
|
| 2026 | J | jnl |
CoRR
|
| 2025 | — | conf |
ISIPTA
|
| 2025 | J | jnl |
CoRR
|
| 2025 | J | jnl |
CoRR
|
| 2024 | J | jnl |
CoRR
|
| 2024 | B | conf |
HAI
|
| 2024 | — | conf |
HCI (51)
|
| 2024 | J | jnl |
CoRR
|
| 2024 | J | jnl |
Minds Mach.
|
| 2024 | J | jnl |
CoRR
|
| 2023 | — | conf |
ISIPTA
|
| 2023 | J | jnl |
SN Comput. Sci.
|
| 2023 | — | conf |
xAI (Late-breaking Work, Demos, Doctoral Consortium)
|
| 2022 | J | jnl |
CoRR
|
| 2022 | Misc | conf |
ISAIM
|
| 2022 | J | jnl |
Arch. Math. Log.
|
| 2022 | J | jnl |
Int. J. Approx. Reason.
|
| 2021 | C | conf |
EUMAS
|
| 2021 | — | conf |
ISIPTA
|
| 2021 | — | conf |
ISIPTA
|
| 2021 | J | jnl |
CoRR
|
| 2021 | J | jnl |
CoRR
|
| 2020 | — | conf |
PGM
|
| 2020 | J | jnl |
ACM Trans. Comput. Log.
|
| 2020 | J | jnl |
CoRR
|
| 2020 | J | jnl |
Int. J. Approx. Reason.
|
| 2019 | — | conf |
ISIPTA
|
| 2019 | J | jnl |
CoRR
|
| 2019 | J | jnl |
CoRR
|
| 2019 | — | conf |
ISIPTA
|
| 2019 | J | jnl |
Int. J. Approx. Reason.
|
| 2018 | — | conf |
SUM
|
| 2018 | J | jnl |
CoRR
|
| 2018 | J | jnl |
CoRR
|
| 2018 | — | conf |
PLP@ILP
|
| 2018 | J | jnl |
CoRR
|
| 2017 | — | conf |
ISIPTA
|
| 2017 | — | conf |
ISIPTA
|
| 2016 | J | jnl |
SIGMETRICS Perform. Evaluation Rev.
|
| 2016 | J | jnl |
ACM Trans. Comput. Log.
|
| 2016 | — | conf |
IDM@NIPS
|
| 2015 | J | jnl |
Log. Methods Comput. Sci.
|
| 2015 | J | jnl |
CoRR
|
| 2015 | C | conf |
WoLLIC
|
| 2014 | C | conf |
CiE
|
| 2014 | J | jnl |
CoRR
|
| 2014 | J | jnl |
CoRR
|
| 2014 | — | conf |
CSL-LICS
|
| 2013 | A* | conf |
LICS
|
| 2013 | A* | conf |
LICS
|
| 2011 | B | conf |
MFCS
|
| 2011 | — | conf |
FSTTCS
|
| 2009 | B | conf |
CSL
|
| 2009 | J | jnl |
Stud Logica
|
| 2009 | — | conf |
FSTTCS
|
| 2009 | J | jnl |
J. Symb. Log.
|
| 2008 | C | conf |
CiE
|
| 2007 | — | conf |
ILC
|