Ramin Hojati
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
12
Venues
4
Active years
1990–1998
Best venue rank
A*
Where they publish
Papers
12 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1998 | CAV | Computing Reachable Control States of Systems Modeled with Uninterpreted Functions and Infinite Memory. | Adrian J. Isles, Ramin Hojati, Robert K. Brayton |
| 1998 | CAV | Structural Symmetry and Model Checking. | Gurmeet Singh Manku, Ramin Hojati, Robert K. Brayton |
| 1996 | FMCAD | Verification Using Uninterpreted Functions and Finite Instantiations. | Ramin Hojati, Adrian J. Isles, Desmond Kirkpatrick, Robert K. Brayton |
| 1996 | ICCD | Early Quantification and Partitioned Transition Relations. | Ramin Hojati, Sriram C. Krishnan, Robert K. Brayton |
| 1995 | CAV | Automatic Datapath Abstraction In Hardware Systems. | Ramin Hojati, Robert K. Brayton |
| 1994 | CAV | Improving Language Containment Using Fairness Graphs. | Ramin Hojati, Robert B. Mueller-Thuns, Robert K. Brayton |
| 1994 | DAC | HSIS: A BDD-Based Environment for Formal Verification. | Adnan Aziz, Felice Balarin, Szu-Tsung Cheng, Ramin Hojati, Timothy Kam, Sriram C. Krishnan, Rajeev K. Ranjan, Thomas R. Shiple, Vigyan Singhal, Serdar Tasiran, Huey-Yih Wang, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli |
| 1994 | DAC | Heuristic Minimization of BDDs Using Don't Cares. | Thomas R. Shiple, Ramin Hojati, Alberto L. Sangiovanni-Vincentelli, Robert K. Brayton |
| 1993 | CAV | BDD-Based Debugging Of Design Using Language Containment and Fair CTL. | Ramin Hojati, Robert K. Brayton, Robert P. Kurshan |
| 1993 | DAC | A Unified Approach to Language Containment and Fair CTL Model Checking. | Ramin Hojati, Thomas R. Shiple, Robert K. Brayton, Robert P. Kurshan |
| 1992 | CAV | Efficient | Ramin Hojati, Herv J. Touati, Robert P. Kurshan, Robert K. Brayton |
| 1990 | DAC | Layout Optimization by Pattern Modification. | Ramin Hojati |