| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2014 | — | ch. |
HOWARD-60
|
| 2014 | — | conf |
ASYNC
|
| 2010 | — | conf |
ASYNC
|
| 2008 | — | conf |
ASYNC
|
| 2001 | J | jnl |
Simul. Pract. Theory
|
| 2001 | J | jnl |
Simul. Pract. Theory
|
| 1998 | J | jnl |
ACM Trans. Model. Comput. Simul.
|
| 1998 | — | conf |
ESM
|
| 1997 | J | jnl |
Simul. Pract. Theory
|
| 1996 | — | ed. |
Banff Higher Order Workshop
|
| 1993 | J | jnl |
Softw. Eng. J.
|
| 1991 | — | conf |
TPHOLs
|
| 1989 | — | conf |
Hardware Specification, Verification and Synthesis
|
| 1988 | J | jnl |
ACM SIGPLAN Notices
|
| 1986 | J | jnl |
Comput. Graph. Forum
|
| 1985 | J | jnl |
ACM SIGPLAN Notices
|
| 1983 | J | jnl |
ACM SIGOPS Oper. Syst. Rev.
|
| 1982 | Misc | conf |
WSC
|
| 1982 | Misc | conf |
WSC
|
| 1981 | Misc | conf |
WSC
|
| 1981 | Misc | conf |
WSC
|
| 1981 | Misc | conf |
WSC
|
| 1979 | — | book |
DEMOS - a system for discrete event modelling on Simula.
|