Search the dblp DataBase

Publications of Author

1. Hirokazu Anai, Volker Weispfenning
   Reach Set Computations Using Real Quantifier Elimination. [Citation Graph (0, 0)][DBLP]
   HSCC, 2001, pp:63-76 [Conf]
   
2. Hirokazu Anai, Hitoshi Yanami
   SyNRAC: A Maple-Package for Solving Real Algebraic Constraints. [Citation Graph (0, 0)][DBLP]
   International Conference on Computational Science, 2003, pp:828-837 [Conf]
   
3. Hitoshi Yanami, Hirokazu Anai
   Development of SyNRAC-Formula Description and New Functions. [Citation Graph (0, 0)][DBLP]
   International Conference on Computational Science, 2004, pp:286-294 [Conf]
   
4. Hitoshi Yanami, Hirokazu Anai
   Development of SyNRAC. [Citation Graph (0, 0)][DBLP]
   International Conference on Computational Science (3), 2005, pp:602-610 [Conf]
   
5. Hitoshi Yanami, Hirokazu Anai
   Development of SyNARC. [Citation Graph (0, 0)][DBLP]
   International Conference on Computational Science (2), 2006, pp:462-469 [Conf]
   
6. Hirokazu Anai, Shinji Hara, Kazuhiro Yokoyama
   Sum of roots with positive real parts. [Citation Graph (0, 0)][DBLP]
   ISSAC, 2005, pp:21-28 [Conf]
   
7. Hirokazu Anai, Volker Weispfenning
   Deciding linear-trigonometric problems. [Citation Graph (0, 0)][DBLP]
   ISSAC, 2000, pp:14-22 [Conf]
   
8. Masaaki Kanno, Hirokazu Anai, Kazuhiro Yokoyama
   On the Relationship Between the Sum of Roots with Positive Real Parts and Polynomial Spectral Factorization. [Citation Graph (0, 0)][DBLP]
   Numerical Methods and Applications, 2006, pp:320-328 [Conf]
   
9. Hirokazu Anai, Shigeo Orii, Katsuhisa Horimoto
   Symbolic-numeric Estimation of Parameters in Biochemical Models by Quantifier Elimination. [Citation Graph (0, 0)][DBLP]
   J. Bioinformatics and Computational Biology, 2006, v:4, n:5, pp:1097-1118 [Journal]
   
10. Hiroshi Yoshida, Koji Nakagawa, Hirokazu Anai, Katsuhisa Horimoto
    An Algebraic-Numeric Algorithm for the Model Selection in Kinetic Networks. [Citation Graph (0, 0)][DBLP]
    CASC, 2007, pp:433-447 [Conf]
    
11. Masaaki Kanno, Kazuhiro Yokoyama, Hirokazu Anai, Shinji Hara
    Parametric optimization in control using the sum of roots for parametric polynomial spectral factorization. [Citation Graph (0, 0)][DBLP]
    ISSAC, 2007, pp:211-218 [Conf]
    
12. Hiroshi Yoshida, Koji Nakagawa, Hirokazu Anai, Katsuhisa Horimoto
    Exact Parameter Determination for Parkinson's Disease Diagnosis with PET Using an Algebraic Approach. [Citation Graph (0, 0)][DBLP]
    AB, 2007, pp:110-124 [Conf]
    
13. Hitoshi Yanami, Hirokazu Anai
    The Maple package SyNRAC and its application to robust control design. [Citation Graph (0, 0)][DBLP]
    Future Generation Comp. Syst., 2007, v:23, n:5, pp:721-726 [Journal]
    
14. 
    Symbolic optimization of algebraic functions. [Citation Graph (, )][DBLP]
    
    
15. 
    Solution of algebraic riccati equations using the sum of roots. [Citation Graph (, )][DBLP]
    
    
16. 
    Editorial. [Citation Graph (, )][DBLP]
    
    
17. 
    Solving and visualizing nonlinear parametric constraints in control based on quantifier elimination. [Citation Graph (, )][DBLP]