Science Explorer Interactive view Map
Researcher · Portland State University · United States

Xiaoyu Song

Xiaoyu Song publishes mostly in Computational Theory and Mathematics, Hardware and Architecture and Artificial Intelligence, on topics such as Formal Methods in Verification, Embedded Systems Design Techniques and Quantum Computing Algorithms and Architecture.

ORCID 0000-0002-6583-9400 OpenAlex
World rank
#544,295
of 1,633,909 ranked researchers
Rank in United States
#176,691
of 358,040
Works
100
Citations
224
Citations per work
2.2

What does Xiaoyu Song research?

Computational Theory and Mathematics: 18.7%Hardware and Architecture: 17.1%Artificial Intelligence: 15.4%Electrical and Electronic Engineering: 13.0%other fields: 35.8%19%top field
Computational Theory and Mathematics18.7%Hardware and Architecture17.1%Artificial Intelligence15.4%Electrical and Electronic Engineering13.0%other fields35.8%

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 Mathematics19% of their works
  2. 2Hardware and Architecture17% of their works
  3. 3Artificial Intelligence15% of their works
  4. 4Electrical and Electronic Engineering13% of their works
  5. 5Software8% of their works
  6. 6Information Systems2% of their works

Research topics

Which keywords describe Xiaoyu Song's research?

The keywords of their largest research topics: Embedded Systems, Model Checking, Symbolic Model Checker, High-Level Synthesis, Reconfigurable Computing, Embedded Cores, Quantum Computation and Quantum Information.

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
  1. Embedded Systems152 topics
  2. Model Checking151 topic
  3. Symbolic Model Checker151 topic
  4. High-Level Synthesis101 topic
  5. Reconfigurable Computing101 topic
  6. Embedded Cores61 topic
  7. Quantum Computation61 topic
  8. Quantum Information61 topic
  9. Test Data Compression61 topic
  10. Architecture-Based Approach51 topic
  11. Entanglement51 topic
  12. Hard Real-Time Systems51 topic
  13. Quantum51 topic
  14. Scheduling Algorithms51 topic
  15. Software Reliability Modeling51 topic
  16. QCA41 topic
  17. Quantum-dot Cellular Automata41 topic

Where does Xiaoyu Song work?

Xiaoyu Song's main affiliation in the publication record is Portland State University, United States.

How many publications and citations does Xiaoyu Song have?

Science Explorer counts 100 works and 224 citations for Xiaoyu Song, ranking #544,295 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 Xiaoyu Song

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.