Hirokazu Anai

	2009
20		Masaaki Kanno, Kazuhiro Yokoyama, Hirokazu Anai, Shinji Hara: Solution of algebraic riccati equations using the sum of roots. ISSAC 2009: 215-222
19		Hirokazu Anai, Shinji Hara, Masaaki Kanno, Kazuhiro Yokoyama: Parametric polynomial spectral factorization using the sum of roots and its application to a control design problem. J. Symb. Comput. 44(7): 703-725 (2009)
	2008
18		Masaaki Kanno, Kazuhiro Yokoyama, Hirokazu Anai, Shinji Hara: Symbolic optimization of algebraic functions. ISSAC 2008: 147-154
17		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		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		Hiroshi Yoshida, Koji Nakagawa, Hirokazu Anai, Katsuhisa Horimoto: An Algebraic-Numeric Algorithm for the Model Selection in Kinetic Networks. CASC 2007: 433-447
13		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		Hirokazu Anai, Thomas Sturm: Editorial. Appl. Algebra Eng. Commun. Comput. 18(6): 495-496 (2007)
11		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		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		Hitoshi Yanami, Hirokazu Anai: Development of SyNARC. International Conference on Computational Science (2) 2006: 462-469
8		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		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		Hirokazu Anai, Shinji Hara, Kazuhiro Yokoyama: Sum of roots with positive real parts. ISSAC 2005: 21-28
5		Hitoshi Yanami, Hirokazu Anai: Development of SyNRAC. International Conference on Computational Science (3) 2005: 602-610
	2004
4		Hitoshi Yanami, Hirokazu Anai: Development of SyNRAC-Formula Description and New Functions. International Conference on Computational Science 2004: 286-294
	2003
3		Hirokazu Anai, Hitoshi Yanami: SyNRAC: A Maple-Package for Solving Real Algebraic Constraints. International Conference on Computational Science 2003: 828-837
	2001
2		Hirokazu Anai, Volker Weispfenning: Reach Set Computations Using Real Quantifier Elimination. HSCC 2001: 63-76
	2000
1		Hirokazu Anai, Volker Weispfenning: Deciding linear-trigonometric problems. ISSAC 2000: 14-22

Coauthor Index

1	Shinji Hara	[6] [11] [13] [18] [19] [20]
2	Myunghoon Hong	[11]
3	Katsuhisa Horimoto	[7] [14] [15] [16] [17]
4	Noriko Hyodo	[11]
5	Masaaki Kanno	[8] [13] [18] [19] [20]
6	Temur Kutsia	[16]
7	Koji Nakagawa	[14] [15]
8	Shigeo Orii	[7]
9	Thomas Sturm	[12]
10	Volker Weispfenning	[1] [2]
11	Hitoshi Yanami	[3] [4] [5] [9] [10] [11]
12	Kazuhiro Yokoyama	[6] [8] [13] [18] [19] [20]
13	Hiroshi Yoshida	[14] [15] [17]

Colors in the list of coauthors