Hitoshi Yanami

According to our database1, Hitoshi Yanami authored at least 17 papers between 2001 and 2015.

Collaborative distances :
  • Dijkstra number2 of five.
  • Erdős number3 of four.

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


  Loading...