| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2013 | J | jnl |
Trans. Comput. Sci.
|
| 2013 | J | jnl |
Math. Log. Q.
|
| 2012 | — | conf |
ISVD
|
| 2012 | — | conf |
ISVD
|
| 2011 | J | jnl |
Trans. Comput. Sci.
|
| 2010 | — | conf |
ISVD
|
| 2010 | J | jnl |
Ann. Pure Appl. Log.
|
| 2008 | J | jnl |
Math. Log. Q.
|
| 2008 | J | jnl |
Arch. Math. Log.
|
| 2007 | — | ch. |
Induction, Algorithmic Learning Theory, and Philosophy
|
| 2004 | J | jnl |
Arch. Math. Log.
|
| 2004 | — | conf |
SIGGRAPH Educators Program
|
| 2004 | J | jnl |
Math. Log. Q.
|
| 2003 | J | jnl |
Ann. Pure Appl. Log.
|
| 2002 | C | conf |
CCA
|
| 1999 | J | jnl |
Ann. Pure Appl. Log.
|
| 1998 | J | jnl |
Ann. Pure Appl. Log.
|
| 1987 | J | jnl |
Ann. Pure Appl. Log.
|
| 1985 | J | jnl |
Math. Log. Q.
|
| 1985 | J | jnl |
Ann. Pure Appl. Log.
|
| 1985 | J | jnl |
Ann. Pure Appl. Log.
|
| 1983 | J | jnl |
IEEE Trans. Software Eng.
|
| 1983 | J | jnl |
J. Symb. Log.
|
| 1983 | J | jnl |
J. Symb. Log.
|
| 1982 | J | jnl |
J. Symb. Log.
|
| 1979 | J | jnl |
Math. Log. Q.
|
| 1979 | J | jnl |
J. Symb. Log.
|
| 1978 | J | jnl |
J. Symb. Log.
|
| 1977 | J | jnl |
J. Symb. Log.
|