| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2013 | — | book |
|
| 2003 | J | jnl |
SIGARCH Comput. Archit. News
|
| 2002 | J | jnl |
Int. J. Parallel Program.
|
| 2002 | A* | conf |
HPCA
|
| 2001 | J | jnl |
IBM Syst. J.
|
| 2001 | A | conf |
ICS
|
| 2000 | — | conf |
ISHPC
|
| 1990 | J | jnl |
IBM J. Res. Dev.
|
| 1981 | J | jnl |
Inf. Process. Lett.
|
| 1980 | — | — |
Optimization of Inductive Assertions.
|
| 1978 | J | jnl |
Acta Informatica
|
| 1978 | J | jnl |
Comput. Lang.
|
| 1977 | J | jnl |
Commun. ACM
|
| 1975 | J | jnl |
Commun. ACM
|
| 1973 | J | jnl |
Inf. Process. Lett.
|