| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2012 | J | jnl |
Am. Math. Mon.
|
| 2012 | J | jnl |
Ann. Pure Appl. Log.
|
| 2010 | — | conf |
ICMS
|
| 2006 | C | conf |
SEW
|
| 2001 | — | conf |
TPHOLs
|
| 2000 | — | conf |
ZB
|
| 2000 | C | conf |
ICFEM
|
| 1998 | — | conf |
ZUM
|
| 1997 | J | jnl |
Formal Aspects Comput.
|
| 1991 | — | conf |
TPHOLs
|
| 1991 | — | conf |
VDM Europe (1)
|
| 1991 | — | conf |
Z User Workshop
|
| 1988 | — | conf |
VDM Europe
|