| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2022 | — | conf |
LifeTech
|
| 2019 | — | conf |
ICICT (2)
|
| 2012 | — | conf |
ICEIS (2)
|
| 2011 | C | conf |
ISADS
|
| 2011 | J | jnl |
IEICE Trans. Inf. Syst.
|
| 2010 | — | conf |
SAINT
|
| 2006 | — | conf |
IMSA
|
| 2002 | J | jnl |
IEEE Trans. Consumer Electron.
|
| 2001 | J | jnl |
ACIS Int. J. Comput. Inf. Sci.
|
| 2001 | J | jnl |
IEEE Trans. Consumer Electron.
|
| 2001 | B | conf |
SMC
|
| 2001 | J | jnl |
IEEE Trans. Consumer Electron.
|
| 2000 | J | jnl |
Inf. Comput.
|
| 2000 | B | conf |
ICPADS
|
| 1998 | C | ed. |
FORTE
|
| 1997 | C | conf |
FORTE
|
| 1996 | J | jnl |
Int. J. Softw. Eng. Knowl. Eng.
|
| 1996 | J | jnl |
Inf. Process. Lett.
|
| 1995 | C | conf |
ISCAS
|
| 1995 | B | conf |
ICNP
|
| 1994 | C | conf |
FORTE
|
| 1994 | — | conf |
ICLP Workshop: Applications of Logic Programming to Software Engineering
|
| 1994 | A* | conf |
PODC
|
| 1994 | — | conf |
Theory and Practice of Parallel Programming
|
| 1994 | — | conf |
AII/ALT
|
| 1991 | B | conf |
ICLP
|
| 1990 | B | conf |
ALT
|
| 1989 | — | conf |
KBCS
|
| 1989 | — | conf |
KBCS
|
| 1987 | J | jnl |
J. Log. Program.
|
| 1984 | — | conf |
FGCS
|