The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Ramin Hojati: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Ramin Hojati, Robert K. Brayton
    Automatic Datapath Abstraction In Hardware Systems. [Citation Graph (0, 0)][DBLP]
    CAV, 1995, pp:98-113 [Conf]
  2. Ramin Hojati, Robert K. Brayton, Robert P. Kurshan
    BDD-Based Debugging Of Design Using Language Containment and Fair CTL. [Citation Graph (0, 0)][DBLP]
    CAV, 1993, pp:41-58 [Conf]
  3. Ramin Hojati, Robert B. Mueller-Thuns, Robert K. Brayton
    Improving Language Containment Using Fairness Graphs. [Citation Graph (0, 0)][DBLP]
    CAV, 1994, pp:391-403 [Conf]
  4. Ramin Hojati, Hervé J. Touati, Robert P. Kurshan, Robert K. Brayton
    Efficient omega-Regular Language Containment. [Citation Graph (0, 0)][DBLP]
    CAV, 1992, pp:396-409 [Conf]
  5. Adrian J. Isles, Ramin Hojati, Robert K. Brayton
    Computing Reachable Control States of Systems Modeled with Uninterpreted Functions and Infinite Memory. [Citation Graph (0, 0)][DBLP]
    CAV, 1998, pp:256-267 [Conf]
  6. Gurmeet Singh Manku, Ramin Hojati, Robert K. Brayton
    Structural Symmetry and Model Checking. [Citation Graph (0, 0)][DBLP]
    CAV, 1998, pp:159-171 [Conf]
  7. Serdar Tasiran, Ramin Hojati, Robert K. Brayton
    Language containment of non-deterministic omega-automata. [Citation Graph (0, 0)][DBLP]
    CHARME, 1995, pp:261-277 [Conf]
  8. 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
    HSIS: A BDD-Based Environment for Formal Verification. [Citation Graph (0, 0)][DBLP]
    DAC, 1994, pp:454-459 [Conf]
  9. Ramin Hojati
    Layout Optimization by Pattern Modification. [Citation Graph (0, 0)][DBLP]
    DAC, 1990, pp:632-637 [Conf]
  10. Ramin Hojati, Thomas R. Shiple, Robert K. Brayton, Robert P. Kurshan
    A Unified Approach to Language Containment and Fair CTL Model Checking. [Citation Graph (0, 0)][DBLP]
    DAC, 1993, pp:475-481 [Conf]
  11. Thomas R. Shiple, Ramin Hojati, Alberto L. Sangiovanni-Vincentelli, Robert K. Brayton
    Heuristic Minimization of BDDs Using Don't Cares. [Citation Graph (0, 0)][DBLP]
    DAC, 1994, pp:225-231 [Conf]
  12. Ramin Hojati, Adrian J. Isles, Desmond Kirkpatrick, Robert K. Brayton
    Verification Using Uninterpreted Functions and Finite Instantiations. [Citation Graph (0, 0)][DBLP]
    FMCAD, 1996, pp:218-232 [Conf]
  13. Ramin Hojati, Sriram C. Krishnan, Robert K. Brayton
    Early Quantification and Partitioned Transition Relations. [Citation Graph (0, 0)][DBLP]
    ICCD, 1996, pp:12-19 [Conf]
  14. Ramin Hojati, Robert K. Brayton
    An Environment for Formal Verification Based on Symbolic Computations. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 1995, v:6, n:2, pp:191-216 [Journal]
  15. Richard Raimi, Ramin Hojati, Kedar S. Namjoshi
    Environment modeling and language universality. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Design Autom. Electr. Syst., 2000, v:5, n:3, pp:705-725 [Journal]

Search in 0.002secs, Finished in 0.002secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002