| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2009 | J | jnl |
ACM Trans. Program. Lang. Syst.
|
| 2008 | J | jnl |
ACM Trans. Program. Lang. Syst.
|
| 2008 | J | jnl |
Acta Informatica
|
| 2007 | J | jnl |
Acta Informatica
|
| 2007 | — | conf |
B
|
| 2007 | J | jnl |
Sci. Comput. Program.
|
| 2006 | C | conf |
ICTAC
|
| 2005 | B | conf |
SEFM
|
| 2004 | B | conf |
MPC
|
| 2003 | — | ed. |
IWFM
|
| 2002 | J | jnl |
Sci. Comput. Program.
|
| 2001 | J | jnl |
Acta Informatica
|
| 1999 | J | jnl |
Sci. Comput. Program.
|
| 1999 | J | jnl |
ACM Trans. Program. Lang. Syst.
|
| 1998 | J | jnl |
Formal Aspects Comput.
|
| 1997 | J | jnl |
Inf. Process. Lett.
|
| 1990 | J | jnl |
Struct. Program.
|
| 1990 | J | jnl |
Acta Informatica
|
| 1989 | J | jnl |
Acta Informatica
|
| 1989 | J | jnl |
Inf. Process. Lett.
|
| 1987 | J | jnl |
Sci. Comput. Program.
|
| 1987 | J | jnl |
Inf. Process. Lett.
|
| 1981 | — | conf |
SIGPLAN SIGOA Symposium on Text Manipulation
|
| 1979 | J | jnl |
Inf. Process. Lett.
|
| 1979 | J | jnl |
Inf. Process. Lett.
|