Kenichi Asai
Kenichi Asai publishes mostly in Artificial Intelligence, Computational Theory and Mathematics and Condensed Matter Physics, on topics such as Logic, programming, and type systems, Logic, Reasoning, and Knowledge and Formal Methods in Verification.
- World rank
- #1,058,552 of 1,633,909 ranked researchers
- Rank in Japan
- #60,360 of 114,622
- Works
- 19
- Citations
- 48
- Citations per work
- 2.5
What does Kenichi Asai research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Artificial Intelligence40% of their works
- 2Computational Theory and Mathematics16% of their works
- 3Condensed Matter Physics12% of their works
- 4Hardware and Architecture8% of their works
- 5Electronic, Optical and Magnetic Materials8% of their works
- 6Computer Networks and Communications8% of their works
Research topics
Which keywords describe Kenichi Asai's research?
The keywords of their largest research topics: Model Checking, Temporal Logic, Description Logics, Formal Verification, Knowledge Representation, Static Analysis, Answer Set Programming and Modal Logic.
- Petri Nets
- Inorganic Clusters
- Superconductivity
- Performance Optimization
- Ontology
- Symbolic Model Checker
- Modal Logic
- Static Analysis
- Formal Verification
- Temporal Logic
- Model Checking
- Description Logics
- Knowledge Representation
- Answer Set Programming
- Satisfiability Modulo Theories
- Heavy Fermion
- Parallel Computing
- Semantic Web
- Deadlock Prevention
- Oxynitride Perovskites
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 Checking113 topics
- Temporal Logic62 topics
- Description Logics52 topics
- Formal Verification51 topic
- Knowledge Representation52 topics
- Static Analysis51 topic
- Answer Set Programming31 topic
- Modal Logic31 topic
- Satisfiability Modulo Theories31 topic
- Symbolic Model Checker31 topic
- Heavy Fermion21 topic
- Ontology21 topic
- Parallel Computing21 topic
- Performance Optimization21 topic
- Semantic Web21 topic
- Superconductivity21 topic
- Deadlock Prevention11 topic
- Inorganic Clusters11 topic
- Oxynitride Perovskites11 topic
- Petri Nets11 topic
Where does Kenichi Asai work?
Kenichi Asai's main affiliation in the publication record is Ochanomizu University, Japan.
How many publications and citations does Kenichi Asai have?
Science Explorer counts 19 works and 48 citations for Kenichi Asai, ranking #1,058,552 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.
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.