| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2024 | B | conf |
ITP
|
| 2023 | B | conf |
LPAR
|
| 2023 | — | conf |
LSFA/HCVS
|
| 2021 | J | jnl |
J. Autom. Reason.
|
| 2018 | B | conf |
ITP
|
| 2017 | J | jnl |
J. Autom. Reason.
|
| 2014 | J | jnl |
Log. J. IGPL
|
| 2011 | — | conf |
LSFA
|
| 2010 | J | jnl |
J. Autom. Reason.
|
| 2010 | C | conf |
WoLLIC
|
| 2008 | J | jnl |
J. Formaliz. Reason.
|
| 2008 | — | conf |
LSFA
|
| 2008 | J | jnl |
CLEI Electron. J.
|
| 2008 | — | — |
|
| 2007 | C | conf |
WoLLIC
|