The Block Cipher SC2000. - Takeshi Shimoyama; Hitoshi Yanami; Kazuhiro Yokoyama; Masahiko Takenaka; Kouichi Itoh; Jun Yajima; Naoya Torii; Hidema Tanaka (FSE, 2001)

Differential and Linear Cryptanalysis of a Reduced-Round SC2000. - Hitoshi Yanami; Takeshi Shimoyama; Orr Dunkelman (FSE, 2002)

Differential Cryptanalysis of a Reduced-Round SEED. - Hitoshi Yanami; Takeshi Shimoyama (SCN, 2002)

SyNRAC: A Maple-Package for Solving Real Algebraic Constraints. - Hirokazu Anai; Hitoshi Yanami (International Conference on Computational Science, 2003)

Fixed-structure robust controller synthesis based on symbolic-numeric computation: design algorithms with a CACSD toolbox. - Hirokazu Anai; Hitoshi Yanami; Shinji Hara; Kei Sakabe (CCA, 2004)

Development of SyNRAC-Formula Description and New Functions. - Hitoshi Yanami; Hirokazu Anai (International Conference on Computational Science, 2004)

Development of SyNRAC. - Hitoshi Yanami; Hirokazu Anai (International Conference on Computational Science (3), 2005)

Development of SyNARC. - Hitoshi Yanami; Hirokazu Anai (International Conference on Computational Science (2), 2006)

Solving and visualizing nonlinear parametric constraints in control based on quantifier elimination. - Noriko Hyodo; Myunghoon Hong; Hitoshi Yanami; Shinji Hara; Hirokazu Anai (Appl. Algebra Eng. Commun. Comput., 2007)

SyNRAC: a maple toolbox for solving real algebraic constraints. - Hitoshi Yanami; Hirokazu Anai (ACM Commun. Comput. Algebra, 2007)

The Maple package SyNRAC and its application to robust control design. - Hitoshi Yanami; Hirokazu Anai (Future Gener. Comput. Syst., 2007)

An effective implementation of a symbolic-numeric cylindrical algebraic decomposition for optimization problems. - Hidenao Iwane; Hitoshi Yanami; Hirokazu Anai (SNC, 2011)

A Symbolic-Numeric Approach to Multi-Objective Optimization in Manufacturing Design. - Hidenao Iwane; Hitoshi Yanami; Hirokazu Anai (Math. Comput. Sci., 2011)

An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination. - Hidenao Iwane; Hitoshi Yanami; Hirokazu Anai; Kazuhiro Yokoyama (Theor. Comput. Sci., 2013)

SyNRAC: A Toolbox for Solving Real Algebraic Constraints. - Hidenao Iwane; Hitoshi Yanami; Hirokazu Anai (ICMS, 2014)

State-dependent virtual hierarchization of batteries for realizing a glocal control in energy network systems and its application to peak power reduction in office. - Hitoshi Yanami; Tomotake Sasaki; Junji Kaneko; Shinji Hara; Yafei Wang 002; Satoshi Moriyama; Hidenao Iwane (ASCC, 2015)

Equilibrium Search Technique Using Genetic Algorithm and Replicator Dynamics and Its Application to Food Supply Chain Model. - Natsuki Morita; Hayato Dan; Katsumi Homma; Hitoshi Yanami; Shota Suginouchi; Mizuho Sato; Hajime Mizuyama; Masatoshi Ogawa (KES-IDT, 2022)

Safe Exploration Method for Reinforcement Learning Under Existence of Disturbance. - Yoshihiro Okawa; Tomotake Sasaki; Hitoshi Yanami; Toru Namerikawa (ECML/PKDD (4), 2022)

Automatic Parametric Modeling Technique for Structural Design Standardization. - Noriyasu Aso; Hitoshi Yanami; Masatoshi Ogawa (IEEE Access, 2022)