Ryosuke Sato
Ryosuke Sato publishes mostly in Organic Chemistry, Artificial Intelligence and Computational Theory and Mathematics, on topics such as Logic, programming, and type systems, Formal Methods in Verification and Security and Verification in Computing.
- World rank
- #1,058,127 of 1,633,909 ranked researchers
- Rank in Japan
- #60,331 of 114,622
- Works
- 39
- Citations
- 49
- Citations per work
- 1.3
What does Ryosuke Sato research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Organic Chemistry14% of their works
- 2Artificial Intelligence12% of their works
- 3Computational Theory and Mathematics8% of their works
- 4Ocean Engineering6% of their works
- 5Civil and Structural Engineering6% of their works
- 6Mechanics of Materials6% of their works
Research topics
Which keywords describe Ryosuke Sato's research?
The keywords of their largest research topics: Model Checking, Formal Verification, Satisfiability Modulo Theories, Static Analysis, Symbolic Model Checker, Disaster Recovery, Medicinal Chemistry and Ring Laser Gyroscope.
- Selenium Reagents
- Organoselenium Compounds
- Drug Discovery
- Urban Reconstruction
- Security Policies
- Ring Laser Gyroscope
- Disaster Recovery
- Static Analysis
- Formal Verification
- Model Checking
- Satisfiability Modulo Theories
- Symbolic Model Checker
- Medicinal Chemistry
- Rotational Seismology
- Side-Channel Attacks
- Deuterium
- Fluorine
- Pharmaceuticals
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 Checking82 topics
- Formal Verification41 topic
- Satisfiability Modulo Theories41 topic
- Static Analysis41 topic
- Symbolic Model Checker41 topic
- Disaster Recovery21 topic
- Medicinal Chemistry22 topics
- Ring Laser Gyroscope21 topic
- Rotational Seismology21 topic
- Security Policies21 topic
- Side-Channel Attacks21 topic
- Urban Reconstruction21 topic
- Deuterium11 topic
- Drug Discovery11 topic
- Fluorine11 topic
- Organoselenium Compounds11 topic
- Pharmaceuticals11 topic
- Selenium Reagents11 topic
Where does Ryosuke Sato work?
Ryosuke Sato's main affiliation in the publication record is The University of Tokyo, Japan.
How many publications and citations does Ryosuke Sato have?
Science Explorer counts 39 works and 49 citations for Ryosuke Sato, ranking #1,058,127 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 Ryosuke Sato
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.