| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2013 | — | conf |
MICAI (1)
|
| 2011 | J | jnl |
Autom. Control. Comput. Sci.
|
| 2009 | J | jnl |
Program. Comput. Softw.
|
| 2008 | — | conf |
Pillars of Computer Science
|
| 2006 | J | jnl |
Ann. Pure Appl. Log.
|
| 2003 | J | jnl |
Theor. Comput. Sci.
|
| 2002 | B | conf |
JELIA
|
| 1999 | — | conf |
Ershov Memorial Conference
|
| 1993 | J | jnl |
Theor. Comput. Sci.
|
| 1980 | B | conf |
MFCS
|
| 1980 | — | conf |
Logic of Programs
|
| 1979 | B | conf |
MFCS
|
| 1977 | B | conf |
MFCS
|
| 1977 | J | jnl |
Discret. Math.
|
| 1975 | B | conf |
MFCS
|