| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2012 | J | jnl |
Theory Pract. Log. Program.
|
| 2010 | J | jnl |
CoRR
|
| 2005 | A | conf |
CP
|
| 2004 | J | jnl |
Constraints An Int. J.
|
| 2002 | C | conf |
PADL
|
| 2002 | J | jnl |
Ann. Math. Artif. Intell.
|
| 2002 | B | conf |
ICLP
|
| 2000 | J | jnl |
Electron. Notes Discret. Math.
|
| 1999 | C | conf |
PADL
|
| 1994 | B | conf |
ICLP
|
| 1993 | — | conf |
PLILP
|
| 1992 | — | conf |
ELP
|
| 1991 | — | conf |
PDK
|
| 1989 | — | conf |
IFIP Congress
|