Yoshihito Toyama
Yoshihito Toyama publishes mostly in Artificial Intelligence, Computational Theory and Mathematics and Information Systems, on topics such as Logic, programming, and type systems, Logic, Reasoning, and Knowledge and Natural Language Processing Techniques.
- World rank
- #4,270,615 of 7,710,434 ranked researchers
- Rank in Japan
- #119,384 of 383,136
- Works
- 82
- Citations
- 1.1k
- Citations per work
- 13.3
What does Yoshihito Toyama research?
Yoshihito Toyama's work is mostly in Computer Science (92%), Medicine (1%).
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 Sciences7591.8%
- Computer Science7591.8%
- Everything else67.3%
- Health Sciences10.9%
- Medicine10.9%
- 1Artificial Intelligence61% of their works
- 2Computational Theory and Mathematics22% of their works
- 3Information Systems4% of their works
- 4Software4% of their works
- 5Computer Networks and Communications2% of their works
- 6Oncology1% of their works
Research topics
Which keywords describe Yoshihito Toyama's research?
The keywords of their largest research topics: Model Checking, Formal Verification, Static Analysis, Temporal Logic, Description Logics, Knowledge Representation, Automata and Answer Set Programming.
- Code Clone Detection
- Domain-Specific Languages
- Ontology
- Satisfiability Modulo Theories
- Regular Expressions
- Formal Languages
- Answer Set Programming
- Knowledge Representation
- Temporal Logic
- Formal Verification
- Model Checking
- Static Analysis
- Description Logics
- Automata
- Modal Logic
- Neural Machine Translation
- Statistical Machine Translation
- Symbolic Model Checker
- Semantic Web
- Model-Driven Engineering
- Refactoring
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 21 words, with their numbers
- Model Checking1063 topics
- Formal Verification611 topic
- Static Analysis611 topic
- Temporal Logic452 topics
- Description Logics442 topics
- Knowledge Representation442 topics
- Automata402 topics
- Answer Set Programming271 topic
- Modal Logic271 topic
- Formal Languages221 topic
- Neural Machine Translation221 topic
- Regular Expressions221 topic
- Statistical Machine Translation221 topic
- Satisfiability Modulo Theories181 topic
- Symbolic Model Checker181 topic
- Ontology171 topic
- Semantic Web171 topic
- Domain-Specific Languages71 topic
- Model-Driven Engineering71 topic
- Code Clone Detection61 topic
- Refactoring61 topic
Where does Yoshihito Toyama work?
Yoshihito Toyama's main affiliation in the publication record is Tohoku University, Japan.
How many publications and citations does Yoshihito Toyama have?
OpenAlex counts 82 works and 1,094 citations for Yoshihito Toyama, an h-index of 17, ranking #4,270,615 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 Yoshihito Toyama. Posts are plain text and can be reported.