Guowu Yang

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)

Coauthor Index

1	Lerong Cheng	[1] [2] [4] [6] [8] [9] [16] [25]
2	Shaodi Gao	[25]
3	Ming Gu	[6] [7] [8] [9] [16]
4	Fei He	[6] [8] [9] [16]
5	William N. N. Hung	[1] [2] [3] [5] [10] [11] [13] [14] [17] [19] [24] [25] [26] [27]
6	T. Kam	[1]
7	Jianping Li	[27]
8	Xiaojun Lu	[27]
9	Marek A. Perkowski	[3] [5] [10] [11] [14] [15] [17] [19] [21] [24] [26]
10	Xiaoyu Song	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20] [21] [22] [23] [24] [25] [26] [27]
11	Jia-Guang Sun (Jiaguang Sun)	[6] [7] [9]
12	Zhiwei Tang	[4] [8] [9] [25]
13	Yuke Wang	[15]
14	Fei Xie	[12] [18] [19] [20] [21] [22] [23]
15	Hannah Honghua Yang (Honghua Yang)	[12]
16	Jin Yang	[3] [13] [17] [18]