| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2023 | J | jnl |
IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens.
|
| 2006 | J | jnl |
J. Appl. Non Class. Logics
|
| 2006 | A* | conf |
LICS
|
| 2005 | J | jnl |
J. Autom. Reason.
|
| 2005 | B | conf |
LPAR
|
| 2004 | B | conf |
EDBT
|
| 2004 | A | conf |
SAT
|
| 2004 | — | conf |
SAT (Selected Papers
|
| 2004 | A | conf |
CP
|
| 2003 | A | conf |
CADE
|
| 2002 | A | conf |
CADE
|