| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2024 | — | conf |
APCCAS
|
| 2021 | C | conf |
TENCON
|
| 2018 | — | conf |
A-TEST@ESEC/SIGSOFT FSE
|
| 2018 | — | conf |
A-TEST@ESEC/SIGSOFT FSE
|
| 2018 | C | conf |
RSP
|
| 2017 | C | conf |
RSP
|
| 2017 | J | jnl |
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
|
| 2017 | — | conf |
Erlang Workshop
|
| 2017 | C | conf |
RSP
|
| 2016 | J | jnl |
IPSJ Trans. Syst. LSI Des. Methodol.
|
| 2016 | — | conf |
APCCAS
|
| 2016 | — | conf |
IIAI-AAI
|
| 2014 | J | jnl |
Inf. Media Technol.
|
| 2014 | J | jnl |
IPSJ Trans. Syst. LSI Des. Methodol.
|
| 2010 | J | jnl |
Inf. Media Technol.
|
| 2010 | J | jnl |
IPSJ Trans. Syst. LSI Des. Methodol.
|
| 2010 | J | jnl |
IPSJ Trans. Syst. LSI Des. Methodol.
|
| 2008 | J | jnl |
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
|
| 2008 | J | jnl |
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
|
| 2002 | — | conf |
APCCAS (1)
|
| 2000 | — | conf |
ASP-DAC
|
| 1998 | — | conf |
ASP-DAC
|
| 1995 | C | conf |
ISCAS
|
| 1994 | J | jnl |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
|
| 1992 | — | conf |
EURO-DAC
|
| 1991 | A* | conf |
DAC
|
| 1991 | A | conf |
ICCAD
|
| 1991 | A | conf |
ICCAD
|
| 1991 | A* | conf |
DAC
|
| 1990 | A* | conf |
DAC
|
| 1990 | J | jnl |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
|
| 1990 | C | conf |
ICCD
|
| 1990 | A* | conf |
DAC
|
| 1990 | A* | conf |
DAC
|
| 1989 | A* | conf |
DAC
|
| 1989 | A* | conf |
DAC
|
| 1987 | J | jnl |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
|