Science Explorer Interactive view Map
Researcher · Japan Advanced Institute of Science and Technology · Japan

Takashi Tomita

Takashi Tomita publishes mostly in Computational Theory and Mathematics, Artificial Intelligence and Software, on topics such as Formal Methods in Verification, Embedded Systems Design Techniques and Model-Driven Software Engineering Techniques.

ORCID 0000-0003-1249-7862 OpenAlex
World rank
#1,622,452
of 1,633,909 ranked researchers
Rank in Japan
#113,673
of 114,622
Works
16
Citations
3
Citations per work
0.2

What does Takashi Tomita research?

Computational Theory and Mathematics: 26.9%Artificial Intelligence: 11.5%Software: 11.5%Hardware and Architecture: 11.5%other fields: 38.6%27%top field
Computational Theory and Mathematics26.9%Artificial Intelligence11.5%Software11.5%Hardware and Architecture11.5%other fields38.6%

Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.

  1. 1Computational Theory and Mathematics27% of their works
  2. 2Artificial Intelligence12% of their works
  3. 3Software12% of their works
  4. 4Hardware and Architecture12% of their works
  5. 5Computer Networks and Communications12% of their works
  6. 6Industrial and Manufacturing Engineering4% of their works

Research topics

Which keywords describe Takashi Tomita's research?

The keywords of their largest research topics: Model Checking, Temporal Logic, Satisfiability Modulo Theories, Symbolic Model Checker, High-Level Synthesis, Reconfigurable Computing, Description Logics and Domain-Specific Languages.

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
  1. Model Checking72 topics
  2. Temporal Logic72 topics
  3. Satisfiability Modulo Theories61 topic
  4. Symbolic Model Checker61 topic
  5. High-Level Synthesis31 topic
  6. Reconfigurable Computing31 topic
  7. Description Logics22 topics
  8. Domain-Specific Languages21 topic
  9. Knowledge Representation22 topics
  10. Model-Driven Engineering21 topic
  11. Answer Set Programming11 topic
  12. DNA Computing11 topic
  13. Machine Learning11 topic
  14. Modal Logic11 topic
  15. Modelica11 topic
  16. Molecular Computation11 topic
  17. Ontology11 topic
  18. Seismic Signals11 topic
  19. Semantic Web11 topic
  20. Simulation11 topic

Where does Takashi Tomita work?

Takashi Tomita's main affiliation in the publication record is Japan Advanced Institute of Science and Technology, Japan.

How many publications and citations does Takashi Tomita have?

Science Explorer counts 16 works and 3 citations for Takashi Tomita, ranking #1,622,452 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 Takashi Tomita

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.