Search results for "William N. N. Hung"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	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	2012	DBLP DOI BibTeX RDF
1	Liangze Yin, Fei He, William N. N. Hung, Xiaoyu Song, Ming Gu	Maxterm Covering for Satisfiability.	IEEE Trans. Computers	2012	DBLP DOI BibTeX RDF
1	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	2011	DBLP DOI BibTeX RDF
1	Guowu Yang, Fei Xie, William N. N. Hung, Xiaoyu Song, Marek A. Perkowski	Realization and synthesis of reversible functions.	Theor. Comput. Sci.	2011	DBLP DOI BibTeX RDF
1	Yongjian Li, William N. N. Hung, Xiaoyu Song	A novel formalization of symbolic trajectory evaluation semantics in Isabelle/HOL.	Theor. Comput. Sci.	2011	DBLP DOI BibTeX RDF
1	Anping He, William N. N. Hung, Guowu Yang, Jinzhao Wu, Lian Li	Mathematical analysis of stage-based programmable logic controller.	Computers & Mathematics with Applications	2011	DBLP DOI BibTeX RDF
1	Yongjian Li, William N. N. Hung, Xiaoyu Song, Naiju Zeng	Exploring structural symmetry automatically in symbolic trajectory evaluation.	Formal Methods in System Design	2011	DBLP DOI BibTeX RDF
1	Hehua Zhang, Yu Jiang, William N. N. Hung, Xiaoyu Song, Ming Gu	Domain-Driven Probabilistic Analysis of Programmable Logic Controllers.	ICFEM	2011	DBLP DOI BibTeX RDF
1	Yongjian Li, Naiju Zeng, William N. N. Hung, Xiaoyu Song	Enhanced symbolic simulation of a round-robin arbiter.	ICCD	2011	DBLP DOI BibTeX RDF
1	Fei He, Xiaoyu Song, William N. N. Hung, Ming Gu, Jiaguang Sun	Integrating Evolutionary Computation with Abstraction Refinement for Model Checking.	IEEE Trans. Computers	2010	DBLP DOI BibTeX RDF	verification, Formal models
1	Zhufei Chu, Yinshui Xia, William N. N. Hung, Lun-Yao Wang, Xiaoyu Song	A Memetic Approach for Nanoscale Hybrid Circuit Cell Mapping.	DSD	2010	DBLP DOI BibTeX RDF
1	Guowu Yang, William N. N. Hung, Xiaoyu Song, Marek A. Perkowski	Synthesizing hybrid quantum circuits without ancilla qudits.	IEEE Congress on Evolutionary Computation	2010	DBLP DOI BibTeX RDF
1	Fei He, He Zhu, William N. N. Hung, Xiaoyu Song, Ming Gu	Compositional Abstraction Refinement for Timed Systems.	TASE	2010	DBLP DOI BibTeX RDF
1	He Zhu, Fei He, William N. N. Hung, Xiaoyu Song, Ming Gu	Data mining based decomposition for assume-guarantee reasoning.	FMCAD	2009	DBLP DOI BibTeX RDF
1	Guowu Yang, Xiaoyu Song, William N. N. Hung, Marek A. Perkowski	Bi-Directional Synthesis of 4-Bit Reversible Circuits.	Comput. J.	2008	DBLP DOI BibTeX RDF
1	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	2008	DBLP DOI BibTeX RDF
1	Lerong Cheng, Xiaoyu Song, Guowu Yang, William N. N. Hung, Zhiwei Tang, Shaodi Gao	A fast congestion estimator for routing with bounded detours.	Integration	2008	DBLP DOI BibTeX RDF
1	Xiaojun Lu, Guowu Yang, Jianping Li, Xiaoyu Song, William N. N. Hung	The probability logics for nanoscale inverterscascade.	IEEE Congress on Evolutionary Computation	2008	DBLP DOI BibTeX RDF
1	William N. N. Hung, Changjian Gao, Xiaoyu Song, Dan W. Hammerstrom	Defect-Tolerant CMOL Cell Assignment via Satisfiability	CoRR	2007	DBLP BibTeX RDF
1	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	2007	DBLP BibTeX RDF
1	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	2007	DBLP DOI BibTeX RDF
1	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	2006	DBLP DOI BibTeX RDF
1	Guowu Yang, Xiaoyu Song, William N. N. Hung, Fei Xie, Marek A. Perkowski	Group Theory Based Synthesis of Binary Reversible Circuits.	TAMC	2006	DBLP DOI BibTeX RDF
1	Guowu Yang, William N. N. Hung, Xiaoyu Song, Marek A. Perkowski	Majority-based reversible logic gates.	Theor. Comput. Sci.	2005	DBLP DOI BibTeX RDF
1	Guowu Yang, Xiaoyu Song, William N. N. Hung, Marek A. Perkowski	Bi-Direction Synthesis for Reversible Circuits.	ISVLSI	2005	DBLP DOI BibTeX RDF	Algorithm, Minimization, Reversible Logic, Quantum Circuits
1	Guowu Yang, Xiaoyu Song, William N. N. Hung, Marek A. Perkowski	Fast synthesis of exact minimal reversible circuits using group theory.	ASP-DAC	2005	DBLP DOI BibTeX RDF
1	Guowu Yang, Jin Yang, William N. N. Hung, Xiaoyu Song	Implication of assertion graphs in GSTE.	ASP-DAC	2005	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	Fei He, William N. N. Hung, Xiaoyu Song, Ming Gu, Jiaguang Sun	Segmented channel routing with pin rearrangements via satisfiability.	ISCAS	2005	DBLP DOI BibTeX RDF
1	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.	2004	DBLP DOI BibTeX RDF	Satisfiability
1	William N. N. Hung, Xiaoyu Song, T. Kam, Lerong Cheng, Guowu Yang	Routability checking for three-dimensional architectures.	IEEE Trans. VLSI Syst.	2004	DBLP DOI BibTeX RDF
1	Ming Gu, Fei He, William N. N. Hung, Xiaoyu Song	A comparative study on search strategies for cell assignments.	Int. J. Comput. Math.	2004	DBLP DOI BibTeX RDF
1	Lerong Cheng, William N. N. Hung, Guowu Yang, Xiaoyu Song	Congestion Estimation for 3D Routing.	ISVLSI	2004	DBLP DOI BibTeX RDF
1	William N. N. Hung, Xiaoyu Song, Guowu Yang, Jin Yang, Marek A. Perkowski	Quantum logic synthesis by symbolic reachability analysis.	DAC	2004	DBLP DOI BibTeX RDF	model checking, formal verification, quantum computing, satisfiability, reversible logic
1	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.	2003	DBLP DOI BibTeX RDF
1	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	2002	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	William N. N. Hung, Xiaoyu Song, Alan J. Coppola, Andrew A. Kennings	On segmented channel routability.	ISCAS	2002	DBLP DOI BibTeX RDF
1	William N. N. Hung, Xiaoyu Song	On data address computation for embedded DSP systems.	ISCAS	2002	DBLP DOI BibTeX RDF
1	William N. N. Hung, Xiaoyu Song	BDD Variable Ordering by Scatter Search.	ICCD	2001	DBLP BibTeX RDF

Publications of "William N. N. Hung" ( http://dblp.L3S.de/Authors/William_N._N._Hung )