| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 1993 | J | jnl |
J. Autom. Reason.
|
| 1991 | — | conf |
Computational Logic - Essays in Honor of Alan Robinson
|
| 1990 | J | jnl |
J. Autom. Reason.
|
| 1987 | J | jnl |
J. Autom. Reason.
|
| 1986 | J | jnl |
AI Mag.
|
| 1986 | — | conf |
SLP
|
| 1985 | J | jnl |
Artif. Intell.
|
| 1985 | J | jnl |
J. Autom. Reason.
|
| 1983 | A* | conf |
IJCAI
|
| 1980 | A | conf |
CADE
|
| 1979 | A* | conf |
IJCAI
|
| 1977 | J | jnl |
J. ACM
|
| 1977 | J | jnl |
Artif. Intell.
|
| 1977 | A* | conf |
IJCAI
|
| 1975 | A* | conf |
IJCAI
|
| 1975 | J | jnl |
IEEE Trans. Software Eng.
|
| 1975 | — | conf |
Reliable Software
|
| 1974 | J | jnl |
Artif. Intell.
|
| 1973 | A* | conf |
IJCAI
|
| 1972 | J | jnl |
SIGART Newsl.
|
| 1972 | J | jnl |
SIGART Newsl.
|
| 1972 | J | jnl |
Artif. Intell.
|
| 1972 | J | jnl |
SIGART Newsl.
|
| 1972 | J | jnl |
SIGART Newsl.
|
| 1971 | A* | conf |
IJCAI
|
| 1971 | J | jnl |
SIGART Newsl.
|
| 1971 | J | jnl |
SIGART Newsl.
|
| 1971 | J | jnl |
SIGART Newsl.
|
| 1971 | J | jnl |
Artif. Intell.
|
| 1970 | J | jnl |
J. ACM
|
| 1970 | J | jnl |
SIGART Newsl.
|
| 1966 | J | jnl |
J. ACM
|
| 1962 | J | jnl |
IRE Trans. Electron. Comput.
|
| 1961 | J | jnl |
IRE Trans. Electron. Comput.
|
| 1959 | — | conf |
IRE-AIEE-ACM Computer Conference (Eastern)
|
| 1959 | — | conf |
IRE-AIEE-ACM Computer Conference (Eastern)
|