 | 2009 |
|---|
| 6 |       | Yuki Watanabe,
Tomoko Kojiri,
Toyohide Watanabe:
Organization of Solution Knowledge Graph from Collaborative Learning Records.
KES (2) 2009: 564-571 |
| 2008 |
|---|
| 5 | | Yuki Watanabe,
Naofumi Homma,
Takafumi Aoki,
Tatsuo Higuchi:
Arithmetic module generator with algorithm optimization capability.
ISCAS 2008: 1796-1799 |
| 4 | | Yuki Watanabe,
Naofumi Homma,
Katsuhiko Degawa,
Takafumi Aoki,
Tatsuo Higuchi:
High-Level Design of Multiple-Valued Arithmetic Circuits Based on Arithmetic Description Language.
ISMVL 2008: 112-117 |
| 3 | | Yuki Watanabe,
Naofumi Homma,
Takafumi Aoki,
Tatsuo Higuchi:
Arithmetic Circuit Verification Based on Symbolic Computer Algebra.
IEICE Transactions 91-A(10): 3038-3046 (2008) |
| 2007 |
|---|
| 2 | | Yuki Watanabe,
Naofumi Homma,
Takafumi Aoki,
Tatsuo Higuchi:
Application of symbolic computer algebra to arithmetic circuit verification.
ICCD 2007: 25-32 |
| 2006 |
|---|
| 1 | | Naofumi Homma,
Yuki Watanabe,
Takafumi Aoki,
Tatsuo Higuchi:
Formal Design of Arithmetic Circuits Based on Arithmetic Description Language.
IEICE Transactions 89-A(12): 3500-3509 (2006) |
