Xiaodong Yuan
Xiaodong Yuan publishes mostly in Electrical and Electronic Engineering, Aerospace Engineering and Biomedical Engineering, on topics such as Plasma Diagnostics and Applications, Logic, programming, and type systems and Formal Methods in Verification.
- World rank
- #1,216,050 of 1,633,909 ranked researchers
- Rank in China
- #120,116 of 187,979
- Works
- 16
- Citations
- 35
- Citations per work
- 2.2
What does Xiaodong Yuan 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 Engineering21% of their works
- 2Aerospace Engineering8% of their works
- 3Biomedical Engineering8% of their works
- 4Atomic and Molecular Physics, and Optics8% of their works
- 5Computational Mechanics4% of their works
- 6Mechanics of Materials4% of their works
Research topics
Which keywords describe Xiaodong Yuan's research?
The keywords of their largest research topics: Model Checking, Plasma Etching, Semiconductor Industry, Air Force, Crystal Structure Prediction, Formal Verification, Hard Real-Time Systems and Ice Nucleation.
- Static Analysis
- Scheduling Algorithms
- Network Virtualization
- Melting
- Ice Nucleation
- Formal Verification
- Air Force
- Plasma Etching
- Model Checking
- Semiconductor Industry
- Crystal Structure Prediction
- Hard Real-Time Systems
- Mantle Dynamics
- Modernization
- Satisfiability Modulo Theories
- Software-Defined Networking
- Symbolic Model Checker
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 17 words, with their numbers
- Model Checking22 topics
- Plasma Etching21 topic
- Semiconductor Industry21 topic
- Air Force11 topic
- Crystal Structure Prediction11 topic
- Formal Verification11 topic
- Hard Real-Time Systems11 topic
- Ice Nucleation11 topic
- Mantle Dynamics11 topic
- Melting11 topic
- Modernization11 topic
- Network Virtualization11 topic
- Satisfiability Modulo Theories11 topic
- Scheduling Algorithms11 topic
- Software-Defined Networking11 topic
- Static Analysis11 topic
- Symbolic Model Checker11 topic
Where does Xiaodong Yuan work?
Xiaodong Yuan's main affiliation in the publication record is China Academy of Engineering Physics, China.
How many publications and citations does Xiaodong Yuan have?
Science Explorer counts 16 works and 35 citations for Xiaodong Yuan, ranking #1,216,050 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 Xiaodong Yuan
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.