dblp.uni-trier.dewww.uni-trier.de

June-Kyung Rho

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

1Gary D. Hachtel [1] [7]
2Reily M. Jacoby [7]
3Carl Pixley [4]
4Fabio Somenzi [1] [2] [3] [4] [5] [6] [7]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)