| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2025 | — | conf |
HCI (83)
|
| 2024 | J | jnl |
Sensors
|
| 2016 | — | conf |
PVM
|
| 2007 | J | jnl |
Int. J. Intell. Syst.
|
| 2007 | — | conf |
Calculemus/MKM
|
| 2006 | — | ch. |
The Seventeen Provers of the World
|
| 2005 | A | conf |
AIED
|
| 2005 | — | conf |
Mechanizing Mathematical Reasoning
|
| 2005 | — | conf |
MKM
|
| 2004 | B | conf |
Intelligent Tutoring Systems
|
| 2004 | B | conf |
LREC
|
| 2004 | Misc | conf |
FLAIRS
|
| 2003 | — | conf |
MKM Symposium
|
| 2002 | A | conf |
CADE
|
| 2002 | B | conf |
LPAR
|
| 2001 | Misc | conf |
International Conference on Computational Science (1)
|
| 2001 | A* | conf |
IJCAI
|
| 2001 | A | conf |
IJCAR
|
| 2001 | — | — |
|
| 1999 | A* | conf |
IJCAI
|
| 1998 | B | conf |
INLG
|
| 1997 | A | conf |
CADE
|
| 1997 | — | conf |
IJCAI (2)
|
| 1996 | — | conf |
INLG (1)
|
| 1996 | A | conf |
CADE
|