| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2015 | B | conf |
EDM
|
| 2009 | — | conf |
AAMAS (2)
|
| 2008 | — | conf |
AAMAS (3)
|
| 2007 | A | conf |
AAMAS
|
| 2006 | C | conf |
Diagrams
|
| 2005 | A | conf |
AAMAS
|
| 2004 | — | conf |
Euler
|
| 2003 | — | conf |
PROMAS
|
| 2003 | A | conf |
AAMAS
|
| 2003 | B | conf |
KES
|
| 2002 | A | conf |
ECAI
|
| 2001 | J | jnl |
Log. J. IGPL
|
| 2001 | — | conf |
AgentLink
|
| 2001 | J | jnl |
Log. J. IGPL
|
| 1999 | — | conf |
HCI (2)
|
| 1998 | — | conf |
Trends in Distributed Systems for Electronic Commerce
|
| 1997 | — | conf |
ECSQARU-FAPR
|
| 1996 | — | conf |
PAAM
|
| 1996 | B | conf |
TABLEAUX
|
| 1996 | J | jnl |
Log. J. IGPL
|
| 1996 | J | jnl |
Comput. Support. Cooperative Work.
|
| 1996 | — | ed. |
BCS HCI
|
| 1996 | J | jnl |
Log. J. IGPL
|
| 1995 | — | conf |
ICMAS
|
| 1995 | C | conf |
IEA/AIE
|
| 1994 | C | conf |
IEA/AIE
|
| 1992 | B | conf |
TABLEAUX
|
| 1991 | J | jnl |
Softw. Eng. J.
|
| 1990 | — | conf |
WAGA
|
| 1990 | A* | conf |
ICSE
|
| 1986 | A | conf |
Using Narrowing to do Isolation in Symbolic Equation Solving - An Experiment in Automated Reasoning.
CADE
|
| 1985 | J | jnl |
Acta Informatica
|
| 1983 | J | jnl |
Softw. Pract. Exp.
|
| 1979 | A* | conf |
ICSE
|
| 1978 | J | jnl |
Softw. Pract. Exp.
|
| 1976 | J | jnl |
Softw. Pract. Exp.
|
| 1976 | J | jnl |
Inf. Process. Lett.
|