June-Kyung Rho

According to our database, June-Kyung Rho authored at least 7 papers between 1991 and 1994.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

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

1993

Minimum Length Synchronizing Sequences of Finite State Machine.

June-Kyung Rho, Fabio Somenzi, Carl Pixley

Proceedings of the 30th Design Automation Conference. Dallas, 1993

Automatic Generation of Network Invariants for the Verification of Iterative Sequential Systems.

June-Kyung Rho, Fabio Somenzi

Proceedings of the Computer Aided Verification, 5th International Conference, 1993

1992

The Role of Prime Compatibles in the Minimization of Finite State Machines.

June-Kyung Rho, Fabio Somenzi

Proceedings of the Proceedings 1992 IEEE International Conference on Computer Design: VLSI in Computer & Processors, 1992

Inductive Verification of Iterative Systems.

June-Kyung Rho, Fabio Somenzi

Proceedings of the 29th Design Automation Conference, 1992

1991

Don't Care Sequences and the Optimization of Interacting Finite State Machines.

June-Kyung Rho, Gary D. Hachtel, Fabio Somenzi

Proceedings of the 1991 IEEE/ACM International Conference on Computer-Aided Design, 1991