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
A Quantitative Characterization of Cross Coverage	2017-05-16	Paper
Computing Affine Equivalence Classes of Boolean Functions by Group Isomorphism	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

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