World's Best Scientists 2026 revealed!

D-Index & Metrics

Computer Science

D-Index
35
Citations
5064
World Ranking
11725
National Ranking
4803

Overview

Xiaoyu Song is affiliated with Portland State University in the United States and works primarily within the field of Computer Science. Their research spans multiple subfields including Artificial Intelligence, Computer Networks and Communications, Information Systems, Computational Theory and Mathematics, and Hardware and Architecture.

The scientist has contributed extensively to topics such as Quantum Computing Algorithms and Architecture, Quantum Information and Cryptography, Quantum-Dot Cellular Automata, Software Testing and Debugging Techniques, Cloud Computing and Resource Management, Software Reliability and Analysis Research, and Software Engineering Research.

Recent significant publications include:

  • "Two-Dimensional Conductive Metal-Organic Framework Reinforced Spinterface in Organic Spin Valves" (2023) published in CCS Chemistry
  • "Dual-Branch Domain Adaptation Few-Shot Learning for Hyperspectral Image Classification" (2024) published in IEEE Transactions on Geoscience and Remote Sensing
  • "Influence mechanism of urban polycentric spatial structure on PM2.5 emissions in the Yangtze River Economic Belt, China" (2022) published in Journal of Cleaner Production
  • "CPS-Based Self-Adaptive Collaborative Control for Smart Production-Logistics Systems" (2020) published in IEEE Transactions on Cybernetics
  • "Scheduling large-scale scientific workflow on virtual machines with different numbers of vCPUs" (2020) published in The Journal of Supercomputing

Frequent collaborators include Marek Perkowski, Zhuowei Wang, Jiantao Zhou, Zonghui Li, and Guowu Yang.

Xiaoyu Song has published in multiple venues, notably:

  • arXiv (Cornell University)
  • IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
  • Computers, materials & continua/Computers, materials & continua (Print)
  • SSRN Electronic Journal
  • Journal of Physics Conference Series

The scholar's work often addresses complex computational and engineering problems through interdisciplinary approaches involving hardware, algorithms, and software systems. Their contributions have implications across emerging technologies including quantum computing and cloud resource management.

Best Publications

  • Optimal synthesis of multiple output Boolean functions using a set of quantum gates by symbolic reachability analysis

    W.N.N. Hung;Xiaoyu Song;Guowu Yang;Jin Yang

  • Adder based residue to binary number converters for (2/sup n/-1, 2/sup n/, 2/sup n/+1)

    Y. Wang;X. Song;M. Aboulhamid;H. Shen

  • A clustering-based method for unsupervised intrusion detections

    ShengYi Jiang;Xiaoyu Song;Hui Wang;Jian-Jun Han

  • A General Decomposition for Reversible Logic

    Marek Perkowski;Lech Jozwiak;Pawel Kerntopf;Alan Mishchenko

  • Multiway Decision Graphs for Automated Hardware Verification

    F. Corella;Z. Zhou;X. Song;M. Langevin

  • CPS-Based Self-Adaptive Collaborative Control for Smart Production-Logistics Systems

    Zhengang Guo;Yingfeng Zhang;Xibin Zhao;Xiaoyu Song

  • The design of hybrid carry-lookahead/carry-select adders

    Y. Wang;C. Pai;X. Song

  • Exponential-Condition-Based Barrier Certificate Generation for Safety Verification of Hybrid Systems

    Hui Kong;Fei He;Xiaoyu Song;William N. N. Hung

  • Quantum logic synthesis by symbolic reachability analysis

    William N. N. Hung;Xiaoyu Song;Guowu Yang;Jin Yang

  • On the Sum Coloring Problem on Interval Graphs

    Sara Nicoloso;Majid Sarrafzadeh;X. Song

  • Fast synthesis of exact minimal reversible circuits using group theory

    Guowu Yang;Xiaoyu Song;William N. N. Hung;Marek A. Perkowski

  • Majority-based reversible logic gates

    Guowu Yang;William N. N. Hung;Xiaoyu Song;Marek Perkowski

  • Regularity and Symmetry as a Base for Efficient Realization of Reversible Logic Circuits

    Marek Perkowski;Pawel Kerntopf;Andrzej Buller;Malgorzata Chrzanowska-Jeske

  • Design and Optimization of Multiclocked Embedded Systems Using Formal Techniques

    Yu Jiang;Hehua Zhang;Zonghui Li;Yangdong Deng

  • Regular realization of symmetric functions using reversible logic

    M. Perkowski;P. Kerntopf;A. Buller;M. Chrzanowska-Jeske

  • Further Examination of Moore's Law with Data Envelopment Analysis

    Timothy R. Anderson;Rolf Färe;Shawna Grosskopf;Lane Inman

  • Algebraic Characterization of Reversible Logic Gates

    Xiaoyu Song;Guowu Yang;Marek Perkowski;Yuke Wang

  • Bayesian-Network-Based Reliability Analysis of PLC Systems

    Yu Jiang;Hehua Zhang;Xiaoyu Song;Xun Jiao

  • Component-based hardware/software co-verification for building trustworthy embedded systems

    Fei Xie;Guowu Yang;Xiaoyu Song

  • Model Checking for a First-Order Temporal Logic Using Multiway Decision Graphs (MDGs)

    Ying Xu;Xiaoyu Song;Eduard Cerny;Otmane Ait Mohamed

Frequent Co-Authors

Marek Perkowski
Marek Perkowski Portland State University
Jiantao Zhou
Jiantao Zhou University of Macau
Alan Mishchenko
Alan Mishchenko University of California, Berkeley
Yue Gao
Yue Gao Tsinghua University
Jun-Bo Wang
Jun-Bo Wang Southeast University
Ivan E. Sutherland
Ivan E. Sutherland Portland State University
Chao-Ton Su
Chao-Ton Su National Tsing Hua University
Houbing Song
Houbing Song University of Maryland, Baltimore County
Baowen Xu
Baowen Xu Nanjing University
Hong Shen
Hong Shen Sun Yat-sen University

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Exploring a career in computer science opens doors to diverse online degree options and related fields. For those seeking a fast-track pathway, an accelerated computer science degree allows you to complete your studies more quickly and enter the workforce sooner.

If your interests span technology and sustainability, consider an environmental engineering bachelor's degree online. This program blends engineering fundamentals with practical skills to address global environmental challenges.

Engineering offers further specializations, with options like the cheapest online mechanical engineering degree for students pursuing careers in design, robotics, or manufacturing.

Those drawn to foundational sciences might consider an online bachelor's degree in physics. This versatile degree can lead to roles in research, data science, or engineering.

With these flexible online options, students can tailor their education to match their career goals and enjoy greater convenience and affordability.

Best Scientists Citing Xiaoyu Song

Trending Scientists

Recently Published Articles