| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2025 | B | conf |
ISSAC
|
| 2025 | J | jnl |
CoRR
|
| 2025 | J | jnl |
J. Symb. Comput.
|
| 2023 | B | conf |
ISSAC
|
| 2023 | J | jnl |
CoRR
|
| 2021 | J | jnl |
Comput. Stat. Data Anal.
|
| 2012 | B | conf |
CogSci
|
| 2011 | — | conf |
ADMI
|
| 2007 | A* | conf |
CCS
|
| 1989 | J | jnl |
Notre Dame J. Formal Log.
|
| 1980 | J | jnl |
Notre Dame J. Formal Log.
|
| 1979 | J | jnl |
Notre Dame J. Formal Log.
|
| 1978 | J | jnl |
Math. Log. Q.
|
| 1978 | J | jnl |
Math. Log. Q.
|
| 1978 | J | jnl |
J. Philos. Log.
|
| 1977 | J | jnl |
J. Philos. Log.
|
| 1976 | J | jnl |
J. Philos. Log.
|
| 1973 | J | jnl |
J. Philos. Log.
|