Naoki Kobayashi
Naoki Kobayashi publishes mostly in Artificial Intelligence, Computational Theory and Mathematics and Software, on topics such as Logic, programming, and type systems, Formal Methods in Verification and Software Testing and Debugging Techniques.
- World rank
- #702,080 of 1,633,909 ranked researchers
- Rank in Japan
- #31,166 of 114,622
- Works
- 113
- Citations
- 238
- Citations per work
- 2.1
What does Naoki Kobayashi research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Artificial Intelligence28% of their works
- 2Computational Theory and Mathematics17% of their works
- 3Software6% of their works
- 4Computer Networks and Communications4% of their works
- 5Neurology4% of their works
- 6Aerospace Engineering4% of their works
Research topics
Which keywords describe Naoki Kobayashi's research?
The keywords of their largest research topics: Model Checking, Temporal Logic, Automata, Formal Verification, Static Analysis, Satisfiability Modulo Theories, Symbolic Model Checker and Automated Testing.
- Fault Tolerance
- Distributed Systems
- Formal Languages
- Security Policies
- Answer Set Programming
- Automated Testing
- Satisfiability Modulo Theories
- Formal Verification
- Temporal Logic
- Model Checking
- Automata
- Static Analysis
- Symbolic Model Checker
- Software Fault Localization
- Modal Logic
- Side-Channel Attacks
- Regular Expressions
- Drug Discovery
- Peptide Synthesis
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 19 words, with their numbers
- Model Checking493 topics
- Temporal Logic272 topics
- Automata242 topics
- Formal Verification221 topic
- Static Analysis221 topic
- Satisfiability Modulo Theories211 topic
- Symbolic Model Checker211 topic
- Automated Testing91 topic
- Software Fault Localization91 topic
- Answer Set Programming61 topic
- Modal Logic61 topic
- Security Policies61 topic
- Side-Channel Attacks61 topic
- Formal Languages31 topic
- Regular Expressions31 topic
- Distributed Systems21 topic
- Drug Discovery21 topic
- Fault Tolerance21 topic
- Peptide Synthesis21 topic
Where does Naoki Kobayashi work?
Naoki Kobayashi's main affiliation in the publication record is The University of Tokyo, Japan.
How many publications and citations does Naoki Kobayashi have?
Science Explorer counts 113 works and 238 citations for Naoki Kobayashi, ranking #702,080 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 Naoki Kobayashi
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.