William N. N. Hung

Available identifiers

zbMath Open hung.william-n-nMaRDI QIDQ364475

List of research outcomes

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

Research outcomes over time

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