1994 |
7 | EE | 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 | EE | 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 | EE | June-Kyung Rho,
Fabio Somenzi,
Carl Pixley:
Minimum Length Synchronizing Sequences of Finite State Machine.
DAC 1993: 463-468 |
1992 |
3 | EE | 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 |