| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2001 | — | book |
Real-time systems and software.
|
| 2000 | J | jnl |
Real Time Syst.
|
| 1994 | J | jnl |
Softw. Pract. Exp.
|
| 1992 | J | jnl |
IEEE Trans. Software Eng.
|
| 1991 | J | jnl |
Softw. Pract. Exp.
|
| 1991 | — | conf |
IPPS
|
| 1991 | J | jnl |
Computer
|
| 1990 | A | conf |
RTSS
|
| 1989 | J | jnl |
IEEE Trans. Software Eng.
|
| 1989 | J | jnl |
Real Time Syst.
|
| 1988 | A | conf |
RTSS
|
| 1988 | — | book |
The logical design of operating systems (2. ed.).
|
| 1986 | A | conf |
RTSS
|
| 1984 | — | conf |
COCS
|
| 1978 | J | jnl |
IEEE Trans. Software Eng.
|
| 1975 | J | jnl |
Softw. Pract. Exp.
|
| 1975 | J | jnl |
Comput. Graph.
|
| 1972 | J | jnl |
Commun. ACM
|
| 1971 | — | conf |
IFIP Congress (2)
|
| 1970 | J | jnl |
J. ACM
|
| 1969 | J | jnl |
Inf. Control.
|
| 1968 | — | — |