| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2022 | B | conf |
CNSM
|
| 2021 | B | conf |
CNSM
|
| 2020 | B | conf |
NOMS
|
| 2018 | J | jnl |
Int. J. Netw. Manag.
|
| 2017 | B | conf |
CNSM
|
| 2016 | J | jnl |
CoRR
|
| 2015 | — | conf |
VTC Spring
|
| 2015 | J | jnl |
CoRR
|
| 2015 | B | conf |
IM
|
| 2015 | — | conf |
EWSDN
|
| 2015 | B | conf |
IM
|
| 2015 | J | jnl |
CoRR
|
| 2013 | J | jnl |
ERCIM News
|
| 2013 | — | conf |
ISCRAM
|
| 2012 | — | conf |
VTC Fall
|
| 2010 | J | jnl |
AI Mag.
|
| 2009 | C | conf |
IAAI
|
| 2009 | C | conf |
ATMOS
|
| 2009 | J | jnl |
ERCIM News
|
| 2009 | — | conf |
IPOM
|
| 2009 | B | conf |
RTCSA
|
| 2008 | — | conf |
SCAI
|
| 2008 | — | ed. |
|
| 2007 | J | jnl |
ERCIM News
|
| 2007 | J | jnl |
ERCIM News
|
| 2006 | C | conf |
ATMOS
|
| 2004 | B | conf |
CPAIOR
|
| 2002 | — | conf |
QofIS
|
| 2002 | — | conf |
Computational Logic: Logic Programming and Beyond
|
| 1999 | C | conf |
PADL
|
| 1995 | — | — |
|
| 1995 | — | book |
Computational issues in calculi of partial inductive definitions.
|
| 1994 | — | conf |
ICLP Workshop: Proof-Theoretical Extensions on Logic Programming
|
| 1994 | — | conf |
ICLP Workshop: Proof-Theoretical Extensions on Logic Programming
|
| 1993 | — | conf |
ELP
|
| 1991 | — | conf |
ELP
|
| 1989 | — | conf |
ELP
|
| 1988 | Misc | conf |
AIMSA
|