Kazuhiro Ogata
Kazuhiro Ogata publishes mostly in Artificial Intelligence, Computational Theory and Mathematics and Computer Networks and Communications, on topics such as Formal Methods in Verification, Logic, programming, and type systems and Security and Verification in Computing.
- World rank
- #678,097 of 1,633,909 ranked researchers
- Rank in Japan
- #29,539 of 114,622
- Works
- 55
- Citations
- 131
- Citations per work
- 2.4
What does Kazuhiro Ogata research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Artificial Intelligence26% of their works
- 2Computational Theory and Mathematics16% of their works
- 3Computer Networks and Communications13% of their works
- 4Information Systems8% of their works
- 5Software8% of their works
- 6Cell Biology4% of their works
Research topics
Which keywords describe Kazuhiro Ogata's research?
The keywords of their largest research topics: Model Checking, Satisfiability Modulo Theories, Symbolic Model Checker, Formal Verification, Static Analysis, Authentication, Key Exchange and Security Policies.
- Software Fault Localization
- Reputation
- Fault Tolerance
- Automated Testing
- Security Policies
- Authentication
- Formal Verification
- Satisfiability Modulo Theories
- Model Checking
- Symbolic Model Checker
- Static Analysis
- Key Exchange
- Side-Channel Attacks
- Distributed Systems
- QoS-Aware Middleware
- Semantic Web Services
- Trust
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
- Model Checking192 topics
- Satisfiability Modulo Theories121 topic
- Symbolic Model Checker121 topic
- Formal Verification71 topic
- Static Analysis71 topic
- Authentication41 topic
- Key Exchange41 topic
- Security Policies41 topic
- Side-Channel Attacks41 topic
- Automated Testing31 topic
- Distributed Systems31 topic
- Fault Tolerance31 topic
- QoS-Aware Middleware31 topic
- Reputation31 topic
- Semantic Web Services31 topic
- Software Fault Localization31 topic
- Trust31 topic
Where does Kazuhiro Ogata work?
Kazuhiro Ogata's main affiliation in the publication record is Japan Advanced Institute of Science and Technology, Japan.
How many publications and citations does Kazuhiro Ogata have?
Science Explorer counts 55 works and 131 citations for Kazuhiro Ogata, ranking #678,097 of 1,633,909 researchers worldwide on the composite 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.
Other researchers named Kazuhiro Ogata
Papers, co-authors, who cited this work and researchers on the nearest topics are in the interactive view on the map. Is this your page? Request a correction or removal.