| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 1993 | A* | conf |
DAC
|
| 1993 | — | conf |
Great Lakes Symposium on VLSI
|
| 1992 | — | conf |
Great Lakes Symposium on VLSI
|
| 1991 | — | conf |
Great Lakes Symposium on VLSI
|
| 1989 | — | conf |
Great Lakes Computer Science Conference
|
| 1981 | J | jnl |
Math. Syst. Theory
|
| 1981 | J | jnl |
Int. J. Parallel Program.
|
| 1980 | J | jnl |
J. ACM
|
| 1979 | J | jnl |
RAIRO Theor. Informatics Appl.
|
| 1979 | J | jnl |
Notre Dame J. Formal Log.
|
| 1976 | J | jnl |
J. Comput. Syst. Sci.
|
| 1971 | J | jnl |
J. Comput. Syst. Sci.
|
| 1971 | J | jnl |
J. Comput. Syst. Sci.
|
| 1970 | A* | conf |
STOC
|
| 1970 | — | — |
Unsolvability Considerations in Computational Complexity.
|