Don't Care Sequences and the Optimization of Interacting Finite State Machines. - June-Kyung Rho; Gary D. Hachtel; Fabio Somenzi (ICCAD, 1991)

Inductive Verification of Iterative Systems. - June-Kyung Rho; Fabio Somenzi (DAC, 1992)

The Role of Prime Compatibles in the Minimization of Finite State Machines. - June-Kyung Rho; Fabio Somenzi (ICCD, 1992)

Automatic Generation of Network Invariants for the Verification of Iterative Sequential Systems. - June-Kyung Rho; Fabio Somenzi (CAV, 1993)

Minimum Length Synchronizing Sequences of Finite State Machine. - June-Kyung Rho; Fabio Somenzi; Carl Pixley (DAC, 1993)

Exact and heuristic algorithms for the minimization of incompletely specified state machines. - June-Kyung Rho; Gary D. Hachtel; Fabio Somenzi; Reily M. Jacoby (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1994)

Don't care sequences and the optimization of interacting finite state machines. - June-Kyung Rho; Fabio Somenzi (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1994)