| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2019 | J | jnl |
FLAP
|
| 2017 | J | jnl |
CoRR
|
| 2017 | J | jnl |
Discret. Appl. Math.
|
| 2015 | — | conf |
MCO (1)
|
| 2014 | J | jnl |
Discret. Appl. Math.
|
| 2012 | — | conf |
ICANN (1)
|
| 2011 | C | conf |
NeSy
|
| 2011 | — | conf |
ICIAP (1)
|
| 1998 | J | jnl |
ACM SIGPLAN Notices
|
| 1997 | J | jnl |
Object Oriented Syst.
|
| 1986 | — | ch. |
Logic Programming: Functions, Relations, and Equations
|
| 1984 | — | conf |
FGCS
|
| 1979 | J | jnl |
ACM SIGPLAN Notices
|