| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2013 | J | jnl |
Soft Comput.
|
| 2010 | J | jnl |
CoRR
|
| 2000 | J | jnl |
Program. Comput. Softw.
|
| 1991 | B | conf |
ISSAC
|
| 1987 | — | conf |
EUROCAL
|
| 1987 | — | conf |
EUROCAL
|
| 1986 | — | conf |
SYMSAC
|
| 1986 | — | conf |
SYMSAC
|
| 1985 | J | jnl |
SIGSAM Bull.
|
| 1985 | J | jnl |
SIGSAM Bull.
|
| 1984 | J | jnl |
SIGSAM Bull.
|