| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2014 | A | conf |
ICWS
|
| 2013 | B | conf |
COMPSAC
|
| 1992 | — | conf |
CASCON
|
| 1989 | — | conf |
Concurrency: Theory, Language, And Architecture
|
| 1987 | B | conf |
MFPS
|
| 1985 | J | jnl |
Acta Informatica
|
| 1985 | B | conf |
Mathematical Foundations of Programming Semantics
|
| 1984 | J | jnl |
Theor. Comput. Sci.
|
| 1984 | J | jnl |
Theor. Comput. Sci.
|
| 1983 | J | jnl |
Theor. Comput. Sci.
|
| 1983 | A* | conf |
ICALP
|
| 1983 | J | jnl |
Theor. Comput. Sci.
|
| 1983 | A* | conf |
ICALP
|
| 1982 | J | jnl |
Math. Syst. Theory
|
| 1981 | J | jnl |
Inf. Control.
|
| 1979 | A* | conf |
ICALP
|
| 1979 | B | conf |
MFCS
|