D-Index & Metrics Best Publications

D-Index & Metrics D-index (Discipline H-index) only includes papers and citation values for an examined discipline in contrast to General H-index which accounts for publications across all disciplines.

Discipline name D-index D-index (Discipline H-index) only includes papers and citation values for an examined discipline in contrast to General H-index which accounts for publications across all disciplines. Citations Publications World Ranking National Ranking
Computer Science D-index 30 Citations 4,127 298 World Ranking 10205 National Ranking 4558

Overview

What is he best known for?

The fields of study he is best known for:

  • Programming language
  • Operating system
  • Algorithm

The scientist’s investigation covers issues in Algorithm, Arithmetic, Theoretical computer science, Logic synthesis and Quantum circuit. Xiaoyu Song integrates several fields in his works, including Algorithm and Convexity. Many of his research projects under Arithmetic are closely connected to Carry-save adder with Carry-save adder, tying the diverse disciplines of science together.

His studies deal with areas such as Finite-state machine, Enumeration, State and Graph as well as Theoretical computer science. His Quantum circuit research is multidisciplinary, incorporating elements of Toffoli gate, Quantum gate and Three-input universal logic gate. His work carried out in the field of Toffoli gate brings together such families of science as Discrete mathematics, Reversible computing and Topology.

His most cited work include:

  • Optimal synthesis of multiple output Boolean functions using a set of quantum gates by symbolic reachability analysis (208 citations)
  • A General Decomposition for Reversible Logic (170 citations)
  • Adder based residue to binary number converters for (2/sup n/-1, 2/sup n/, 2/sup n/+1) (156 citations)

What are the main themes of his work throughout his whole career to date?

His main research concerns Algorithm, Theoretical computer science, Routing, Formal verification and Distributed computing. Xiaoyu Song combines subjects such as Quantum computer and Quantum gate with his study of Algorithm. His research in Theoretical computer science intersects with topics in Finite-state machine, Correctness and State.

His Routing research also works with subjects such as

  • Topology most often made with reference to Communication channel,
  • Field-programmable gate array which intersects with area such as Parallel computing. His study in Formal verification is interdisciplinary in nature, drawing from both Model checking and Embedded system. His study explores the link between Toffoli gate and topics such as Discrete mathematics that cross with problems in Combinatorics.

He most often published in these fields:

  • Algorithm (23.20%)
  • Theoretical computer science (15.36%)
  • Routing (12.42%)

What were the highlights of his more recent work (between 2015-2021)?

  • Distributed computing (10.78%)
  • Software (8.17%)
  • Algorithm (23.20%)

In recent papers he was focusing on the following fields of study:

Xiaoyu Song focuses on Distributed computing, Software, Algorithm, Quantum and Cloud computing. His research integrates issues of Scheduling, Mixed criticality, Job shop scheduling, Transmission and Software construction in his study of Distributed computing. The study incorporates disciplines such as Vector space and Integer in addition to Algorithm.

His work on Quantum computer as part of general Quantum research is frequently linked to Realization, bridging the gap between disciplines. Xiaoyu Song works on Quantum computer which deals in particular with Reversible computing. His research investigates the connection with Boolean function and areas like Group theory which intersect with concerns in Theory of computation and Logic synthesis.

Between 2015 and 2021, his most popular works were:

  • From Offline Towards Real-Time Verification for Robot Systems (16 citations)
  • A framework for shopfloor material delivery based on real-time manufacturing big data (14 citations)
  • Modular Timing Constraints for Delay-Insensitive Systems (13 citations)

In his most recent research, the most cited papers focused on:

  • Programming language
  • Operating system
  • Algorithm

Software, Distributed computing, Algorithm, Programming language and Logic synthesis are his primary areas of study. His studies in Software integrate themes in fields like Design space exploration, Set, Test case and Assertion. His Distributed computing research is multidisciplinary, incorporating perspectives in Software construction, Hardware compatibility list, Cluster analysis, Counterexample and Flexibility.

His work on Design rule checking expands to the thematically related Algorithm. His Correctness and Executable study in the realm of Programming language connects with subjects such as Timer. Xiaoyu Song has researched Logic synthesis in several fields, including Quantum decoherence, Transmon, Circuit quantum electrodynamics, Qubit and Toffoli gate.

This overview was generated by a machine learning system which analysed the scientist’s body of work. If you have any feedback, you can contact us here.

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.
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (2006)

294 Citations

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.
IEEE Transactions on Signal Processing (2002)

257 Citations

A clustering-based method for unsupervised intrusion detections

ShengYi Jiang;Xiaoyu Song;Hui Wang;Jian-Jun Han.
Pattern Recognition Letters (2006)

236 Citations

A General Decomposition for Reversible Logic

Marek Perkowski;Lech Jozwiak;Pawel Kerntopf;Alan Mishchenko.
(2001)

224 Citations

Multiway Decision Graphs for Automated Hardware Verification

F. Corella;Z. Zhou;X. Song;M. Langevin.
formal methods (1997)

188 Citations

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

Y. Wang;C. Pai;X. Song.
IEEE Transactions on Circuits and Systems Ii: Analog and Digital Signal Processing (2002)

106 Citations

Quantum logic synthesis by symbolic reachability analysis

William N. N. Hung;Xiaoyu Song;Guowu Yang;Jin Yang.
design automation conference (2004)

106 Citations

Fast synthesis of exact minimal reversible circuits using group theory

Guowu Yang;Xiaoyu Song;William N. N. Hung;Marek A. Perkowski.
asia and south pacific design automation conference (2005)

87 Citations

On the Sum Coloring Problem on Interval Graphs

Sara Nicoloso;Majid Sarrafzadeh;X. Song.
Algorithmica (1999)

85 Citations

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

Marek Perkowski;Pawel Kerntopf;Andrzej Buller;Malgorzata Chrzanowska-Jeske.
(2001)

76 Citations

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

Contact us

Best Scientists Citing Xiaoyu Song

Marek Perkowski

Marek Perkowski

Portland State University

Publications: 38

Robert Wille

Robert Wille

Technical University of Munich

Publications: 35

Rolf Drechsler

Rolf Drechsler

University of Bremen

Publications: 34

Keivan Navi

Keivan Navi

Shahid Beheshti University

Publications: 28

Himanshu Thapliyal

Himanshu Thapliyal

University of Kentucky

Publications: 22

Chip-Hong Chang

Chip-Hong Chang

Nanyang Technological University

Publications: 22

Yingfeng Zhang

Yingfeng Zhang

Northwestern Polytechnical University

Publications: 20

Houbing Song

Houbing Song

University of Maryland, Baltimore County

Publications: 16

Dmitri Maslov

Dmitri Maslov

IBM (United States)

Publications: 14

Magnús M. Halldórsson

Magnús M. Halldórsson

Reykjavík University

Publications: 13

Nagarajan Ranganathan

Nagarajan Ranganathan

University of South Florida

Publications: 11

Lui Sha

Lui Sha

University of Illinois at Urbana-Champaign

Publications: 11

Guy Kortsarz

Guy Kortsarz

Rutgers, The State University of New Jersey

Publications: 11

Leonel Sousa

Leonel Sousa

Instituto Superior Técnico

Publications: 11

Nagarajan Ranganathan

Nagarajan Ranganathan

University of South Florida

Publications: 10

Igor L. Markov

Igor L. Markov

Facebook (United States)

Publications: 9

Something went wrong. Please try again later.