| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2002 | J | jnl |
Am. Math. Mon.
|
| 2002 | J | jnl |
Am. Math. Mon.
|
| 1998 | J | jnl |
ACM SIGPLAN Notices
|
| 1996 | J | jnl |
Softw. Eng. J.
|
| 1996 | J | jnl |
Commun. ACM
|
| 1996 | J | jnl |
Inf. Process. Lett.
|
| 1995 | J | jnl |
ACM Comput. Surv.
|
| 1994 | — | conf |
IEEE METRICS
|
| 1993 | J | jnl |
Softw. Eng. J.
|
| 1992 | J | jnl |
ACM SIGCSE Bull.
|
| 1992 | J | jnl |
ACM SIGPLAN Notices
|
| 1991 | J | jnl |
Softw. Test. Verification Reliab.
|
| 1991 | — | conf |
Constructivity in Computer Science
|
| 1990 | J | jnl |
ACM SIGPLAN Notices
|
| 1990 | J | jnl |
SIGSAM Bull.
|
| 1988 | J | jnl |
Comput. J.
|
| 1988 | J | jnl |
Comput. Humanit.
|
| 1987 | J | jnl |
Softw. Eng. J.
|
| 1987 | J | jnl |
IEEE Trans. Software Eng.
|
| 1984 | J | jnl |
Comput. J.
|
| 1983 | J | jnl |
Bell Syst. Tech. J.
|
| 1981 | J | jnl |
Comput. J.
|
| 1978 | — | conf |
SIGCSE/CSA
|
| 1978 | J | jnl |
IEEE Trans. Computers
|
| 1977 | J | jnl |
Inf. Control.
|
| 1976 | — | conf |
SIGCSE-SIGCUE
|
| 1975 | J | jnl |
Inf. Control.
|
| 1972 | J | jnl |
Inf. Control.
|
| 1971 | J | jnl |
IEEE Trans. Computers
|
| 1970 | J | jnl |
Math. Syst. Theory
|
| 1969 | J | jnl |
Math. Syst. Theory
|
| 1966 | J | jnl |
IEEE Trans. Electron. Comput.
|
| 1965 | J | jnl |
IEEE Trans. Electron. Comput.
|
| 1960 | J | jnl |
J. ACM
|