| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2013 | J | jnl |
Ecol. Informatics
|
| 2011 | C | conf |
SEKE
|
| 2006 | J | jnl |
Knowl. Eng. Rev.
|
| 2001 | A* | conf |
IJCAI
|
| 2001 | J | jnl |
Knowl. Based Syst.
|
| 2000 | J | jnl |
High. Order Symb. Comput.
|
| 2000 | A | conf |
ECAI
|
| 1998 | J | jnl |
Knowl. Based Syst.
|
| 1997 | J | jnl |
IEEE Expert
|
| 1996 | J | jnl |
J. Intell. Manuf.
|
| 1996 | J | jnl |
AI Commun.
|
| 1995 | J | jnl |
Knowl. Eng. Rev.
|
| 1995 | — | conf |
SCAI
|
| 1995 | — | conf |
SCAI
|
| 1994 | A | conf |
ECAI
|
| 1993 | — | conf |
Semantics of Specification Languages
|
| 1991 | J | jnl |
IEEE Expert
|
| 1988 | — | conf |
VDM Europe
|
| 1987 | J | jnl |
IEEE Trans. Syst. Man Cybern.
|
| 1986 | J | jnl |
Comput. Linguistics
|
| 1985 | J | jnl |
AI Mag.
|
| 1985 | — | conf |
ACM Annual Conference
|
| 1985 | A* | conf |
IJCAI
|
| 1982 | A* | conf |
AAAI
|
| 1977 | — | conf |
Formal Description of Programming Concepts
|
| 1974 | — | — |