Xiaoyu Song

Identifiers

• name variant Xiaoyu Song 0.60 · backfill

Papers (5)

1. Exponential-Condition-Based Barrier Certificate Generation for Safety Verification of Hybrid Systems cs.SE · 2013 · author #3
2. Improving the Process-Variation Tolerance of Digital Circuits Using Gate Sizing and Statistical Techniques cs.AR · 2007 · author #2
3. Exact Synthesis of 3-Qubit Quantum Circuits from Non-Binary Quantum Gates Using Multiple-Valued Logic and Group Theory cs.LO · 2007 · author #3
4. Defect-Tolerant CMOL Cell Assignment via Satisfiability cs.DM · 2007 · author #3
5. Realizing Ternary Quantum Switching Networks without Ancilla Bits quant-ph · 2005 · author #2

Mentions

• 1303.6885 #3 · backfill · confidence 0.70 Xiaoyu Song
• 0710.4713 #2 · backfill · confidence 0.70 Xiaoyu Song
• 0710.4694 #3 · backfill · confidence 0.70 Xiaoyu Song
• 0705.4320 #3 · backfill · confidence 0.70 Xiaoyu Song

Frequent Coauthors

• William N. N. Hung 3 shared papers
• Guowu Yang 2 shared papers
• Marek Perkowski 2 shared papers
• Changjian Gao 1 shared papers
• Dan Hammerstrom 1 shared papers
• Fei He 1 shared papers
• Hui Kong 1 shared papers
• Jinzhao Wu 1 shared papers
• Ming Gu 1 shared papers
• Osama Neiroukh 1 shared papers