June-Kyung Rho
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
1991–1993
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1993 | CAV | Automatic Generation of Network Invariants for the Verification of Iterative Sequential Systems. | June-Kyung Rho, Fabio Somenzi |
| 1993 | DAC | Minimum Length Synchronizing Sequences of Finite State Machine. | June-Kyung Rho, Fabio Somenzi, Carl Pixley |
| 1992 | DAC | Inductive Verification of Iterative Systems. | June-Kyung Rho, Fabio Somenzi |
| 1992 | ICCD | The Role of Prime Compatibles in the Minimization of Finite State Machines. | June-Kyung Rho, Fabio Somenzi |
| 1991 | ICCAD | Don't Care Sequences and the Optimization of Interacting Finite State Machines. | June-Kyung Rho, Gary D. Hachtel, Fabio Somenzi |