| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 1987 | J | jnl |
Proc. IEEE
|
| 1984 | J | jnl |
Comput. Secur.
|
| 1967 | J | jnl |
Notre Dame J. Formal Log.
|
| 1966 | J | jnl |
Notre Dame J. Formal Log.
|
| 1966 | J | jnl |
Notre Dame J. Formal Log.
|
| 1965 | J | jnl |
Notre Dame J. Formal Log.
|
| 1963 | J | jnl |
Notre Dame J. Formal Log.
|
| 1962 | J | jnl |
Notre Dame J. Formal Log.
|
| 1962 | J | jnl |
Notre Dame J. Formal Log.
|
| 1961 | J | jnl |
Notre Dame J. Formal Log.
|
| 1960 | J | jnl |
IRE Trans. Electron. Comput.
|
| 1959 | J | jnl |
IRE Trans. Electron. Comput.
|
| 1959 | J | jnl |
IRE Trans. Electron. Comput.
|