| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2021 | — | conf |
SAI (1)
|
| 2018 | J | jnl |
Digit. Creativity
|
| 2014 | Misc | conf |
PAAMS
|
| 2014 | Misc | conf |
PAAMS
|
| 2013 | Misc | conf |
PAAMS
|
| 2012 | J | jnl |
CoRR
|
| 2012 | — | conf |
Turing-100
|
| 2011 | J | jnl |
Minds Mach.
|
| 2011 | — | ch. |
PRELUDE Project
|
| 2011 | — | conf |
BCS HCI
|
| 2008 | J | jnl |
Notre Dame J. Formal Log.
|
| 2008 | J | jnl |
Comput. Support. Cooperative Work.
|
| 2008 | — | conf |
BCS Int. Acad. Conf.
|
| 2008 | J | jnl |
Fundam. Informaticae
|
| 2002 | B | conf |
JELIA
|
| 2002 | — | conf |
NMR
|
| 2001 | J | jnl |
Log. J. IGPL
|
| 1999 | — | conf |
DSV-IS
|
| 1999 | — | conf |
DSV-IS
|
| 1998 | A* | conf |
KR
|