June-Kyung Rho

Publication Activity (10 Years)

Years Active: 1991-1994
Publications (10 Years): 0

Publications

June-Kyung Rho, Fabio Somenzi
Don't care sequences and the optimization of interacting finite state machines. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 13 (7) (1994)
June-Kyung Rho, Gary D. Hachtel, Fabio Somenzi, Reily M. Jacoby
Exact and heuristic algorithms for the minimization of incompletely specified state machines. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 13 (2) (1994)
June-Kyung Rho, Fabio Somenzi, Carl Pixley
Minimum Length Synchronizing Sequences of Finite State Machine. DAC (1993)
June-Kyung Rho, Fabio Somenzi
Automatic Generation of Network Invariants for the Verification of Iterative Sequential Systems. CAV (1993)
June-Kyung Rho, Fabio Somenzi
The Role of Prime Compatibles in the Minimization of Finite State Machines. ICCD (1992)
June-Kyung Rho, Fabio Somenzi
Inductive Verification of Iterative Systems. DAC (1992)
Gary D. Hachtel, June-Kyung Rho, Fabio Somenzi, Reily M. Jacoby
Exact and heuristic algorithms for the minimization of incompletely specified state machines. EURO-DAC (1991)
June-Kyung Rho, Gary D. Hachtel, Fabio Somenzi
Don't Care Sequences and the Optimization of Interacting Finite State Machines. ICCAD (1991)