2008 |
27 | 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 |
26 | 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) |
25 | 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 |
24 | 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) |
23 | EE | Fei Xie,
Guowu Yang,
Xiaoyu Song:
Component-based hardware/software co-verification for building trustworthy embedded systems.
Journal of Systems and Software 80(5): 643-654 (2007) |
2006 |
22 | EE | Fei Xie,
Guowu Yang,
Xiaoyu Song:
Compositional Reasoning for Hardware/Software Co-verification.
ATVA 2006: 154-169 |
21 | EE | Guowu Yang,
Fei Xie,
Xiaoyu Song,
Marek A. Perkowski:
Universality of Hybrid Quantum Gates and Synthesis Without Ancilla Qudits.
CIAA 2006: 279-280 |
20 | EE | Fei Xie,
Guowu Yang,
Xiaoyu Song:
Component-based hardware/software co-verification.
MEMOCODE 2006: 27-36 |
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 | Guowu Yang,
Jin Yang,
Xiaoyu Song,
Fei Xie:
Maximal Models of Assertion Graph in GSTE.
TAMC 2006: 684-693 |
17 | 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) |
16 | EE | Ming Gu,
Fei He,
Lerong Cheng,
Xiaoyu Song,
Guowu Yang:
Congestion estimation for hexagonal routing.
Int. J. Comput. Math. 83(3): 263-272 (2006) |
15 | EE | Xiaoyu Song,
Guowu Yang,
Marek A. Perkowski,
Yuke Wang:
Algebraic Characterization of Reversible Logic Gates.
Theory Comput. Syst. 39(2): 311-319 (2006) |
2005 |
14 | 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 |
13 | EE | Guowu Yang,
Jin Yang,
William N. N. Hung,
Xiaoyu Song:
Implication of assertion graphs in GSTE.
ASP-DAC 2005: 1060-1063 |
12 | EE | Guowu Yang,
Xiaoyu Song,
Hannah Honghua Yang,
Fei Xie:
A Theoretical Upper Bound for IP-Based Floorplanning.
COCOON 2005: 411-419 |
11 | 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 |
10 | EE | Guowu Yang,
Xiaoyu Song,
William N. N. Hung,
Marek A. Perkowski:
Bi-Direction Synthesis for Reversible Circuits.
ISVLSI 2005: 14-19 |
9 | EE | Fei He,
Xiaoyu Song,
Lerong Cheng,
Guowu Yang,
Zhiwei Tang,
Ming Gu,
Jia-Guang Sun:
A Hierachical Method for Wiring and Congestion Prediction.
ISVLSI 2005: 307-308 |
8 | EE | Fei He,
Ming Gu,
Xiaoyu Song,
Zhiwei Tang,
Guowu Yang,
Lerong Cheng:
Probabilistic Estimation for Routing Space.
Comput. J. 48(6): 667-676 (2005) |
7 | EE | Ming Gu,
Guowu Yang,
Xiaoyu Song,
Jiaguang Sun:
On synthesis of 3 × 3 reversible logic functions.
Int. J. Comput. Math. 82(4): 385-390 (2005) |
6 | EE | Fei He,
Lerong Cheng,
Guowu Yang,
Xiaoyu Song,
Ming Gu,
Jia-Guang Sun:
On Theoretical Upper Bounds for Routing Estimation.
J. UCS 11(6): 916-925 (2005) |
5 | 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 |
4 | EE | Lerong Cheng,
Xiaoyu Song,
Guowu Yang,
Zhiwei Tang:
A fast congestion estimator for routing with bounded detours.
ASP-DAC 2004: 666-670 |
3 | 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 |
2 | EE | Lerong Cheng,
William N. N. Hung,
Guowu Yang,
Xiaoyu Song:
Congestion Estimation for 3D Routing.
ISVLSI 2004: 239-240 |
1 | 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) |