| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2009 | J | jnl |
ACM Commun. Comput. Algebra
|
| 2005 | — | conf |
Algorithmic Algebra and Logic
|
| 1996 | — | conf |
DISCO
|
| 1995 | J | jnl |
J. Symb. Comput.
|
| 1993 | — | conf |
DISCO
|
| 1991 | — | conf |
Artificial and Mathematical Theory of Computation
|
| 1986 | — | conf |
SYMSAC
|
| 1985 | — | conf |
AAECC
|
| 1985 | J | jnl |
SIGSAM Bull.
|
| 1983 | A* | conf |
SIGCOMM
|
| 1982 | — | conf |
SIGPLAN Symposium on Compiler Construction
|
| 1982 | — | conf |
EUROCAM
|
| 1981 | J | jnl |
Commun. ACM
|
| 1981 | J | jnl |
Softw. Pract. Exp.
|
| 1980 | J | jnl |
SIGSAM Bull.
|
| 1980 | — | conf |
IFIP Congress
|
| 1979 | J | jnl |
ACM SIGPLAN Notices
|
| 1979 | — | conf |
EUROSAM
|
| 1979 | J | jnl |
ACM SIGPLAN Notices
|
| 1978 | — | conf |
GI Jahrestagung
|
| 1976 | — | conf |
SYMSACC
|
| 1974 | — | conf |
ACM Annual Conference (2)
|
| 1973 | — | conf |
ACM Annual Conference
|
| 1971 | J | jnl |
Commun. ACM
|
| 1971 | — | conf |
SYMSAC
|
| 1971 | — | conf |
SYMSAC
|
| 1967 | — | conf |
Symposium on Interactive Systems for Experimental Applied Mathematics
|
| 1966 | J | jnl |
Commun. ACM
|