| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2008 | J | jnl |
SIGMOD Rec.
|
| 2005 | J | jnl |
SIGMOD Rec.
|
| 1997 | — | conf |
COMPCON
|
| 1997 | — | conf |
COMPCON
|
| 1995 | — | conf |
COMPCON
|
| 1994 | A* | conf |
PLDI
|
| 1993 | — | conf |
FODO
|
| 1992 | — | conf |
Theoretical Studies in Computer Science
|
| 1992 | — | conf |
SDE
|
| 1991 | J | jnl |
Electron. Publ.
|
| 1988 | — | conf |
DOCPROCS
|
| 1988 | J | jnl |
Softw. Pract. Exp.
|
| 1988 | J | jnl |
Computer
|
| 1988 | J | jnl |
Electron. Publ.
|
| 1986 | — | conf |
TEX for Scientific Documentation
|
| 1986 | — | conf |
TEX for Scientific Documentation
|
| 1985 | J | jnl |
Adv. Comput.
|
| 1982 | J | jnl |
SIGMOD Rec.
|
| 1981 | J | jnl |
Comput. J.
|
| 1980 | J | jnl |
ACM Trans. Program. Lang. Syst.
|
| 1979 | J | jnl |
J. Comput. Syst. Sci.
|
| 1979 | J | jnl |
Theor. Comput. Sci.
|
| 1978 | — | conf |
AFIPS National Computer Conference
|
| 1977 | J | jnl |
J. Comput. Syst. Sci.
|
| 1977 | J | jnl |
J. Comput. Syst. Sci.
|
| 1977 | A* | ed. |
POPL
|
| 1977 | J | jnl |
Theor. Comput. Sci.
|
| 1977 | A* | ed. |
STOC
|
| 1976 | A* | ed. |
POPL
|
| 1976 | J | jnl |
Discret. Math.
|
| 1976 | A* | conf |
STOC
|
| 1976 | J | jnl |
Adv. Comput.
|
| 1976 | A* | ed. |
STOC
|
| 1976 | J | jnl |
Commun. ACM
|
| 1976 | — | conf |
ACM Annual Conference
|
| 1976 | — | conf |
ACM Annual Conference
|
| 1975 | A* | ed. |
POPL
|
| 1975 | B | conf |
MFCS
|
| 1975 | A* | conf |
SOSP
|
| 1975 | A* | ed. |
STOC
|
| 1974 | J | jnl |
Discret. Math.
|
| 1974 | J | jnl |
J. ACM
|
| 1974 | A* | ed. |
STOC
|
| 1974 | A* | conf |
ICALP
|
| 1973 | J | jnl |
J. ACM
|
| 1973 | — | conf |
SWAT
|
| 1973 | — | conf |
GI Jahrestagung
|
| 1973 | J | jnl |
IEEE Trans. Computers
|
| 1973 | A* | ed. |
STOC
|
| 1973 | J | jnl |
J. Comput. Syst. Sci.
|
| 1973 | A* | conf |
POPL
|
| 1972 | A* | conf |
ICALP
|
| 1972 | J | jnl |
J. ACM
|
| 1972 | J | jnl |
SIAM J. Comput.
|
| 1971 | J | jnl |
J. ACM
|
| 1971 | A* | ed. |
STOC
|
| 1970 | J | jnl |
IEEE Trans. Computers
|
| 1970 | J | jnl |
Inf. Control.
|
| 1969 | J | jnl |
Math. Syst. Theory
|
| 1969 | A* | ed. |
STOC
|
| 1969 | — | conf |
SWAT
|
| 1968 | J | jnl |
J. Comput. Syst. Sci.
|
| 1968 | J | jnl |
Inf. Control.
|
| 1968 | J | jnl |
IEEE Trans. Computers
|
| 1968 | J | jnl |
Inf. Control.
|
| 1968 | J | jnl |
J. ACM
|
| 1967 | J | jnl |
IEEE Trans. Electron. Comput.
|
| 1967 | J | jnl |
J. Comput. Syst. Sci.
|
| 1967 | J | jnl |
J. ACM
|
| 1967 | J | jnl |
J. ACM
|
| 1967 | J | jnl |
Inf. Control.
|
| 1966 | J | jnl |
J. ACM
|
| 1966 | — | conf |
SWAT
|
| 1966 | J | jnl |
Inf. Control.
|
| 1965 | J | jnl |
Inf. Control.
|
| 1964 | J | jnl |
IEEE Trans. Electron. Comput.
|
| 1964 | — | conf |
SWCT
|
| 1963 | J | jnl |
IEEE Trans. Electron. Comput.
|
| 1963 | J | jnl |
J. ACM
|
| 1963 | J | jnl |
IEEE Trans. Electron. Comput.
|