| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2011 | A | conf |
CP
|
| 2007 | A | conf |
CP
|
| 2004 | A | conf |
CP
|
| 2003 | J | jnl |
Ann. Oper. Res.
|
| 2002 | J | jnl |
INFORMS J. Comput.
|
| 2000 | A | conf |
CP
|
| 1999 | A | conf |
CP
|
| 1998 | — | conf |
PLILP/ALP
|
| 1998 | — | conf |
Implementation Technology for Programming Languages based on Logic
|
| 1998 | — | conf |
IJCSLP
|
| 1996 | — | conf |
JICSLP
|
| 1994 | — | conf |
WLP
|