default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDWilliam N. N. Hung
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2010 – 2019
- 2019
[j42]Juling Zhang, Guowu Yang, William N. N. Hung, Yan Zhang
, Jinzhao Wu:
An efficient NPN Boolean matching algorithm based on structural signature and Shannon expansion. Clust. Comput. 22(Supplement): 7491-7506 (2019)- [j41]Juling Zhang, Guowu Yang, William N. N. Hung, Tian Liu, Xiaoyu Song, Marek A. Perkowski:
A Group Algebraic Approach to NPN Classification of Boolean Functions. Theory Comput. Syst. 63(6): 1278-1297 (2019) - [j40]Juling Zhang, Guowu Yang, William N. N. Hung, Jinzhao Wu, Yixin Zhu:
A New Pairwise NPN Boolean Matching Algorithm Based on Structural Difference Signature. Symmetry 11(1): 27 (2019) - 2018
- [j39]Min Zhou, William N. N. Hung, Xiaoyu Song, Ming Gu, Jiaguang Sun:
Temporal Coverage Analysis for Dynamic Verification. IEEE Trans. Circuits Syst. II Express Briefs 65-II(1): 66-70 (2018) - [c32]William N. N. Hung, Richard Sun:
Challenges in Large FPGA-based Logic Emulation Systems. ISPD 2018: 26-33 - 2017
- [j38]Juling Zhang, Guowu Yang, William N. N. Hung, Jinzhao Wu:
A Canonical-Based NPN Boolean Matching Algorithm Utilizing Boolean Difference and Cofactor Signature. IEEE Access 5: 27777-27785 (2017) - [i5]Juling Zhang, Guowu Yang, William N. N. Hung, Yan Zhang:
An Efficient NPN Boolean Matching Algorithm Based on Structural Signature and Shannon Expansion. CoRR abs/1708.04597 (2017) - [i4]Juling Zhang, Guowu Yang, William N. N. Hung, Jinzhao Wu:
A Canonical-based NPN Boolean Matching Algorithm Utilizing Boolean Difference and Cofactor Signature. CoRR abs/1711.03269 (2017) - 2016
- [j37]Rui Wang, William N. N. Hung, Guowu Yang, Xiaoyu Song:
Uncertainty Model for Configurable Hardware/Software and Resource Partitioning. IEEE Trans. Computers 65(10): 3217-3223 (2016) - [j36]Yan Zhang, Guowu Yang, William N. N. Hung, Juling Zhang:
Computing Affine Equivalence Classes of Boolean Functions by Group Isomorphism. IEEE Trans. Computers 65(12): 3606-3616 (2016) - 2015
- [j35]Qianqi Le, Guowu Yang, William N. N. Hung, Xiaoyu Song, Xinpeng Zhang:
Pareto optimal mapping for tile-based network-on-chip under reliability constraints. Int. J. Comput. Math. 92(1): 41-58 (2015) - [j34]Fuyou Fan, Guowu Yang, Gang Yang, William N. N. Hung:
A Synthesis Method of Quantum Reversible Logic Circuit Based on Elementary Qutrit Quantum Logic Gates. J. Circuits Syst. Comput. 24(8): 1550121:1-1550121:21 (2015) - [j33]Chao Zhao, Guowu Yang, William N. N. Hung, Xiaoyu Li:
A multipartite entanglement measure based on coefficient matrices. Quantum Inf. Process. 14(8): 2861-2881 (2015) - [j32]Jiantao Zhou, Caihe Lan, William N. N. Hung, Xinrui Guo, Xiaoyu Song:
A Quantitative Characterization of Cross Coverage. IEEE Trans. Computers 64(8): 2408-2414 (2015) - [j31]Qian Wang, Xiaoyu Song, William N. N. Hung, Ming Gu, Jiaguang Sun:
Scalable Verification of a Generic End-Around-Carry Adder for Floating-Point Units by Coq. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 34(1): 150-154 (2015) - 2014
- [j30]Yongjian Li, Naiju Zeng, William N. N. Hung, Xiaoyu Song:
Combining Symmetry Reduction with Generalized Symbolic Trajectory Evaluation. Comput. J. 57(1): 115-128 (2014) - [j29]Jie Zhang, Yuntao Peng, William N. N. Hung, Xiaojuan Li, Jindong Tan, Zhiping Shi:
A Case Study on Formal Analysis of an Automated Guided Vehicle System. J. Appl. Math. 2014: 327465:1-327465:10 (2014) - [j28]Qianqi Le, Guowu Yang, William N. N. Hung, Xiaoyu Song, Fuyou Fan:
Performance-driven assignment and mapping for reliable networks-on-chips. J. Zhejiang Univ. Sci. C 15(11): 1009-1020 (2014) - [j27]Hehua Zhang, Yu Jiang, William N. N. Hung, Xiaoyu Song, Ming Gu, Jia-Guang Sun:
Symbolic Analysis of Programmable Logic Controllers. IEEE Trans. Computers 63(10): 2563-2575 (2014) - [c31]William N. N. Hung, Xiaoyu Song, Jindong Tan, Xiaojuan Li, Jie Zhang, Rui Wang, Peng Gao:
Motion planning with Satisfiability Modulo Theories. ICRA 2014: 113-118 - 2013
- [j26]Xibin Zhao, William N. N. Hung, Yafei Yang, Xiaoyu Song:
Optimizing communication in mobile ad hoc network clustering. Comput. Ind. 64(7): 849-853 (2013) - [j25]Tao Wang, William N. N. Hung:
Reliable Node Clustering for Mobile Ad Hoc Networks. J. Appl. Math. 2013: 285967:1-285967:8 (2013) - [j24]Guowu Yang, William N. N. Hung, Xiaoyu Song, Wensheng Guo:
A Transformation-Based Approach to Implication of GSTE Assertion Graphs. J. Appl. Math. 2013: 709071:1-709071:7 (2013) - [j23]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) - [j22]Yu Jiang, Hehua Zhang, Xiaoyu Song, Xun Jiao, William N. N. Hung, Ming Gu, Jiaguang Sun:
Bayesian-Network-Based Reliability Analysis of PLC Systems. IEEE Trans. Ind. Electron. 60(11): 5325-5336 (2013) - [c30]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 - [c29]Hui Kong, Fei He, Xiaoyu Song, William N. N. Hung, Ming Gu:
Exponential-Condition-Based Barrier Certificate Generation for Safety Verification of Hybrid Systems. CAV 2013: 242-257 - [c28]Yu Jiang, Hehua Zhang, Xiaoyu Song, William N. N. Hung, Ming Gu, Jiaguang Sun:
Verification and Implementation of the Protocol Standard in Train Control System. COMPSAC 2013: 549-558 - [c27]Yu Jiang, Hehua Zhang, Han Liu, Xiaoyu Song, William N. N. Hung, Ming Gu, Jiaguang Sun:
System reliability calculation based on the run-time analysis of ladder program. ESEC/SIGSOFT FSE 2013: 695-698 - [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
- [j21]Hehua Zhang, Yu Jiang, William N. N. Hung, Guowu Yang, Ming Gu, Jiaguang Sun:
New strategies for reliability analysis of Programmable Logic Controllers. Math. Comput. Model. 55(7-8): 1916-1931 (2012) - [j20]Liangze Yin, Fei He, William N. N. Hung, Xiaoyu Song, Ming Gu:
Maxterm Covering for Satisfiability. IEEE Trans. Computers 61(3): 420-426 (2012) - [c26]Wensheng Guo, Guowu Yang, Qianqi Le, William N. N. Hung:
Complete SAT Solver Based on Set Theory. ICICA (LNCS) 2012: 616-623 - [c25]Qianqi Le, Guowu Yang, William N. N. Hung, Wensheng Guo:
Reliable NoC Mapping Based on Scatter Search. ICICA (LNCS) 2012: 640-647 - [c24]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 - [c23]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
- [j19]Anping He, William N. N. Hung, Guowu Yang, Jinzhao Wu, Lian Li:
Mathematical analysis of stage-based programmable logic controller. Comput. Math. Appl. 61(7): 1769-1785 (2011) - [j18]Yongjian Li, William N. N. Hung, Xiaoyu Song, Naiju Zeng:
Exploring structural symmetry automatically in symbolic trajectory evaluation. Formal Methods Syst. Des. 39(2): 117-143 (2011) - [j17]Zhiyang You, Xibin Zhao, Hai Wan, William N. N. Hung, Yuke Wang, Ming Gu:
A novel fault diagnosis mechanism for wireless sensor networks. Math. Comput. Model. 54(1-2): 330-343 (2011) - [j16]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) - [j15]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) - [c22]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 - [c21]Yongjian Li, Naiju Zeng, William N. N. Hung, Xiaoyu Song:
Enhanced symbolic simulation of a round-robin arbiter. ICCD 2011: 102-107 - [c20]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
- [j14]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) - [c19]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 - [c18]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 - [c17]Fei He, He Zhu, William N. N. Hung, Xiaoyu Song, Ming Gu:
Compositional Abstraction Refinement for Timed Systems. TASE 2010: 168-176
2000 – 2009
- 2009
- [c16]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
- [j13]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) - [j12]Guowu Yang, Xiaoyu Song, Marek A. Perkowski, William N. N. Hung, Chang-Jun Seo:
Minimal universal library for n×n reversible circuits. Comput. Math. Appl. 56(1): 160-165 (2008) - [j11]Lerong Cheng, Xiaoyu Song, Guowu Yang, William N. N. Hung, Zhiwei Tang, Shaodi Gao:
A fast congestion estimator for routing with bounded detours. Integr. 41(3): 360-370 (2008) - [c15]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
- [j10]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 Comput. Digit. Tech. 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
- [j9]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. Comput. Aided Des. Integr. Circuits Syst. 25(9): 1652-1663 (2006) - [j8]Fei He, Xiaoyu Song, Ming Gu, Guowu Yang, William N. N. Hung, Jia-Guang Sun:
Probabilistic optimization for FPGA board level routing problems. IEEE Trans. Circuits Syst. II Express Briefs 53-II(4): 264-268 (2006) - [c14]Guowu Yang, Fei Xie, Xiaoyu Song, William N. N. Hung, Marek A. Perkowski:
A Constructive Algorithm for Reversible Logic Synthesis. IEEE Congress on Evolutionary Computation 2006: 2416-2421 - [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
- [j7]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
- [j6]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) - [j5]Lerong Cheng, William N. N. Hung, Guowu Yang, Xiaoyu Song:
Congestion estimation for 3-D circuit architectures. IEEE Trans. Circuits Syst. II Express Briefs 51-II(12): 655-659 (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. Very Large Scale Integr. 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. Very Large Scale Integr. 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. Comput. Aided Des. Integr. Circuits Syst. 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
Coauthor Index
[j41] [j39] [j37] [j35] [j32] [j31] [j30] [j28] [j27] [c31] [j26] [j24] [j23] [j22] [c30] [c29] [c28] [c27] [i3] [j20] [c24] [c23] [j18] [j16] [j15] [c22] [c21] [c20] [j14] [c19] [c18] [c17] [c16] [j13] [j12] [j11] [c15] [j10] [i2] [i1] [j9] [j8] [c14] [c13] [j7] [c12] [c11] [c10] [c9] [c8] [j6] [j5] [j4] [j3] [c7] [c5] [j2] [j1] [c4] [c3] [c2] [c1]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-07-25 19:26 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
