| 2007 |
|---|
| 9 | EE | Noriko Hyodo,
Myunghoon Hong,
Hitoshi Yanami,
Shinji Hara,
Hirokazu Anai:
Solving and visualizing nonlinear parametric constraints in control based on quantifier elimination.
Appl. Algebra Eng. Commun. Comput. 18(6): 497-512 (2007) |
| 8 | EE | Hitoshi Yanami,
Hirokazu Anai:
The Maple package SyNRAC and its application to robust control design.
Future Generation Comp. Syst. 23(5): 721-726 (2007) |
| 2006 |
|---|
| 7 | EE | Hitoshi Yanami,
Hirokazu Anai:
Development of SyNARC.
International Conference on Computational Science (2) 2006: 462-469 |
| 2005 |
|---|
| 6 | EE | Hitoshi Yanami,
Hirokazu Anai:
Development of SyNRAC.
International Conference on Computational Science (3) 2005: 602-610 |
| 2004 |
|---|
| 5 | EE | Hitoshi Yanami,
Hirokazu Anai:
Development of SyNRAC-Formula Description and New Functions.
International Conference on Computational Science 2004: 286-294 |
| 2003 |
|---|
| 4 | EE | Hirokazu Anai,
Hitoshi Yanami:
SyNRAC: A Maple-Package for Solving Real Algebraic Constraints.
International Conference on Computational Science 2003: 828-837 |
| 2002 |
|---|
| 3 | EE | Hitoshi Yanami,
Takeshi Shimoyama,
Orr Dunkelman:
Differential and Linear Cryptanalysis of a Reduced-Round SC2000.
FSE 2002: 34-48 |
| 2 | EE | Hitoshi Yanami,
Takeshi Shimoyama:
Differential Cryptanalysis of a Reduced-Round SEED.
SCN 2002: 186-198 |
| 2001 |
|---|
| 1 | EE | Takeshi Shimoyama,
Hitoshi Yanami,
Kazuhiro Yokoyama,
Masahiko Takenaka,
Kouichi Itoh,
Jun Yajima,
Naoya Torii,
Hidema Tanaka:
The Block Cipher SC2000.
FSE 2001: 312-327 |
