| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2012 | — | conf |
Logic and Program Semantics
|
| 2002 | — | ed. |
SWAT
|
| 2002 | — | ed. |
Experimental Algorithmics
|
| 1998 | — | conf |
FSTTCS
|
| 1994 | — | ed. |
SWAT
|
| 1992 | J | jnl |
Inf. Process. Lett.
|
| 1989 | B | conf |
MFCS
|
| 1985 | — | conf |
Applications and Theory in Petri Nets
|
| 1982 | A* | ed. |
ICALP
|
| 1982 | A* | conf |
STOC
|
| 1980 | A* | conf |
ICALP
|
| 1980 | J | jnl |
J. ACM
|
| 1978 | J | jnl |
J. Comput. Syst. Sci.
|
| 1978 | A* | conf |
ICALP
|
| 1977 | J | jnl |
J. Comput. Syst. Sci.
|
| 1977 | J | jnl |
SIAM J. Comput.
|