DBLP: William N. N. Hung

	2013
j20		Wensheng Guo, Guowu Yang, William N. N. Hung, Xiaoyu Song: Complete Boolean Satisfiability Solving Algorithms Based on Local Search. J. Comput. Sci. Technol. 28(2): 247-254 (2013)
c26		Hehua Zhang, Yu Jiang, Xiaoyu Song, William N. N. Hung, Ming Gu, Jiaguang Sun: Sequential dependency and reliability analysis of embedded systems. ASP-DAC 2013: 423-428
i3		Hui Kong, Fei He, Xiaoyu Song, William N. N. Hung, Ming Gu: Exponential-Condition-Based Barrier Certificate Generation for Safety Verification of Hybrid Systems. CoRR abs/1303.6885 (2013)
	2012
j19		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)
j18		Liangze Yin, Fei He, William N. N. Hung, Xiaoyu Song, Ming Gu: Maxterm Covering for Satisfiability. IEEE Trans. Computers 61(3): 420-426 (2012)
c25		Wensheng Guo, Guowu Yang, Qianqi Le, William N. N. Hung: Complete SAT Solver Based on Set Theory. ICICA (LNCS) 2012: 616-623
c24		Qianqi Le, Guowu Yang, William N. N. Hung, Wensheng Guo: Reliable NoC Mapping Based on Scatter Search. ICICA (LNCS) 2012: 640-647
c23		Yu Jiang, Hehua Zhang, Xun Jiao, Xiaoyu Song, William N. N. Hung, Ming Gu, Jiaguang Sun: Uncertain Model and Algorithm for Hardware/Software Partitioning. ISVLSI 2012: 243-248
c22		Hehua Zhang, Yu Jiang, Xun Jiao, Xiaoyu Song, William N. N. Hung, Ming Gu: Reliability Analysis of PLC Systems by Bayesian Network. SERE 2012: 283-290
	2011
j17		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)
j16		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)
j15		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)
j14		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)
j13		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)
c21		Yongjian Li, Naiju Zeng, William N. N. Hung, Xiaoyu Song: Combining Theorem Proving and Symbolic Trajectory Evaluation in THM&STE. Haifa Verification Conference 2011: 242-246
c20		Yongjian Li, Naiju Zeng, William N. N. Hung, Xiaoyu Song: Enhanced symbolic simulation of a round-robin arbiter. ICCD 2011: 102-107
c19		Hehua Zhang, Yu Jiang, William N. N. Hung, Xiaoyu Song, Ming Gu: Domain-Driven Probabilistic Analysis of Programmable Logic Controllers. ICFEM 2011: 115-130
	2010
j12		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)
c18		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
c17		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
c16		Fei He, He Zhu, William N. N. Hung, Xiaoyu Song, Ming Gu: Compositional Abstraction Refinement for Timed Systems. TASE 2010: 168-176
	2009
c15		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
j11		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)
j10		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)
j9		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)
c14		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
	2007
j8		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)
i2		William N. N. Hung, Changjian Gao, Xiaoyu Song, Dan W. Hammerstrom: Defect-Tolerant CMOL Cell Assignment via Satisfiability. CoRR abs/0705.4320 (2007)
i1		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
j7		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)
c13		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
	2005
j6		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)
c12		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
c11		Guowu Yang, Jin Yang, William N. N. Hung, Xiaoyu Song: Implication of assertion graphs in GSTE. ASP-DAC 2005: 1060-1063
c10		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
c9		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
c8		Guowu Yang, Xiaoyu Song, William N. N. Hung, Marek A. Perkowski: Bi-Direction Synthesis for Reversible Circuits. ISVLSI 2005: 14-19
	2004
j5		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)
j4		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)
j3		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)
c7		William N. N. Hung, Xiaoyu Song, Guowu Yang, Jin Yang, Marek A. Perkowski: Quantum logic synthesis by symbolic reachability analysis. DAC 2004: 838-841
c6		William N. N. Hung, Naren Narasimhan: Reference model based RTL verification: an integrated approach. HLDVT 2004: 9-13
c5		Lerong Cheng, William N. N. Hung, Guowu Yang, Xiaoyu Song: Congestion Estimation for 3D Routing. ISVLSI 2004: 239-240
	2003
j2		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
j1		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)
c4		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
c3		William N. N. Hung, Xiaoyu Song, Alan J. Coppola, Andrew A. Kennings: On segmented channel routability. ISCAS (1) 2002: 169-172
c2		William N. N. Hung, Xiaoyu Song: On data address computation for embedded DSP systems. ISCAS (4) 2002: 532-535
	2001
c1		William N. N. Hung, Xiaoyu Song: BDD Variable Ordering by Scatter Search. ICCD 2001: 368-373

2013

j20

Wensheng Guo, Guowu Yang, William N. N. Hung, Xiaoyu Song: Complete Boolean Satisfiability Solving Algorithms Based on Local Search. J. Comput. Sci. Technol. 28(2): 247-254 (2013)

c26

Hehua Zhang, Yu Jiang, Xiaoyu Song, William N. N. Hung, Ming Gu, Jiaguang Sun: Sequential dependency and reliability analysis of embedded systems. ASP-DAC 2013: 423-428

Hui Kong, Fei He, Xiaoyu Song, William N. N. Hung, Ming Gu: Exponential-Condition-Based Barrier Certificate Generation for Safety Verification of Hybrid Systems. CoRR abs/1303.6885 (2013)

2012

j19

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)

j18

Liangze Yin, Fei He, William N. N. Hung, Xiaoyu Song, Ming Gu: Maxterm Covering for Satisfiability. IEEE Trans. Computers 61(3): 420-426 (2012)

c25

Wensheng Guo, Guowu Yang, Qianqi Le, William N. N. Hung: Complete SAT Solver Based on Set Theory. ICICA (LNCS) 2012: 616-623

c24

Qianqi Le, Guowu Yang, William N. N. Hung, Wensheng Guo: Reliable NoC Mapping Based on Scatter Search. ICICA (LNCS) 2012: 640-647

c23

Yu Jiang, Hehua Zhang, Xun Jiao, Xiaoyu Song, William N. N. Hung, Ming Gu, Jiaguang Sun: Uncertain Model and Algorithm for Hardware/Software Partitioning. ISVLSI 2012: 243-248

c22

Hehua Zhang, Yu Jiang, Xun Jiao, Xiaoyu Song, William N. N. Hung, Ming Gu: Reliability Analysis of PLC Systems by Bayesian Network. SERE 2012: 283-290

2011

j17

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)

j16

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)

j15

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)

j14

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)

j13

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)

c21

Yongjian Li, Naiju Zeng, William N. N. Hung, Xiaoyu Song: Combining Theorem Proving and Symbolic Trajectory Evaluation in THM&STE. Haifa Verification Conference 2011: 242-246

c20

Yongjian Li, Naiju Zeng, William N. N. Hung, Xiaoyu Song: Enhanced symbolic simulation of a round-robin arbiter. ICCD 2011: 102-107

c19

Hehua Zhang, Yu Jiang, William N. N. Hung, Xiaoyu Song, Ming Gu: Domain-Driven Probabilistic Analysis of Programmable Logic Controllers. ICFEM 2011: 115-130

2010

j12

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)

c18

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

c17

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

c16

Fei He, He Zhu, William N. N. Hung, Xiaoyu Song, Ming Gu: Compositional Abstraction Refinement for Timed Systems. TASE 2010: 168-176

2009

c15

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

j11

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)

j10

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)

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)

c14

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

2007

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)

William N. N. Hung, Changjian Gao, Xiaoyu Song, Dan W. Hammerstrom: Defect-Tolerant CMOL Cell Assignment via Satisfiability. CoRR abs/0705.4320 (2007)

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

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)

c13

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

2005

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)

c12

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

c11

Guowu Yang, Jin Yang, William N. N. Hung, Xiaoyu Song: Implication of assertion graphs in GSTE. ASP-DAC 2005: 1060-1063

c10

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

Guowu Yang, Xiaoyu Song, William N. N. Hung, Marek A. Perkowski: Bi-Direction Synthesis for Reversible Circuits. ISVLSI 2005: 14-19

2004

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)

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)

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)

William N. N. Hung, Xiaoyu Song, Guowu Yang, Jin Yang, Marek A. Perkowski: Quantum logic synthesis by symbolic reachability analysis. DAC 2004: 838-841

William N. N. Hung, Naren Narasimhan: Reference model based RTL verification: an integrated approach. HLDVT 2004: 9-13

Lerong Cheng, William N. N. Hung, Guowu Yang, Xiaoyu Song: Congestion Estimation for 3D Routing. ISVLSI 2004: 239-240

2003

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

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)

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

William N. N. Hung, Xiaoyu Song, Alan J. Coppola, Andrew A. Kennings: On segmented channel routability. ISCAS (1) 2002: 169-172

William N. N. Hung, Xiaoyu Song: On data address computation for embedded DSP systems. ISCAS (4) 2002: 532-535

2001

William N. N. Hung, Xiaoyu Song: BDD Variable Ordering by Scatter Search. ICCD 2001: 368-373

1	El Mostapha Aboulhamid	[j4] [j1]
2	Jacob D. Biamonte	[j8]
3	Lerong Cheng	[j9] [j3] [c5]
4	Malgorzata Chrzanowska-Jeske	[j2] [c4]
5	Zhufei Chu	[c17]
6	Alan J. Coppola	[j4] [j2] [c4] [c3]
7	Michael A. Driscoll	[j1]
8	Changjian Gao	[i2]
9	Shaodi Gao	[j9]
10	Ming Gu	[c26] [i3] [j19] [j18] [c23] [c22] [j15] [c19] [j12] [c16] [c15] [c9] [j5]
11	Wensheng Guo	[j20] [c25] [c24]
12	Dan W. Hammerstrom	[i2]
13	Anping He	[j17]
14	Fei He	[i3] [j18] [j12] [c16] [c15] [c9] [j5]
15	Yu Jiang	[c26] [j19] [c23] [c22] [c19]
16	Xun Jiao	[c23] [c22]
17	T. Kam	[j3]
18	Andrew A. Kennings	[j4] [j2] [c4] [c3]
19	Hui Kong	[i3]
20	Qianqi Le	[c25] [c24]
21	Jianping Li	[c14]
22	Lian Li	[j17]
23	Yongjian Li	[j16] [j13] [c21] [c20]
24	Xiaojun Lu	[c14]
25	Alan Mishchenko	[j2] [c4]
26	Naren Narasimhan	[c6]
27	Marek A. Perkowski	[j14] [c18] [j11] [j10] [j8] [i1] [j7] [c13] [j6] [c12] [c10] [c8] [c7]
28	Chang-Jun Seo	[j10]
29	Xiaoyu Song	[j20] [c26] [i3] [j18] [c23] [c22] [j16] [j14] [j13] [c21] [c20] [c19] [j12] [c18] [c17] [c16] [c15] [j11] [j10] [j9] [c14] [j8] [i2] [i1] [j7] [c13] [j6] [c12] [c11] [c10] [c9] [c8] [j5] [j4] [j3] [c7] [c5] [j2] [j1] [c4] [c3] [c2] [c1]
30	Jia-Guang Sun (Jiaguang Sun)	[c26] [j19] [c23] [j12] [c9]
31	Zhiwei Tang	[j9] [j8]
32	Hai Wan	[j15]
33	Lun-Yao Wang	[c17]
34	Yuke Wang	[j15]
35	Jinzhao Wu	[j17]
36	Yinshui Xia	[c17]
37	Fei Xie	[j14] [c13]
38	Guowu Yang	[j20] [j19] [c25] [c24] [j17] [j14] [c18] [j11] [j10] [j9] [c14] [j8] [i1] [j7] [c13] [j6] [c12] [c11] [c10] [c8] [j3] [c7] [c5]
39	Jin Yang	[j7] [c11] [c7]
40	Liangze Yin	[j18]
41	Zhiyang You	[j15]
42	Naiju Zeng	[j16] [c21] [c20]
43	Hehua Zhang	[c26] [j19] [c23] [c22] [c19]
44	Xibin Zhao	[j15]
45	He Zhu	[c16] [c15]

William N. N. Hung

Coauthor Index