| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2021 | — | ch. |
Theories of Programming
|
| 2015 | — | conf |
Ada Lovelace Symposium
|
| 2008 | — | conf |
CPA
|
| 2003 | J | jnl |
Br. J. Educ. Technol.
|
| 2000 | — | conf |
SAC (2)
|
| 1999 | J | jnl |
Formal Aspects Comput.
|
| 1999 | J | jnl |
Comput. J.
|
| 1999 | — | conf |
PPIG
|
| 1997 | A | conf |
CADE
|
| 1996 | J | jnl |
J. Funct. Program.
|
| 1990 | — | conf |
VDM Europe
|
| 1989 | — | conf |
IFIP Congress
|
| 1989 | — | conf |
Z User Workshop
|
| 1987 | J | jnl |
Commun. ACM
|
| 1987 | J | jnl |
Softw. Eng. J.
|
| 1984 | J | jnl |
IEEE Trans. Software Eng.
|
| 1982 | J | jnl |
Sci. Comput. Program.
|