Hirokazu Anai
Hirokazu Anai publishes mostly in Computational Theory and Mathematics, Control and Systems Engineering and Artificial Intelligence, on topics such as Polynomial and algebraic computation, Advanced Control Systems Optimization and Formal Methods in Verification.
- World rank
- #7,438,928 of 7,710,434 ranked researchers
- Rank in Japan
- #351,164 of 383,136
- Works
- 170
- Citations
- 870
- Citations per work
- 5.1
What does Hirokazu Anai research?
Hirokazu Anai's work is mostly in Computer Science (37%), Engineering (17%), Mathematics (4%).
Their six largest subfields, inside their fields and domains; the grey slice is everything else they publish. The interactive view splits every one of their works down to single topics.
The fields and subfields, with their numbers
- Physical Sciences10058.8%
- Computer Science6437.5%
- Engineering3017.4%
- Mathematics73.9%
- Everything else6538.4%
- Life Sciences52.8%
- 1Computational Theory and Mathematics29% of their works
- 2Control and Systems Engineering14% of their works
- 3Artificial Intelligence9% of their works
- 4Numerical Analysis4% of their works
- 5Computational Mechanics4% of their works
- 6Molecular Biology3% of their works
Research topics
Which keywords describe Hirokazu Anai's research?
The keywords of their largest research topics: Gröbner Bases, Symbolic Computing, Model Checking, Model Predictive Control, Optimization, Satisfiability Modulo Theories, Symbolic Model Checker and Floating-Point Arithmetic.
- Gene Regulatory Networks
- Formal Verification
- Parameter Estimation
- Finite Elements
- Floating-Point Arithmetic
- Satisfiability Modulo Theories
- Model Predictive Control
- Symbolic Computing
- Gröbner Bases
- Model Checking
- Optimization
- Symbolic Model Checker
- Interval Analysis
- NURBS
- System Identification
- Static Analysis
- Stochastic Gene Expression
Size is their works in the topics tagged with each word, from their 8 largest topics. Each links to the topic it comes from most.
All 17 words, with their numbers
- Gröbner Bases611 topic
- Symbolic Computing611 topic
- Model Checking362 topics
- Model Predictive Control281 topic
- Optimization281 topic
- Satisfiability Modulo Theories261 topic
- Symbolic Model Checker261 topic
- Floating-Point Arithmetic221 topic
- Interval Analysis221 topic
- Finite Elements141 topic
- NURBS141 topic
- Parameter Estimation111 topic
- System Identification111 topic
- Formal Verification101 topic
- Static Analysis101 topic
- Gene Regulatory Networks91 topic
- Stochastic Gene Expression91 topic
Where does Hirokazu Anai work?
Hirokazu Anai's main affiliation in the publication record is Fujitsu (Japan), Japan.
How many publications and citations does Hirokazu Anai have?
OpenAlex counts 170 works and 870 citations for Hirokazu Anai, an h-index of 17, ranking #7,438,928 of 7,710,434 researchers worldwide on the quality score.
Ranked on field-normalised excellence (50%), output (30%) and citations (20%). Counts come from OpenAlex author records, which occasionally merge different people who share a name or split one person into several.
Papers, co-authors, who cited this work and researchers on the nearest topics have tabs of their own, above. Is this your page? Claim it with your ORCID iD, or request a correction or removal.
Discussion
Ask a question or share a note about Hirokazu Anai. Posts are plain text and can be reported.