| 2008 | 
| 24 | EE | Xiaojun Lu,
Guowu Yang,
Jianping Li,
Xiaoyu Song,
William N. N. Hung:
The probability logics for nanoscale inverterscascade.
IEEE Congress on Evolutionary Computation 2008: 2487-2491 | 
| 23 | EE | Guowu Yang,
Xiaoyu Song,
William N. N. Hung,
Marek A. Perkowski:
Bi-Directional Synthesis of 4-Bit Reversible Circuits.
Comput. J. 51(2): 207-215 (2008) | 
| 22 | EE | Lerong Cheng,
Xiaoyu Song,
Guowu Yang,
William N. N. Hung,
Zhiwei Tang,
Shaodi Gao:
A fast congestion estimator for routing with bounded detours.
Integration 41(3): 360-370 (2008) | 
| 2007 | 
| 21 | EE | William N. N. Hung,
Changjian Gao,
Xiaoyu Song,
Dan W. Hammerstrom:
Defect-Tolerant CMOL Cell Assignment via Satisfiability
CoRR abs/0705.4320:  (2007) | 
| 20 | EE | Guowu Yang,
William N. N. Hung,
Xiaoyu Song,
Marek A. Perkowski:
Exact Synthesis of 3-Qubit Quantum Circuits from Non-Binary Quantum Gates Using Multiple-Valued Logic and Group Theory
CoRR abs/0710.4694:  (2007) | 
| 2006 | 
| 19 | EE | Guowu Yang,
Xiaoyu Song,
William N. N. Hung,
Fei Xie,
Marek A. Perkowski:
Group Theory Based Synthesis of Binary Reversible Circuits.
TAMC 2006: 365-374 | 
| 18 | EE | William N. N. Hung,
Xiaoyu Song,
Guowu Yang,
Jin Yang,
Marek A. Perkowski:
Optimal synthesis of multiple output Boolean functions using a set of quantum gates by symbolic reachability analysis.
IEEE Trans. on CAD of Integrated Circuits and Systems 25(9): 1652-1663 (2006) | 
| 2005 | 
| 17 | EE | Guowu Yang,
Xiaoyu Song,
William N. N. Hung,
Marek A. Perkowski:
Fast synthesis of exact minimal reversible circuits using group theory.
ASP-DAC 2005: 1002-1005 | 
| 16 | EE | Guowu Yang,
Jin Yang,
William N. N. Hung,
Xiaoyu Song:
Implication of assertion graphs in GSTE.
ASP-DAC 2005: 1060-1063 | 
| 15 | EE | Guowu Yang,
William N. N. Hung,
Xiaoyu Song,
Marek A. Perkowski:
Exact Synthesis of 3-Qubit Quantum Circuits from Non-Binary Quantum Gates Using Multiple-Valued Logic and Group Theory.
DATE 2005: 434-435 | 
| 14 | EE | Fei He,
William N. N. Hung,
Xiaoyu Song,
Ming Gu,
Jiaguang Sun:
Segmented channel routing with pin rearrangements via satisfiability.
ISCAS (6) 2005: 6248-6251 | 
| 13 | EE | Guowu Yang,
Xiaoyu Song,
William N. N. Hung,
Marek A. Perkowski:
Bi-Direction Synthesis for Reversible Circuits.
ISVLSI 2005: 14-19 | 
| 12 | EE | Guowu Yang,
William N. N. Hung,
Xiaoyu Song,
Marek A. Perkowski:
Majority-based reversible logic gates.
Theor. Comput. Sci. 334(1-3): 259-274 (2005) | 
| 2004 | 
| 11 | EE | William N. N. Hung,
Xiaoyu Song,
Guowu Yang,
Jin Yang,
Marek A. Perkowski:
Quantum logic synthesis by symbolic reachability analysis.
DAC 2004: 838-841 | 
| 10 | EE | Lerong Cheng,
William N. N. Hung,
Guowu Yang,
Xiaoyu Song:
Congestion Estimation for 3D Routing.
ISVLSI 2004: 239-240 | 
| 9 | EE | William N. N. Hung,
Xiaoyu Song,
El Mostapha Aboulhamid,
Andrew A. Kennings,
Alan J. Coppola:
Segmented channel routability via satisfiability.
ACM Trans. Design Autom. Electr. Syst. 9(4): 517-528 (2004) | 
| 8 | EE | William N. N. Hung,
Xiaoyu Song,
T. Kam,
Lerong Cheng,
Guowu Yang:
Routability checking for three-dimensional architectures.
IEEE Trans. VLSI Syst. 12(12): 1371-1374 (2004) | 
| 7 | EE | Ming Gu,
Fei He,
William N. N. Hung,
Xiaoyu Song:
A comparative study on search strategies for cell assignments.
Int. J. Comput. Math. 81(7): 901-908 (2004) | 
| 2003 | 
| 6 | EE | Xiaoyu Song,
William N. N. Hung,
Alan Mishchenko,
Malgorzata Chrzanowska-Jeske,
Andrew A. Kennings,
Alan J. Coppola:
Board-level multiterminal net assignment for the partial cross-bar architecture.
IEEE Trans. VLSI Syst. 11(3): 511-514 (2003) | 
| 2002 | 
| 5 | EE | Xiaoyu Song,
William N. N. Hung,
Alan Mishchenko,
Malgorzata Chrzanowska-Jeske,
Alan J. Coppola,
Andrew A. Kennings:
Board-level multiterminal net assignment.
ACM Great Lakes Symposium on VLSI 2002: 130-135 | 
| 4 | EE | William N. N. Hung,
Xiaoyu Song,
Alan J. Coppola,
Andrew A. Kennings:
On segmented channel routability.
ISCAS (1) 2002: 169-172 | 
| 3 | EE | William N. N. Hung,
Xiaoyu Song:
On data address computation for embedded DSP systems.
ISCAS (4) 2002: 532-535 | 
| 2 | EE | William N. N. Hung,
Xiaoyu Song,
El Mostapha Aboulhamid,
Michael A. Driscoll:
BDD minimization by scatter search.
IEEE Trans. on CAD of Integrated Circuits and Systems 21(8): 974-979 (2002) | 
| 2001 | 
| 1 |   | William N. N. Hung,
Xiaoyu Song:
BDD Variable Ordering by Scatter Search.
ICCD 2001: 368-373 |