| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 1998 | J | jnl |
Bell Labs Tech. J.
|
| 1997 | J | jnl |
Bell Labs Tech. J.
|
| 1996 | B | conf |
COMPSAC
|
| 1994 | J | jnl |
IEEE Softw.
|
| 1992 | B | conf |
NOMS
|
| 1989 | B | conf |
SMC
|
| 1984 | J | jnl |
J. Philos. Log.
|
| 1984 | J | jnl |
AT&T Bell Lab. Tech. J.
|
| 1974 | J | jnl |
J. Philos. Log.
|
| 1974 | J | jnl |
J. Philos. Log.
|
| 1967 | — | conf |
SWAT
|