| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2018 | — | conf |
DEEM@SIGMOD
|
| 2018 | — | ch. |
Declarative Logic Programming
|
| 2015 | — | conf |
SIGMOD Conference
|
| 2015 | — | conf |
AMW
|
| 2009 | C | conf |
PADL
|
| 2007 | C | conf |
PEPM
|
| 2007 | J | jnl |
New Gener. Comput.
|
| 2006 | C | conf |
PEPM
|
| 2005 | B | conf |
GPCE
|
| 2004 | — | conf |
LFM@IJCAR
|
| 2004 | B | conf |
GPCE
|
| 2004 | J | jnl |
J. Funct. Program.
|
| 2002 | A | conf |
ICFP
|
| 2001 | A | conf |
ITC
|
| 2001 | J | jnl |
Electron. Notes Discret. Math.
|
| 1999 | — | conf |
DSL
|
| 1997 | B | conf |
SSDBM
|