| 2008 |
|---|
| 18 | EE | Masaaki Kanno,
Kazuhiro Yokoyama,
Hirokazu Anai,
Shinji Hara:
Symbolic optimization of algebraic functions.
ISSAC 2008: 147-154 |
| 17 | EE | Hiroshi Yoshida,
Katsuhisa Horimoto,
Hirokazu Anai:
Inference of Probabilities over a Stochastic IL-System by Quantifier Elimination.
Mathematics in Computer Science 1(3): 473-485 (2008) |
| 2007 |
|---|
| 16 | | Hirokazu Anai,
Katsuhisa Horimoto,
Temur Kutsia:
Algebraic Biology, Second International Conference, AB 2007, Castle of Hagenberg, Austria, July 2-4, 2007, Proceedings
Springer 2007 |
| 15 | EE | Hiroshi Yoshida,
Koji Nakagawa,
Hirokazu Anai,
Katsuhisa Horimoto:
Exact Parameter Determination for Parkinson's Disease Diagnosis with PET Using an Algebraic Approach.
AB 2007: 110-124 |
| 14 | EE | Hiroshi Yoshida,
Koji Nakagawa,
Hirokazu Anai,
Katsuhisa Horimoto:
An Algebraic-Numeric Algorithm for the Model Selection in Kinetic Networks.
CASC 2007: 433-447 |
| 13 | EE | Masaaki Kanno,
Kazuhiro Yokoyama,
Hirokazu Anai,
Shinji Hara:
Parametric optimization in control using the sum of roots for parametric polynomial spectral factorization.
ISSAC 2007: 211-218 |
| 12 | EE | Hirokazu Anai,
Thomas Sturm:
Editorial.
Appl. Algebra Eng. Commun. Comput. 18(6): 495-496 (2007) |
| 11 | 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) |
| 10 | 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 |
|---|
| 9 | EE | Hitoshi Yanami,
Hirokazu Anai:
Development of SyNARC.
International Conference on Computational Science (2) 2006: 462-469 |
| 8 | EE | Masaaki Kanno,
Hirokazu Anai,
Kazuhiro Yokoyama:
On the Relationship Between the Sum of Roots with Positive Real Parts and Polynomial Spectral Factorization.
Numerical Methods and Applications 2006: 320-328 |
| 7 | EE | Hirokazu Anai,
Shigeo Orii,
Katsuhisa Horimoto:
Symbolic-numeric Estimation of Parameters in Biochemical Models by Quantifier Elimination.
J. Bioinformatics and Computational Biology 4(5): 1097-1118 (2006) |
| 2005 |
|---|
| 6 | EE | Hirokazu Anai,
Shinji Hara,
Kazuhiro Yokoyama:
Sum of roots with positive real parts.
ISSAC 2005: 21-28 |
| 5 | EE | Hitoshi Yanami,
Hirokazu Anai:
Development of SyNRAC.
International Conference on Computational Science (3) 2005: 602-610 |
| 2004 |
|---|
| 4 | EE | Hitoshi Yanami,
Hirokazu Anai:
Development of SyNRAC-Formula Description and New Functions.
International Conference on Computational Science 2004: 286-294 |
| 2003 |
|---|
| 3 | EE | Hirokazu Anai,
Hitoshi Yanami:
SyNRAC: A Maple-Package for Solving Real Algebraic Constraints.
International Conference on Computational Science 2003: 828-837 |
| 2001 |
|---|
| 2 | EE | Hirokazu Anai,
Volker Weispfenning:
Reach Set Computations Using Real Quantifier Elimination.
HSCC 2001: 63-76 |
| 2000 |
|---|
| 1 | EE | Hirokazu Anai,
Volker Weispfenning:
Deciding linear-trigonometric problems.
ISSAC 2000: 14-22 |
