Atsushi Ohori
Atsushi Ohori publishes mostly in Artificial Intelligence, Computer Networks and Communications and Hardware and Architecture, on topics such as Logic, programming, and type systems, Advanced Database Systems and Queries and Parallel Computing and Optimization Techniques.
- World rank
- #3,587,970 of 7,710,434 ranked researchers
- Rank in Japan
- #89,395 of 383,136
- Works
- 98
- Citations
- 1.5k
- Citations per work
- 15.3
What does Atsushi Ohori research?
Atsushi Ohori's work is mostly in Computer Science (92%).
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 Sciences9192.4%
- Computer Science9192.4%
- Everything else77.6%
- 1Artificial Intelligence42% of their works
- 2Computer Networks and Communications22% of their works
- 3Hardware and Architecture11% of their works
- 4Computational Theory and Mathematics9% of their works
- 5Information Systems7% of their works
- 6Signal Processing2% of their works
Research topics
Which keywords describe Atsushi Ohori's research?
The keywords of their largest research topics: Model Checking, Formal Verification, Static Analysis, Temporal Logic, Continuous Queries, Data Stream Management, Description Logics and Knowledge Representation.
- Semantic Web
- Refactoring
- Symbolic Model Checker
- Fault Tolerance
- Modal Logic
- Performance Optimization
- Knowledge Representation
- Data Stream Management
- Temporal Logic
- Formal Verification
- Model Checking
- Static Analysis
- Continuous Queries
- Description Logics
- Parallel Computing
- Answer Set Programming
- Distributed Systems
- Satisfiability Modulo Theories
- Code Clone Detection
- Ontology
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 20 words, with their numbers
- Model Checking1013 topics
- Formal Verification651 topic
- Static Analysis651 topic
- Temporal Logic362 topics
- Continuous Queries331 topic
- Data Stream Management331 topic
- Description Logics302 topics
- Knowledge Representation302 topics
- Parallel Computing281 topic
- Performance Optimization281 topic
- Answer Set Programming211 topic
- Modal Logic211 topic
- Distributed Systems151 topic
- Fault Tolerance151 topic
- Satisfiability Modulo Theories151 topic
- Symbolic Model Checker151 topic
- Code Clone Detection121 topic
- Refactoring121 topic
- Ontology91 topic
- Semantic Web91 topic
Where does Atsushi Ohori work?
Atsushi Ohori's main affiliation in the publication record is Tohoku University, Japan.
How many publications and citations does Atsushi Ohori have?
OpenAlex counts 98 works and 1,502 citations for Atsushi Ohori, an h-index of 18, ranking #3,587,970 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 Atsushi Ohori. Posts are plain text and can be reported.