William N. N. Hung
发表
Nilanjan Mukherjee,
Dani Strickland,
Andrew Cross,
2012
.
A Canonical-Based NPN Boolean Matching Algorithm Utilizing Boolean Difference and Cofactor Signature
Guowu Yang,
Jinzhao Wu,
William N. N. Hung,
2017,
IEEE Access.
Jie Zhang,
Jindong Tan,
Xiaojuan Li,
2014,
J. Appl. Math..
Hai Wan,
Ming Gu,
William N. N. Hung,
2011,
Math. Comput. Model..
Guowu Yang,
Jinzhao Wu,
William N. N. Hung,
2019,
Symmetry.
Andrew A. Kennings,
Alan Mishchenko,
Malgorzata Chrzanowska-Jeske,
2003,
IEEE Trans. Very Large Scale Integr. Syst..
Xiaoyu Song,
Yinshui Xia,
William N. N. Hung,
2010,
2010 12th Biennial Baltic Electronics Conference.
Yongjian Li,
Xiaoyu Song,
William N. N. Hung,
2011,
Formal Methods Syst. Des..
Guowu Yang,
Xiaoyu Song,
William N. N. Hung,
2007,
IET Comput. Digit. Tech..
Guowu Yang,
William N. N. Hung,
Wensheng Guo,
2012,
ICICA.
Tao Wang,
William N. N. Hung,
W. Hung,
2013,
J. Appl. Math..
Guowu Yang,
Fei Xie,
Xiaoyu Song,
2006,
TAMC.
Guowu Yang,
Xiaoyu Song,
William N. N. Hung,
2005,
Design, Automation and Test in Europe.
Guowu Yang,
Xiaoyu Song,
William N. N. Hung,
2004,
Proceedings. 41st Design Automation Conference, 2004..
Xinrui Guo,
Xiaoyu Song,
Ming Gu,
2014,
2014 Theoretical Aspects of Software Engineering Conference.
Guowu Yang,
Xiaoyu Song,
William N. N. Hung,
2008,
Integr..
Guowu Yang,
Xiaoyu Song,
William N. N. Hung,
2013,
J. Appl. Math..
Xiaoyu Song,
Yinshui Xia,
William N. N. Hung,
2013
.
Guowu Yang,
William N. N. Hung,
Juling Zhang,
2016,
IEEE Transactions on Computers.
Guowu Yang,
Fei Xie,
Xiaoyu Song,
2011,
Theor. Comput. Sci..
Guowu Yang,
Yu Jiang,
Hehua Zhang,
2012,
Math. Comput. Model..
Xiaoyu Song,
William N. N. Hung,
Changjian Gao,
2008,
IEEE Sensors Journal.
Xinpeng Zhang,
Guowu Yang,
Xiaoyu Song,
2015,
Int. J. Comput. Math..
Guowu Yang,
Xiaoyu Song,
William N. N. Hung,
2004,
IEEE Transactions on Circuits and Systems II: Express Briefs.
Xiaoyu Song,
William N. N. Hung,
W. Hung,
2001,
Proceedings 2001 IEEE International Conference on Computer Design: VLSI in Computers and Processors. ICCD 2001.
Guowu Yang,
Xiaoyu Song,
William N. N. Hung,
2005,
Theor. Comput. Sci..
Daniel Kroening,
Alan J. Hu,
Koen Claessen,
2009
.
Xiaoyu Song,
William N. N. Hung,
Michael A. Driscoll,
2002,
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
Xiaoyu Song,
Ming Gu,
William N. N. Hung,
2010,
2010 4th IEEE International Symposium on Theoretical Aspects of Software Engineering.
Xiaoyu Song,
Ming Gu,
Jia-Guang Sun,
2005,
2005 IEEE International Symposium on Circuits and Systems.
Yinshui Xia,
Zhufei Chu,
William N. N. Hung,
2010,
DSD 2010.
Xinpeng Zhang,
Guowu Yang,
William N. N. Hung,
2014
.
Yu Jiang,
Hehua Zhang,
Xiaoyu Song,
2013,
ESEC/FSE 2013.
Guowu Yang,
Xiaoyu Song,
William N. N. Hung,
2016,
IEEE Transactions on Computers.
Yongjian Li,
Xiaoyu Song,
William N. N. Hung,
2014,
Comput. J..
Guowu Yang,
Xiaoyu Song,
William N. N. Hung,
2014,
Journal of Zhejiang University SCIENCE C.
Yongjian Li,
Xiaoyu Song,
William N. N. Hung,
2011,
2011 IEEE 29th International Conference on Computer Design (ICCD).
Xiaoyu Song,
Ming Gu,
William N. N. Hung,
2012,
IEEE Transactions on Computers.
William N. N. Hung,
Naren Narasimhan,
2004,
Proceedings. Ninth IEEE International High-Level Design Validation and Test Workshop (IEEE Cat. No.04EX940).
Ming Gu,
William N. N. Hung,
Jiaguang Sun,
2007
.
Guowu Yang,
William N. N. Hung,
Juling Zhang,
2018,
Cluster Computing.
Xiaoyu Song,
Ming Gu,
William N. N. Hung,
2009,
2009 Formal Methods in Computer-Aided Design.
Guowu Yang,
Xiaoyu Song,
William N. N. Hung,
2008,
Comput. Math. Appl..
Yongjian Li,
Xiaoyu Song,
William N. N. Hung,
2011,
Haifa Verification Conference.
Guowu Yang,
Fei Xie,
Xiaoyu Song,
2006,
2006 IEEE International Conference on Evolutionary Computation.
Guowu Yang,
William N. N. Hung,
Wensheng Guo,
2012,
ICICA.
Yu Jiang,
Hehua Zhang,
Xiaoyu Song,
2011,
ICFEM.
Qian Wang,
Xiaoyu Song,
Ming Gu,
2015,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Xiaoyu Song,
William N. N. Hung,
Xibin Zhao,
2013,
Comput. Ind..
William N. N. Hung,
Richard Sun,
2018,
ISPD.
Guowu Yang,
Xiaoyu Song,
William N. N. Hung,
2004,
IEEE Transactions on Very Large Scale Integration (VLSI) Systems.
Guowu Yang,
Xiaoyu Song,
William N. N. Hung,
2006,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Guowu Yang,
Jianping Li,
Xiaoyu Song,
2008,
2008 IEEE Congress on Evolutionary Computation (IEEE World Congress on Computational Intelligence).
Exponential-Condition-Based Barrier Certificate Generation for Safety Verification of Hybrid Systems
Hui Kong,
Xiaoyu Song,
Ming Gu,
2013,
CAV.
Guowu Yang,
Xiaoyu Song,
William N. N. Hung,
2005,
IEEE Computer Society Annual Symposium on VLSI: New Frontiers in VLSI Design (ISVLSI'05).
William N. N. Hung,
Xiaoyu Song,
2002,
Conference Proceedings of the IEEE International Performance, Computing, and Communications Conference (Cat. No.02CH37326).
Xiaoyu Song,
Ming Gu,
William N. N. Hung,
2004,
Int. J. Comput. Math..
Yongjian Li,
Xiaoyu Song,
William N. N. Hung,
2011,
Theor. Comput. Sci..
Adam Dysko,
Martin Lee,
William N. N. Hung,
2012
.
Guowu Yang,
William N. N. Hung,
Xiaoyu Li,
2015,
Quantum Inf. Process..
Xiaoyu Song,
Ming Gu,
Jia-Guang Sun,
2010,
IEEE Transactions on Computers.
Hehua Zhang,
Ming Gu,
Han Liu,
2014
.
Guowu Yang,
Xiaoyu Song,
William N. N. Hung,
2005,
Proceedings of the ASP-DAC 2005. Asia and South Pacific Design Automation Conference, 2005..
Guowu Yang,
Xiaoyu Song,
Ming Gu,
2006,
IEEE Transactions on Circuits and Systems II: Express Briefs.
Guowu Yang,
Xiaoyu Song,
William N. N. Hung,
2008,
Comput. J..
Guowu Yang,
Xiaoyu Song,
William N. N. Hung,
2010,
IEEE Congress on Evolutionary Computation.
Guowu Yang,
Jinzhao Wu,
Lian Li,
2011,
Comput. Math. Appl..
Yu Jiang,
Hehua Zhang,
Xiaoyu Song,
2013,
IEEE Transactions on Industrial Electronics.
Yu Jiang,
Hehua Zhang,
Xiaoyu Song,
2013,
2013 IEEE 37th Annual Computer Software and Applications Conference.
Andrew A. Kennings,
Alan Mishchenko,
Malgorzata Chrzanowska-Jeske,
2002,
GLSVLSI '02.
Guowu Yang,
Xiaoyu Song,
William N. N. Hung,
2005,
Proceedings of the ASP-DAC 2005. Asia and South Pacific Design Automation Conference, 2005..
Xiaoyu Song,
Andrew A. Kennings,
William N. N. Hung,
2002,
2002 IEEE International Symposium on Circuits and Systems. Proceedings (Cat. No.02CH37353).
Ming Gu,
Hehua Zhang,
William N. N. Hung,
2014,
IEEE Transactions on Computers.
Jiantao Zhou,
Xinrui Guo,
Xiaoyu Song,
2015,
IEEE Transactions on Computers.
Guowu Yang,
Xiaoyu Song,
William N. N. Hung,
2004,
IEEE Computer Society Annual Symposium on VLSI.
Yu Jiang,
Hehua Zhang,
Xiaoyu Song,
2012,
2012 IEEE Computer Society Annual Symposium on VLSI.
Peng Gao,
Jie Zhang,
Jindong Tan,
2014,
2014 IEEE International Conference on Robotics and Automation (ICRA).
Yu Jiang,
Hehua Zhang,
Xiaoyu Song,
2013,
2013 18th Asia and South Pacific Design Automation Conference (ASP-DAC).
Peter Crossley,
William N. N. Hung,
Kieran French,
2010
.
Guowu Yang,
Gang Yang,
William N. N. Hung,
2015,
J. Circuits Syst. Comput..
Xiaoyu Song,
Yinshui Xia,
William N. N. Hung,
2010,
Proceedings of the 8th IEEE International NEWCAS Conference 2010.
Xiaoyu Song,
Andrew A. Kennings,
William N. N. Hung,
2004,
TODE.
Yu Jiang,
Hehua Zhang,
Xiaoyu Song,
2012,
2012 IEEE Sixth International Conference on Software Security and Reliability.
Guowu Yang,
Xiaoyu Song,
William N. N. Hung,
2013,
Journal of Computer Science and Technology.
Guowu Yang,
Xiaoyu Song,
William N. N. Hung,
2018,
Theory of Computing Systems.
Hongsheng Yin,
William N. N. Hung,
Jingwen Xu,
2014
.
Guowu Yang,
Xiaoyu Song,
William N. N. Hung,
2010
.