Naoyuki Tamura
Naoyuki Tamura publishes mostly in Electrical and Electronic Engineering, Computational Theory and Mathematics and Polymers and Plastics, on topics such as Formal Methods in Verification, Constraint Satisfaction and Optimization and Logic, programming, and type systems.
- World rank
- #980,476 of 1,633,909 ranked researchers
- Rank in Japan
- #53,258 of 114,622
- Works
- 55
- Citations
- 78
- Citations per work
- 1.4
What does Naoyuki Tamura research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Electrical and Electronic Engineering12% of their works
- 2Computational Theory and Mathematics12% of their works
- 3Polymers and Plastics10% of their works
- 4Computer Networks and Communications9% of their works
- 5Materials Chemistry9% of their works
- 6Artificial Intelligence8% of their works
Research topics
- Formal Methods in Verification
- Constraint Satisfaction and Optimization
- Logic, programming, and type systems
- Model-Driven Software Engineering Techniques
- Semiconductor materials and devices
- Diamond and Carbon-based Materials Research
- Polymer Nanocomposite Synthesis and Irradiation
- Logic, Reasoning, and Knowledge
Which keywords describe Naoyuki Tamura's research?
The keywords of their largest research topics: Model Checking, Temporal Logic, Satisfiability Modulo Theories, Symbolic Model Checker, Constraint Optimization, Distributed Algorithms, Atomic Layer Deposition and Domain-Specific Languages.
- Modal Logic
- Static Analysis
- Polyvinyl Alcohol
- Nanocomposites
- High-k Dielectrics
- Domain-Specific Languages
- Distributed Algorithms
- Symbolic Model Checker
- Temporal Logic
- Model Checking
- Satisfiability Modulo Theories
- Constraint Optimization
- Atomic Layer Deposition
- Formal Verification
- Model-Driven Engineering
- Nanodiamonds
- Quantum Sensing
- Answer Set Programming
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 18 words, with their numbers
- Model Checking123 topics
- Temporal Logic92 topics
- Satisfiability Modulo Theories71 topic
- Symbolic Model Checker71 topic
- Constraint Optimization41 topic
- Distributed Algorithms41 topic
- Atomic Layer Deposition31 topic
- Domain-Specific Languages31 topic
- Formal Verification31 topic
- High-k Dielectrics31 topic
- Model-Driven Engineering31 topic
- Nanocomposites31 topic
- Nanodiamonds31 topic
- Polyvinyl Alcohol31 topic
- Quantum Sensing31 topic
- Static Analysis31 topic
- Answer Set Programming21 topic
- Modal Logic21 topic
Where does Naoyuki Tamura work?
Naoyuki Tamura's main affiliation in the publication record is Kobe University, Japan.
How many publications and citations does Naoyuki Tamura have?
Science Explorer counts 55 works and 78 citations for Naoyuki Tamura, ranking #980,476 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 Naoyuki Tamura
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.