BDD Variable Ordering by Scatter Search. - William N. N. Hung; Xiaoyu Song (ICCD, 2001)

Board-level multiterminal net assignment. - Xiaoyu Song; William N. N. Hung; Alan Mishchenko; Malgorzata Chrzanowska-Jeske; Alan J. Coppola; Andrew A. Kennings (ACM Great Lakes Symposium on VLSI, 2002)

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

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

BDD minimization by scatter search. - William N. N. Hung; Xiaoyu Song; El Mostapha Aboulhamid; Michael A. Driscoll (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2002)

Board-level multiterminal net assignment for the partial cross-bar architecture. - Xiaoyu Song; William N. N. Hung; Alan Mishchenko; Malgorzata Chrzanowska-Jeske; Andrew A. Kennings; Alan J. Coppola (IEEE Trans. Very Large Scale Integr. Syst., 2003)

Quantum logic synthesis by symbolic reachability analysis. - William N. N. Hung; Xiaoyu Song; Guowu Yang; Jin Yang 006; Marek A. Perkowski (DAC, 2004)

Reference model based RTL verification: an integrated approach. - William N. N. Hung; Naren Narasimhan (HLDVT, 2004)

Congestion Estimation for 3D Routing. - Lerong Cheng; William N. N. Hung; Guowu Yang; Xiaoyu Song (ISVLSI, 2004)

A comparative study on search strategies for cell assignments. - Ming Gu 001; Fei He 001; William N. N. Hung; Xiaoyu Song (Int. J. Comput. Math., 2004)

Congestion estimation for 3-D circuit architectures. - Lerong Cheng; William N. N. Hung; Guowu Yang; Xiaoyu Song (IEEE Trans. Circuits Syst. II Express Briefs, 2004)

Segmented channel routability via satisfiability. - William N. N. Hung; Xiaoyu Song; El Mostapha Aboulhamid; Andrew A. Kennings; Alan J. Coppola (ACM Trans. Design Autom. Electr. Syst., 2004)

Routability checking for three-dimensional architectures. - William N. N. Hung; Xiaoyu Song; T. Kam; Lerong Cheng; Guowu Yang (IEEE Trans. Very Large Scale Integr. Syst., 2004)

Fast synthesis of exact minimal reversible circuits using group theory. - Guowu Yang; Xiaoyu Song; William N. N. Hung; Marek A. Perkowski (ASP-DAC, 2005)

Implication of assertion graphs in GSTE. - Guowu Yang; Jin Yang 006; William N. N. Hung; Xiaoyu Song (ASP-DAC, 2005)

Exact Synthesis of 3-Qubit Quantum Circuits from Non-Binary Quantum Gates Using Multiple-Valued Logic and Group Theory. - Guowu Yang; William N. N. Hung; Xiaoyu Song; Marek A. Perkowski (DATE, 2005)

Segmented channel routing with pin rearrangements via satisfiability. - Fei He 001; William N. N. Hung; Xiaoyu Song; Ming Gu 001; Jiaguang Sun 001 (ISCAS (6), 2005)

Bi-Direction Synthesis for Reversible Circuits. - Guowu Yang; Xiaoyu Song; William N. N. Hung; Marek A. Perkowski (ISVLSI, 2005)

Majority-based reversible logic gates. - Guowu Yang; William N. N. Hung; Xiaoyu Song; Marek A. Perkowski (Theor. Comput. Sci., 2005)

A Constructive Algorithm for Reversible Logic Synthesis. - Guowu Yang; Fei Xie; Xiaoyu Song; William N. N. Hung; Marek A. Perkowski (IEEE Congress on Evolutionary Computation, 2006)

Group Theory Based Synthesis of Binary Reversible Circuits. - Guowu Yang; Xiaoyu Song; William N. N. Hung; Fei Xie; Marek A. Perkowski (TAMC, 2006)

Optimal synthesis of multiple output Boolean functions using a set of quantum gates by symbolic reachability analysis. - William N. N. Hung; Xiaoyu Song; Guowu Yang; Jin Yang 006; Marek A. Perkowski (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2006)

Probabilistic optimization for FPGA board level routing problems. - Fei He 001; Xiaoyu Song; Ming Gu 001; Guowu Yang; William N. N. Hung; Jia-Guang Sun 001 (IEEE Trans. Circuits Syst. II Express Briefs, 2006)

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

Four-level realisation of 3-qubit reversible functions. - Guowu Yang; Xiaoyu Song; Marek A. Perkowski; William N. N. Hung; Jacob D. Biamonte; Zhiwei Tang (IET Comput. Digit. Tech., 2007)

The probability logics for nanoscale inverterscascade. - Xiaojun Lu; Guowu Yang; Jianping Li; Xiaoyu Song; William N. N. Hung (IEEE Congress on Evolutionary Computation, 2008)

Bi-Directional Synthesis of 4-Bit Reversible Circuits. - Guowu Yang; Xiaoyu Song; William N. N. Hung; Marek A. Perkowski (Comput. J., 2008)

Minimal universal library for n×n reversible circuits. - Guowu Yang; Xiaoyu Song; Marek A. Perkowski; William N. N. Hung; Chang-Jun Seo (Comput. Math. Appl., 2008)

A fast congestion estimator for routing with bounded detours. - Lerong Cheng; Xiaoyu Song; Guowu Yang; William N. N. Hung; Zhiwei Tang; Shaodi Gao (Integr., 2008)

Data mining based decomposition for assume-guarantee reasoning. - He Zhu 001; Fei He 001; William N. N. Hung; Xiaoyu Song; Ming Gu 001 (FMCAD, 2009)

Synthesizing hybrid quantum circuits without ancilla qudits. - Guowu Yang; William N. N. Hung; Xiaoyu Song; Marek A. Perkowski (IEEE Congress on Evolutionary Computation, 2010)

A Memetic Approach for Nanoscale Hybrid Circuit Cell Mapping. - Zhufei Chu; Yinshui Xia; William N. N. Hung; Lun-Yao Wang; Xiaoyu Song (DSD, 2010)

Compositional Abstraction Refinement for Timed Systems. - Fei He 001; He Zhu 001; William N. N. Hung; Xiaoyu Song; Ming Gu 001 (TASE, 2010)

Integrating Evolutionary Computation with Abstraction Refinement for Model Checking. - Fei He 001; Xiaoyu Song; William N. N. Hung; Ming Gu 001; Jiaguang Sun 001 (IEEE Trans. Computers, 2010)

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

Enhanced symbolic simulation of a round-robin arbiter. - Yongjian Li; Naiju Zeng; William N. N. Hung; Xiaoyu Song (ICCD, 2011)

Domain-Driven Probabilistic Analysis of Programmable Logic Controllers. - Hehua Zhang; Yu Jiang 001; William N. N. Hung; Xiaoyu Song; Ming Gu 001 (ICFEM, 2011)

Mathematical analysis of stage-based programmable logic controller. - Anping He; William N. N. Hung; Guowu Yang; Jinzhao Wu; Lian Li (Comput. Math. Appl., 2011)

Exploring structural symmetry automatically in symbolic trajectory evaluation. - Yongjian Li; William N. N. Hung; Xiaoyu Song; Naiju Zeng (Formal Methods Syst. Des., 2011)

A novel fault diagnosis mechanism for wireless sensor networks. - Zhiyang You; Xibin Zhao; Hai Wan; William N. N. Hung; Yuke Wang; Ming Gu 001 (Math. Comput. Model., 2011)

A novel formalization of symbolic trajectory evaluation semantics in Isabelle/HOL. - Yongjian Li; William N. N. Hung; Xiaoyu Song (Theor. Comput. Sci., 2011)

Realization and synthesis of reversible functions. - Guowu Yang; Fei Xie; William N. N. Hung; Xiaoyu Song; Marek A. Perkowski (Theor. Comput. Sci., 2011)

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

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

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

Reliability Analysis of PLC Systems by Bayesian Network. - Hehua Zhang; Yu Jiang 001; Xun Jiao; Xiaoyu Song; William N. N. Hung; Ming Gu 001 (SERE, 2012)

New strategies for reliability analysis of Programmable Logic Controllers. - Hehua Zhang; Yu Jiang 001; William N. N. Hung; Guowu Yang; Ming Gu 001; Jiaguang Sun 001 (Math. Comput. Model., 2012)

Maxterm Covering for Satisfiability. - Liangze Yin; Fei He 001; William N. N. Hung; Xiaoyu Song; Ming Gu 001 (IEEE Trans. Computers, 2012)

Sequential dependency and reliability analysis of embedded systems. - Hehua Zhang; Yu Jiang 001; Xiaoyu Song; William N. N. Hung; Ming Gu 001; Jiaguang Sun 001 (ASP-DAC, 2013)

Exponential-Condition-Based Barrier Certificate Generation for Safety Verification of Hybrid Systems. - Hui Kong 004; Fei He 001; Xiaoyu Song; William N. N. Hung; Ming Gu 001 (CAV, 2013)

Verification and Implementation of the Protocol Standard in Train Control System. - Yu Jiang 001; Hehua Zhang; Xiaoyu Song; William N. N. Hung; Ming Gu 001; Jiaguang Sun 001 (COMPSAC, 2013)

System reliability calculation based on the run-time analysis of ladder program. - Yu Jiang 001; Hehua Zhang; Han Liu 010; Xiaoyu Song; William N. N. Hung; Ming Gu 001; Jiaguang Sun 001 (ESEC/SIGSOFT FSE, 2013)

Optimizing communication in mobile ad hoc network clustering. - Xibin Zhao; William N. N. Hung; Yafei Yang; Xiaoyu Song (Comput. Ind., 2013)

Reliable Node Clustering for Mobile Ad Hoc Networks. - Tao Wang; William N. N. Hung (J. Appl. Math., 2013)

A Transformation-Based Approach to Implication of GSTE Assertion Graphs. - Guowu Yang; William N. N. Hung; Xiaoyu Song; Wensheng Guo (J. Appl. Math., 2013)

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

Bayesian-Network-Based Reliability Analysis of PLC Systems. - Yu Jiang 001; Hehua Zhang; Xiaoyu Song; Xun Jiao; William N. N. Hung; Ming Gu 001; Jiaguang Sun 001 (IEEE Trans. Ind. Electron., 2013)

Motion planning with Satisfiability Modulo Theories. - William N. N. Hung; Xiaoyu Song; Jindong Tan; Xiaojuan Li; Jie Zhang 074; Rui Wang 024; Peng Gao (ICRA, 2014)

Combining Symmetry Reduction with Generalized Symbolic Trajectory Evaluation. - Yongjian Li; Naiju Zeng; William N. N. Hung; Xiaoyu Song (Comput. J., 2014)

A Case Study on Formal Analysis of an Automated Guided Vehicle System. - Jie Zhang 074; Yuntao Peng; William N. N. Hung; Xiaojuan Li; Jindong Tan; Zhiping Shi 002 (J. Appl. Math., 2014)

Performance-driven assignment and mapping for reliable networks-on-chips. - Qianqi Le; Guowu Yang; William N. N. Hung; Xiaoyu Song; Fuyou Fan (J. Zhejiang Univ. Sci. C, 2014)

Symbolic Analysis of Programmable Logic Controllers. - Hehua Zhang; Yu Jiang 001; William N. N. Hung; Xiaoyu Song; Ming Gu 001; Jia-Guang Sun 001 (IEEE Trans. Computers, 2014)

Pareto optimal mapping for tile-based network-on-chip under reliability constraints. - Qianqi Le; Guowu Yang; William N. N. Hung; Xiaoyu Song; Xinpeng Zhang (Int. J. Comput. Math., 2015)

A Synthesis Method of Quantum Reversible Logic Circuit Based on Elementary Qutrit Quantum Logic Gates. - Fuyou Fan; Guowu Yang; Gang Yang; William N. N. Hung (J. Circuits Syst. Comput., 2015)

A multipartite entanglement measure based on coefficient matrices. - Chao Zhao; Guowu Yang; William N. N. Hung; Xiaoyu Li 003 (Quantum Inf. Process., 2015)

A Quantitative Characterization of Cross Coverage. - Jiantao Zhou 002; Caihe Lan; William N. N. Hung; Xinrui Guo; Xiaoyu Song (IEEE Trans. Computers, 2015)

Scalable Verification of a Generic End-Around-Carry Adder for Floating-Point Units by Coq. - Qian Wang; Xiaoyu Song; William N. N. Hung; Ming Gu 001; Jiaguang Sun 001 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2015)

Uncertainty Model for Configurable Hardware/Software and Resource Partitioning. - Rui Wang 024; William N. N. Hung; Guowu Yang; Xiaoyu Song (IEEE Trans. Computers, 2016)

Computing Affine Equivalence Classes of Boolean Functions by Group Isomorphism. - Yan Zhang 036; Guowu Yang; William N. N. Hung; Juling Zhang (IEEE Trans. Computers, 2016)

A Canonical-Based NPN Boolean Matching Algorithm Utilizing Boolean Difference and Cofactor Signature. - Juling Zhang; Guowu Yang; William N. N. Hung; Jinzhao Wu (IEEE Access, 2017)

An Efficient NPN Boolean Matching Algorithm Based on Structural Signature and Shannon Expansion. - Juling Zhang; Guowu Yang; William N. N. Hung; Yan Zhang 036 (CoRR, 2017)

Challenges in Large FPGA-based Logic Emulation Systems. - William N. N. Hung; Richard Sun (ISPD, 2018)

Temporal Coverage Analysis for Dynamic Verification. - Min Zhou 001; William N. N. Hung; Xiaoyu Song; Ming Gu 001; Jiaguang Sun 001 (IEEE Trans. Circuits Syst. II Express Briefs, 2018)

An efficient NPN Boolean matching algorithm based on structural signature and Shannon expansion. - Juling Zhang; Guowu Yang; William N. N. Hung; Yan Zhang 036; Jinzhao Wu (Clust. Comput., 2019)

A Group Algebraic Approach to NPN Classification of Boolean Functions. - Juling Zhang; Guowu Yang; William N. N. Hung; Tian Liu; Xiaoyu Song; Marek A. Perkowski (Theory Comput. Syst., 2019)

A New Pairwise NPN Boolean Matching Algorithm Based on Structural Difference Signature. - Juling Zhang; Guowu Yang; William N. N. Hung; Jinzhao Wu; Yixin Zhu 005 (Symmetry, 2019)