 | 1994 |
|---|
| 7 |       | 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. on CAD of Integrated Circuits and Systems 13(2): 167-177 (1994) |
| 6 | | June-Kyung Rho,
Fabio Somenzi:
Don't care sequences and the optimization of interacting finite state machines.
IEEE Trans. on CAD of Integrated Circuits and Systems 13(7): 865-874 (1994) |
| 1993 |
|---|
| 5 | | June-Kyung Rho,
Fabio Somenzi:
Automatic Generation of Network Invariants for the Verification of Iterative Sequential Systems.
CAV 1993: 123-137 |
| 4 | | June-Kyung Rho,
Fabio Somenzi,
Carl Pixley:
Minimum Length Synchronizing Sequences of Finite State Machine.
DAC 1993: 463-468 |
| 1992 |
|---|
| 3 | | June-Kyung Rho,
Fabio Somenzi:
Inductive Verification of Iterative Systems.
DAC 1992: 628-633 |
| 2 |  | June-Kyung Rho,
Fabio Somenzi:
The Role of Prime Compatibles in the Minimization of Finite State Machines.
ICCD 1992: 324-327 |
| 1991 |
|---|
| 1 | | June-Kyung Rho,
Gary D. Hachtel,
Fabio Somenzi:
Don't Care Sequences and the Optimization of Interacting Finite State Machines.
ICCAD 1991: 418-421 |
