| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 1997 | J | jnl |
ACM Trans. Math. Softw.
|
| 1996 | J | jnl |
ACM Trans. Math. Softw.
|
| 1994 | J | jnl |
ACM Trans. Math. Softw.
|
| 1991 | C | conf |
IEEE Symposium on Computer Arithmetic
|
| 1988 | J | jnl |
ACM Trans. Math. Softw.
|
| 1987 | C | conf |
IEEE Symposium on Computer Arithmetic
|
| 1986 | J | jnl |
ACM Trans. Math. Softw.
|
| 1985 | J | jnl |
ACM Trans. Math. Softw.
|
| 1983 | J | jnl |
IEEE Trans. Computers
|
| 1978 | C | conf |
IEEE Symposium on Computer Arithmetic
|
| 1976 | — | conf |
Portability of Numerical Software
|
| 1973 | — | conf |
AFIPS National Computer Conference
|
| 1972 | — | conf |
Proving Assertions About Programs
|
| 1968 | J | jnl |
Commun. ACM
|
| 1968 | — | conf |
IFIP Congress (1)
|
| 1966 | J | jnl |
Commun. ACM
|
| 1964 | J | jnl |
J. ACM
|
| 1963 | J | jnl |
J. ACM
|
| 1963 | J | jnl |
J. ACM
|
| 1962 | — | conf |
ACM National Conference
|
| 1961 | — | conf |
ACM National Meeting
|