Hui Kong, Fei He, Xiaoyu Song, William N. N. Hung and Ming Gu,
"Exponential-Condition-Based Barrier Certificate Generation for Safety Verification of Hybrid Systems",
International Conference on Computer Aided Verification (CAV),
Saint Petersburg, Russia, July 2013.
Yongjian Li, William N. N. Hung,
and Xiaoyu Song,
"Automatically Exploring Structural Symmetry in Symbolic Trajectory Evaluation",
Hardware Verification Workshop (HWVW), Edinburgh, United Kingdom, July 2010.
Guowu Yang, Xiaoyu Song,
William N. N. Hung,
and Marek Perkowski,
"On Realization of 3-qubit Reversible Circuits with the minimum number of non-linear gates",
7th International Symposium on Representations and Methodology of Future Computing Technologies (RM2005),
Tokyo, Japan, September 2005.
Guowu Yang, Xiaoyu Song, Marek Perkowski, and
William N. N. Hung,
"Minimal Universal Library for nxn Reversible Circuits",
7th International Symposium on Representations and Methodology of Future Comp
uting Technologies (RM2005),
Tokyo, Japan, September 2005.
Guowu Yang,
William N. N. Hung,
Xiaoyu Song and Marek Perkowski,
"Majority-Based Reversible Logic Gate",
6th International Symposium on Representations and Methodology of Future
Computing Technologies (RM2003),
Trier, Germany, March 2003.
Xiaoyu Song, William N. N. Hung,
Alan Mishchenko, Malzorgata Chrzanowska-Jeske, Alan Coppola and Andrew Kennings,
"Board-Level
Multiterminal Net Assignment",
12th ACM/IEEE Great Lakes Symposium on VLSI (GLSVLSI),
New York, New York, April 2002.
Dhiraj Goswami, Soe Myint, N. N. William Hung, and Rajarshi Mukherjee,
"METHOD AND APPARATUS FOR IDENTIFYING INCONSISTENT CONSTRAINTS",
U.S. Patent Application No. 13/074,940,
Publication No. US 2012/0253754 A1
(Published October 4, 2012).
N. N. William Hung, Qiang Qiang, Guillermo Maturana, Jasvinder Singh, and Dhiraj Goswami,
"METHOD AND APPARATUS FOR OPTIMIZING CONSTRAINT SOLVING THROUGH CONSTRAINT REWRITING AND DECISION REORDERING",
U.S. Patent Application No. 12/967,294,
Publication No. US 2012/0136635 A1
(Published May 31, 2012).