| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2017 | J | jnl |
Softw. Pract. Exp.
|
| 2010 | J | jnl |
Commun. ACM
|
| 2009 | J | jnl |
Softw. Pract. Exp.
|
| 2009 | — | conf |
LDTA
|
| 2007 | — | book |
Generating software from specifications.
|
| 2006 | B | conf |
ITiCSE
|
| 2006 | A | conf |
SIGCSE
|
| 2005 | — | conf |
LDTA@ETAPS
|
| 2005 | A | conf |
SIGCSE
|
| 2004 | J | jnl |
ACM J. Educ. Resour. Comput.
|
| 2004 | A | conf |
SIGCSE
|
| 2004 | A | conf |
SIGCSE
|
| 2003 | A | conf |
SIGCSE
|
| 2002 | A | conf |
SIGCSE
|
| 2002 | J | jnl |
ACM Comput. Surv.
|
| 1998 | J | jnl |
ACM SIGOPS Oper. Syst. Rev.
|
| 1998 | J | jnl |
ACM SIGOPS Oper. Syst. Rev.
|
| 1998 | — | conf |
Australian Software Engineering Conference
|
| 1997 | J | jnl |
ACM SIGOPS Oper. Syst. Rev.
|
| 1997 | J | jnl |
ACM SIGOPS Oper. Syst. Rev.
|
| 1997 | J | jnl |
ACM SIGOPS Oper. Syst. Rev.
|
| 1997 | A* | ed. |
SOSP
|
| 1996 | B | conf |
CC
|
| 1996 | B | conf |
CC
|
| 1995 | J | jnl |
ACM SIGOPS Oper. Syst. Rev.
|
| 1994 | J | jnl |
ACM SIGOPS Oper. Syst. Rev.
|
| 1994 | J | jnl |
Acta Informatica
|
| 1993 | J | jnl |
ACM SIGPLAN Notices
|
| 1993 | — | book |
An Introduction to Compiler Contruction
|
| 1993 | J | jnl |
ACM SIGOPS Oper. Syst. Rev.
|
| 1992 | J | jnl |
Commun. ACM
|
| 1991 | J | jnl |
Acta Informatica
|
| 1990 | — | conf |
WAGA
|
| 1989 | J | jnl |
Comput. J.
|
| 1988 | — | conf |
SCM
|
| 1986 | J | jnl |
Softw. Pract. Exp.
|
| 1985 | J | jnl |
Softw. Pract. Exp.
|
| 1985 | J | jnl |
Softw. Pract. Exp.
|
| 1985 | J | jnl |
Softw. Pract. Exp.
|
| 1984 | — | book |
|
| 1981 | J | jnl |
Softw. Pract. Exp.
|
| 1978 | J | jnl |
Softw. Pract. Exp.
|
| 1978 | J | jnl |
Computer
|
| 1976 | B | conf |
Compiler Construction
|
| 1976 | B | conf |
Compiler Construction
|
| 1976 | — | conf |
Portability of Numerical Software
|
| 1976 | B | conf |
Compiler Construction
|
| 1976 | B | conf |
Compiler Construction
|
| 1976 | B | conf |
Compiler Construction
|
| 1975 | J | jnl |
Softw. Pract. Exp.
|
| 1974 | — | conf |
Fachtagung Prozessrechner
|
| 1974 | J | jnl |
Softw. Pract. Exp.
|
| 1973 | J | jnl |
Softw. Pract. Exp.
|
| 1973 | J | jnl |
ACM SIGPLAN Notices
|
| 1972 | J | jnl |
Softw. Pract. Exp.
|
| 1972 | — | conf |
Advanced Course: Software Engineering
|
| 1970 | J | jnl |
Comput. J.
|
| 1970 | J | jnl |
Commun. ACM
|
| 1969 | J | jnl |
Commun. ACM
|
| 1969 | A* | conf |
SOSP
|
| 1968 | J | jnl |
IEEE Trans. Computers
|
| 1968 | J | jnl |
ACM SIGPLAN Notices
|
| 1967 | J | jnl |
Comput. J.
|
| 1967 | J | jnl |
Commun. ACM
|
| 1967 | J | jnl |
Commun. ACM
|
| 1967 | J | jnl |
Commun. ACM
|
| 1967 | J | jnl |
J. ACM
|
| 1967 | J | jnl |
ACM SIGPLAN Notices
|
| 1967 | J | jnl |
ACM SIGPLAN Notices
|
| 1967 | J | jnl |
ACM SIGPLAN Notices
|
| 1966 | J | jnl |
Comput. J.
|
| 1964 | J | jnl |
Commun. ACM
|
| 1964 | J | jnl |
IEEE Trans. Electron. Comput.
|