William N. N. Hung

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A new pairwise NPN Boolean matching algorithm based on structural difference signature Symmetry	2019-11-13	Paper
A group algebraic approach to NPN classification of Boolean functions Theory of Computing Systems	2019-09-05	Paper
Generalized framework for similarity measure of time series Mathematical Problems in Engineering	2019-02-08	Paper
Maxterm Covering for Satisfiability IEEE Transactions on Computers	2017-07-12	Paper
Computing Affine Equivalence Classes of Boolean Functions by Group Isomorphism IEEE Transactions on Computers	2017-05-16	Paper
A Quantitative Characterization of Cross Coverage IEEE Transactions on Computers	2017-05-16	Paper
Uncertainty Model for Configurable Hardware/Software and Resource Partitioning IEEE Transactions on Computers	2017-05-16	Paper
A multipartite entanglement measure based on coefficient matrices Quantum Information Processing	2015-09-23	Paper
Pareto optimal mapping for tile-based network-on-chip under reliability constraints International Journal of Computer Mathematics	2015-03-25	Paper
Complete Boolean satisfiability solving algorithms based on local search Journal of Computer Science and Technology	2014-02-06	Paper
Exponential-condition-based barrier certificate generation for safety verification of hybrid systems Computer Aided Verification	2013-11-26	Paper
A transformation-based approach to implication of GSTE assertion graphs Journal of Applied Mathematics	2013-09-09	Paper
Exploring structural symmetry automatically in symbolic trajectory evaluation Formal Methods in System Design	2012-09-27	Paper
A novel fault diagnosis mechanism for wireless sensor networks Mathematical and Computer Modelling	2011-11-11	Paper
Mathematical analysis of stage-based programmable logic controller Computers & Mathematics with Applications	2011-08-28	Paper
A novel formalization of symbolic trajectory evaluation semantics in Isabelle/HOL Theoretical Computer Science	2011-06-06	Paper
Realization and synthesis of reversible functions Theoretical Computer Science	2011-03-29	Paper
Synthesis of reversible circuits with minimal costs Calcolo	2009-10-19	Paper
Minimal universal library for \(n\times n\) reversible circuits Computers & Mathematics with Applications	2008-10-22	Paper
Theory and Applications of Models of Computation Lecture Notes in Computer Science	2007-04-30	Paper
Majority-based reversible logic gates Theoretical Computer Science	2005-06-01	Paper
A comparative study on search strategies for cell assignments International Journal of Computer Mathematics	2005-01-14	Paper

Research outcomes over time

This page was built for person: William N. N. Hung