| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2024 | J | jnl |
IEEE Access
|
| 2008 | — | conf |
DEON
|
| 2006 | — | conf |
DEON
|
| 2005 | J | jnl |
J. Appl. Log.
|
| 2004 | — | conf |
DEON
|
| 2004 | J | jnl |
J. Appl. Log.
|
| 1999 | J | jnl |
J. Log. Lang. Inf.
|
| 1998 | B | conf |
Advances in Modal Logic
|
| 1998 | — | — |
|
| 1996 | J | jnl |
Stud Logica
|
| 1996 | — | ed. |
DEON
|
| 1996 | — | conf |
DEON
|
| 1996 | J | jnl |
Knowl. Eng. Rev.
|
| 1992 | J | jnl |
Stud Logica
|
| 1990 | J | jnl |
J. Philos. Log.
|
| 1988 | J | jnl |
J. Philos. Log.
|
| 1984 | J | jnl |
Notre Dame J. Formal Log.
|
| 1982 | J | jnl |
Notre Dame J. Formal Log.
|