# Hitoshi Yanami

According to our database

^{1}, Hitoshi Yanami## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2015

State-dependent virtual hierarchization of batteries for realizing a glocal control in energy network systems and its application to peak power reduction in office.

Proceedings of the 10th Asian Control Conference, 2015

2014

SyNRAC: A Toolbox for Solving Real Algebraic Constraints.

Proceedings of the Mathematical Software - ICMS 2014, 2014

2013

An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination.

Theor. Comput. Sci., 2013

2011

A Symbolic-Numeric Approach to Multi-Objective Optimization in Manufacturing Design.

Mathematics in Computer Science, 2011

An effective implementation of a symbolic-numeric cylindrical algebraic decomposition for optimization problems.

Proceedings of the SNC 2011, 2011

2009

An effective implementation of a symbolic-numeric cylindrical algebraic decomposition for quantifier elimination.

Proceedings of the Symbolic Numeric Computation, 2009

2007

The Maple package SyNRAC and its application to robust control design.

Future Generation Comp. Syst., 2007

SyNRAC: a maple toolbox for solving real algebraic constraints.

ACM Comm. Computer Algebra, 2007

Solving and visualizing nonlinear parametric constraints in control based on quantifier elimination.

Appl. Algebra Eng. Commun. Comput., 2007

2006

Development of SyNARC.

Proceedings of the Computational Science, 2006

2005

Development of SyNRAC.

Proceedings of the Computational Science, 2005

SyNRAC: A Maple Toolbox for Solving Real Algebraic Constraints.

Proceedings of the Algorithmic Algebra and Logic. Proceedings of the A3L 2005, 2005

2004

Development of SyNRAC-Formula Description and New Functions.

Proceedings of the Computational Science, 2004

2003

SyNRAC: A Maple-Package for Solving Real Algebraic Constraints.

Proceedings of the Computational Science - ICCS 2003, 2003

2002

Differential Cryptanalysis of a Reduced-Round SEED.

Proceedings of the Security in Communication Networks, Third International Conference, 2002

Differential and Linear Cryptanalysis of a Reduced-Round SC2000.

Proceedings of the Fast Software Encryption, 9th International Workshop, 2002

2001

The Block Cipher SC2000.

Proceedings of the Fast Software Encryption, 8th International Workshop, 2001