Hiroshi Nakano
Hiroshi Nakano publishes mostly in Artificial Intelligence, Computational Theory and Mathematics and Molecular Biology, on topics such as Logic, programming, and type systems, Logic, Reasoning, and Knowledge and Formal Methods in Verification.
- World rank
- #1,049,519 of 1,633,909 ranked researchers
- Rank in Japan
- #59,556 of 114,622
- Works
- 19
- Citations
- 55
- Citations per work
- 2.9
What does Hiroshi Nakano research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Artificial Intelligence29% of their works
- 2Computational Theory and Mathematics10% of their works
- 3Molecular Biology10% of their works
- 4Microbiology3% of their works
- 5Mechanical Engineering3% of their works
- 6Condensed Matter Physics3% of their works
Research topics
Which keywords describe Hiroshi Nakano's research?
The keywords of their largest research topics: Model Checking, Temporal Logic, Formal Verification, Static Analysis, Answer Set Programming, Modal Logic, Satisfiability Modulo Theories and Symbolic Model Checker.
- RNA Regulation
- Nucleocytoplasmic Transport
- Long Noncoding RNAs
- Intermediate Filaments
- ADAR Deaminases
- Symbolic Model Checker
- Modal Logic
- Static Analysis
- Temporal Logic
- Model Checking
- Formal Verification
- Answer Set Programming
- Satisfiability Modulo Theories
- Cancer
- Alternative Splicing
- Keratins
- Nuclear Pore Complex
- RNA Editing
- RNA-Binding Proteins
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 Checking103 topics
- Temporal Logic62 topics
- Formal Verification41 topic
- Static Analysis41 topic
- Answer Set Programming31 topic
- Modal Logic31 topic
- Satisfiability Modulo Theories31 topic
- Symbolic Model Checker31 topic
- Cancer22 topics
- ADAR Deaminases11 topic
- Alternative Splicing11 topic
- Intermediate Filaments11 topic
- Keratins11 topic
- Long Noncoding RNAs11 topic
- Nuclear Pore Complex11 topic
- Nucleocytoplasmic Transport11 topic
- RNA Editing11 topic
- RNA Regulation11 topic
- RNA-Binding Proteins11 topic
Where does Hiroshi Nakano work?
Hiroshi Nakano's main affiliation in the publication record is Ryukoku University, Japan.
How many publications and citations does Hiroshi Nakano have?
Science Explorer counts 19 works and 55 citations for Hiroshi Nakano, ranking #1,049,519 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 Hiroshi Nakano
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.