William N. N. Hung

	2012
40		Liangze Yin, Fei He, William N. N. Hung, Xiaoyu Song, Ming Gu: Maxterm Covering for Satisfiability. IEEE Trans. Computers 61(3): 420-426 (2012)
39		Hehua Zhang, Yu Jiang, William N. N. Hung, Guowu Yang, Ming Gu, Jiaguang Sun: New strategies for reliability analysis of Programmable Logic Controllers. Mathematical and Computer Modelling 55(7-8): 1916-1931 (2012)
	2011
38		Yongjian Li, Naiju Zeng, William N. N. Hung, Xiaoyu Song: Enhanced symbolic simulation of a round-robin arbiter. ICCD 2011: 102-107
37		Hehua Zhang, Yu Jiang, William N. N. Hung, Xiaoyu Song, Ming Gu: Domain-Driven Probabilistic Analysis of Programmable Logic Controllers. ICFEM 2011: 115-130
36		Anping He, William N. N. Hung, Guowu Yang, Jinzhao Wu, Lian Li: Mathematical analysis of stage-based programmable logic controller. Computers & Mathematics with Applications 61(7): 1769-1785 (2011)
35		Yongjian Li, William N. N. Hung, Xiaoyu Song, Naiju Zeng: Exploring structural symmetry automatically in symbolic trajectory evaluation. Formal Methods in System Design 39(2): 117-143 (2011)
34		Zhiyang You, Xibin Zhao, Hai Wan, William N. N. Hung, Yuke Wang, Ming Gu: A novel fault diagnosis mechanism for wireless sensor networks. Mathematical and Computer Modelling 54(1-2): 330-343 (2011)
33		Guowu Yang, Fei Xie, William N. N. Hung, Xiaoyu Song, Marek A. Perkowski: Realization and synthesis of reversible functions. Theor. Comput. Sci. 412(17): 1606-1613 (2011)
32		Yongjian Li, William N. N. Hung, Xiaoyu Song: A novel formalization of symbolic trajectory evaluation semantics in Isabelle/HOL. Theor. Comput. Sci. 412(25): 2746-2765 (2011)
	2010
31		Zhufei Chu, Yinshui Xia, William N. N. Hung, Lun-Yao Wang, Xiaoyu Song: A Memetic Approach for Nanoscale Hybrid Circuit Cell Mapping. DSD 2010: 681-688
30		Guowu Yang, William N. N. Hung, Xiaoyu Song, Marek A. Perkowski: Synthesizing hybrid quantum circuits without ancilla qudits. IEEE Congress on Evolutionary Computation 2010: 1-7
29		Fei He, He Zhu, William N. N. Hung, Xiaoyu Song, Ming Gu: Compositional Abstraction Refinement for Timed Systems. TASE 2010: 168-176
28		Fei He, Xiaoyu Song, William N. N. Hung, Ming Gu, Jiaguang Sun: Integrating Evolutionary Computation with Abstraction Refinement for Model Checking. IEEE Trans. Computers 59(1): 116-126 (2010)
	2009
27		He Zhu, Fei He, William N. N. Hung, Xiaoyu Song, Ming Gu: Data mining based decomposition for assume-guarantee reasoning. FMCAD 2009: 116-119
	2008
26		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
25		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)
24		Guowu Yang, Xiaoyu Song, Marek A. Perkowski, William N. N. Hung, Chang-Jun Seo: Minimal universal library for n×n reversible circuits. Computers & Mathematics with Applications 56(1): 160-165 (2008)
23		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
22		William N. N. Hung, Changjian Gao, Xiaoyu Song, Dan W. Hammerstrom: Defect-Tolerant CMOL Cell Assignment via Satisfiability CoRR abs/0705.4320: (2007)
21		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)
20		Guowu Yang, Xiaoyu Song, Marek A. Perkowski, William N. N. Hung, Jacob D. Biamonte, Zhiwei Tang: Four-level realisation of 3-qubit reversible functions. IET Computers & Digital Techniques 1(4): 382-388 (2007)
	2006
19		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		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		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		Guowu Yang, Jin Yang, William N. N. Hung, Xiaoyu Song: Implication of assertion graphs in GSTE. ASP-DAC 2005: 1060-1063
15		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		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		Guowu Yang, Xiaoyu Song, William N. N. Hung, Marek A. Perkowski: Bi-Direction Synthesis for Reversible Circuits. ISVLSI 2005: 14-19
12		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		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		Lerong Cheng, William N. N. Hung, Guowu Yang, Xiaoyu Song: Congestion Estimation for 3D Routing. ISVLSI 2004: 239-240
9		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		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		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		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		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		William N. N. Hung, Xiaoyu Song, Alan J. Coppola, Andrew A. Kennings: On segmented channel routability. ISCAS (1) 2002: 169-172
3		William N. N. Hung, Xiaoyu Song: On data address computation for embedded DSP systems. ISCAS (4) 2002: 532-535
2		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

Coauthor Index

1	El Mostapha Aboulhamid	[2] [9]
2	Jacob D. Biamonte	[20]
3	Lerong Cheng	[8] [10] [23]
4	Malgorzata Chrzanowska-Jeske	[5] [6]
5	Zhufei Chu	[31]
6	Alan J. Coppola	[4] [5] [6] [9]
7	Michael A. Driscoll	[2]
8	Changjian Gao	[22]
9	Shaodi Gao	[23]
10	Ming Gu	[7] [14] [27] [28] [29] [34] [37] [39] [40]
11	Dan W. Hammerstrom	[22]
12	Anping He	[36]
13	Fei He	[7] [14] [27] [28] [29] [40]
14	Yu Jiang	[37] [39]
15	T. Kam	[8]
16	Andrew A. Kennings	[4] [5] [6] [9]
17	Jianping Li	[26]
18	Lian Li	[36]
19	Yongjian Li	[32] [35] [38]
20	Xiaojun Lu	[26]
21	Alan Mishchenko	[5] [6]
22	Marek A. Perkowski	[11] [12] [13] [15] [17] [18] [19] [20] [21] [24] [25] [30] [33]
23	Chang-Jun Seo	[24]
24	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] [28] [29] [30] [31] [32] [33] [35] [37] [38] [40]
25	Jia-Guang Sun (Jiaguang Sun)	[14] [28] [39]
26	Zhiwei Tang	[20] [23]
27	Hai Wan	[34]
28	Lun-Yao Wang	[31]
29	Yuke Wang	[34]
30	Jinzhao Wu	[36]
31	Yinshui Xia	[31]
32	Fei Xie	[19] [33]
33	Guowu Yang	[8] [10] [11] [12] [13] [15] [16] [17] [18] [19] [20] [21] [23] [24] [25] [26] [30] [33] [36] [39]
34	Jin Yang	[11] [16] [18]
35	Liangze Yin	[40]
36	Zhiyang You	[34]
37	Naiju Zeng	[35] [38]
38	Hehua Zhang	[37] [39]
39	Xibin Zhao	[34]
40	He Zhu	[27] [29]

Last update Sat Jun 2 20:57:36 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page