The cosubstitution condition. - Jon C. Muzio (Notre Dame J. Formal Log., 1973)

Partial universal decision elements. - Jon C. Muzio (Notre Dame J. Formal Log., 1974)

Concerning Completeness and Abelian Semigroups. - Jon C. Muzio (Math. Log. Q., 1976)

A ternary universal decision element. - D. Michael Miller; Jon C. Muzio (Notre Dame J. Formal Log., 1976)

A complete classification of three-place functors in two-valued logic. - Jon C. Muzio (Notre Dame J. Formal Log., 1976)

A prefix operator for a switching algebra. - Jon C. Muzio (Int. J. Parallel Program., 1977)

Three Cell Structures for Ternary Cellular Arrays. - J. A. Bate; Jon C. Muzio (IEEE Trans. Computers, 1977)

Generalized finite Post algebras. - Jon C. Muzio; T. C. Wesselkamper (MVL, 1978)

A note concerning a sole sufficient operator. - Jon C. Muzio (Notre Dame J. Formal Log., 1978)

Classes of universal decision elements using negative substitutions. - Jon C. Muzio (Notre Dame J. Formal Log., 1979)

A class of two-place three-valued unary generators. - D. Michael Miller; Jon C. Muzio (Notre Dame J. Formal Log., 1980)

Composite Spectra and the Analysis of Switching Circuits. - Jon C. Muzio (IEEE Trans. Computers, 1980)

Spectral Fault Signatures for Internally Unate Combinational Networks. - D. Michael Miller; Jon C. Muzio (IEEE Trans. Computers, 1983)

Spectral Fault Signatures for Single Stuck-At Faults in Combinational Networks. - D. Michael Miller; Jon C. Muzio (IEEE Trans. Computers, 1984)

Testing Programmable Logic Arrays by Sum of Syndromes. - Micaela Serra; Jon C. Muzio (IEEE Trans. Computers, 1987)

Space compaction for multiple-output circuits. - Micaela Serra; Jon C. Muzio (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1988)

Concerning the Maximum Size of the Terms in the Realization of Symmetric Functions. - Jon C. Muzio (ISMVL, 1990)

On the testability of array structures for FFT computation. - Fabrizio Lombardi; Yinan N. Shen; Jon C. Muzio (SPDP, 1990)

The analysis of one-dimensional linear cellular automata and their aliasing properties. - Micaela Serra; Terry Slater; Jon C. Muzio; D. Michael Miller (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1990)

Constrained parity testing. - Patrick Kam Lui; Jon C. Muzio (J. Electron. Test., 1991)

Concurrent Checking and Unidirectional Errors in Multiple-Valued Circuits. - David Wessels; Jon C. Muzio (ISMVL, 1992)

Boolean Matrix Transforms for the Minimization of Modulo-2 Canonical Expansions. - Patrick Kam Lui; Jon C. Muzio (IEEE Trans. Computers, 1992)

Concurrent error detection and fault location in an FFT architecture. - Fabrizio Lombardi; Jon C. Muzio (IEEE J. Solid State Circuits, 1992)

Probabilistic Identification of Critical Components for Circuit Delays. - David Wessels; Jon C. Muzio (DFT, 1993)

On the testability of array structures for FFT computation. - Chao Feng 009; Jon C. Muzio; Fabrizio Lombardi (J. Electron. Test., 1993)

Why Cellular Automata are better than LFSRs as Built-in Self-test Generators for Sequential-type Faults. - Shujian Zhang; Rod Byrne; Jon C. Muzio; D. Michael Miller (ISCAS, 1994)

Full Sensitivity and Test Generation for Multiple-Valued Logic Circuits. - Elena Dubrova; Dilian Gurov; Jon C. Muzio (ISMVL, 1994)

Analyzing and improving delay defect tolerance in pipelined combinational circuits. - David Wessels; Jon C. Muzio (DFT, 1995)

The Evaluation of Full Sensitivity for Test Generation in MVL Circuits. - Elena Dubrova; Dilian Gurov; Jon C. Muzio (ISMVL, 1995)

Quantitative analysis for linear hybrid cellular automata and LFSR as built-in self-test generators for sequential faults. - Shujian Zhang; Rod Byrne; Jon C. Muzio; D. Michael Miller (J. Electron. Test., 1995)

Evaluating the safety of self-checking circuits. - Shujian Zhang; Jon C. Muzio (J. Electron. Test., 1995)

Testability of Generalized Multiple-Valued Reed-Muller Circuits. - Elena Dubrova; Jon C. Muzio (ISMVL, 1996)

The dangers of simplistic delay models. - David Wessels; Jon C. Muzio (J. Electron. Test., 1996)

Analysis of One-Dimensional Linear Hybrid Cellular Automata over GF(q). - Kevin Cattell; Jon C. Muzio (IEEE Trans. Computers, 1996)

Synthesis of one-dimensional linear hybrid cellular automata. - Kevin Cattell; Jon C. Muzio (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1996)

Notes on "Complexity of the lookup-table minimization problem for FPGA technology mapping". - Shujian Zhang; D. Michael Miller; Jon C. Muzio (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1996)

Finding Composition Trees for Multiple-Valued Functions. - Elena Dubrova; Jon C. Muzio; Bernhard von Stengel (ISMVL, 1997)

Partial Symmetry in Cellular Automata Rule Vectors. - Kevin Cattell; Jon C. Muzio (J. Electron. Test., 1997)

A Multimedia Virtual Lab for Digital Logic Design. - Micaela Serra; E. Wang; Jon C. Muzio (MSE, 1999)

2-by-n Hybrid Cellular Automata with Regular Configuration: Theory and Application. - Kevin Cattell; Shujian Zhang; Micaela Serra; Jon C. Muzio (IEEE Trans. Computers, 1999)

TOP: An Algorithm for Three-Level Optimization of PLDs. - Elena Dubrova; Peeter Ellervee; D. Michael Miller; Jon C. Muzio (DATE, 2000)

Easily Testable Multiple-Valued Logic Circuits Derived from Reed-Muller Circuits. - Elena Dubrova; Jon C. Muzio (IEEE Trans. Computers, 2000)

An Integrated High-Level Test Synthesis for Built-in Self-Testable Designs. - Laurence Tianruo Yang; Jon C. Muzio (SBCCI, 2001)

Redundant transformations for BIST testability metrics-based data path allocation. - Laurence Tianruo Yang; Jon C. Muzio (APCCAS (2), 2002)

Use of the Autocorrelation Function in the Classification of Switching Functions. - Jacqueline E. Rice; Jon C. Muzio (DSD, 2002)

The IT Support for Acquired Brain Injury Patients - the Design and Evaluation of a New Software Package. - Micaela Serra; Jon C. Muzio (HICSS, 2002)

Introducing redundant transformations for high level built-in self-testable synthesis. - Laurence Tianruo Yang; Jon C. Muzio (ICECS, 2002)

Antisymmetries in the realization of Boolean functions. - Jacqueline E. Rice; Jon C. Muzio (ISCAS (4), 2002)

An Investigation of Non-Linear Machines as PRPGs in BIST. - Jing Zhong; Jon C. Muzio (ESA/VLSI, 2004)

Testing Methodologies for Embedded Systems and Systems-on-Chip. - Laurence Tianruo Yang; Jon C. Muzio (ICESS, 2004)

A Characterization of Antisymmetry in Boolean and Multi-Valued Functions. - Jacqueline E. Rice; Jon C. Muzio (ISMVL, 2005)

Analyzing Fault Models for Reversible Logic Circuits. - Jing Zhong; Jon C. Muzio (IEEE Congress on Evolutionary Computation, 2006)

A New Class of Cellular Automata. - Hosna Jabbari; Jon C. Muzio; Lin Sun (DSD, 2007)

New Considerations for Spectral Classification of Boolean Switching Functions. - Jacqueline E. Rice; Jon C. Muzio; Neil Anderson (VLSI Design, 2011)