Layout Optimization by Pattern Modification. - Ramin Hojati (DAC, 1990)

Efficient omega-Regular Language Containment. - Ramin Hojati; Hervé J. Touati; Robert P. Kurshan; Robert K. Brayton (CAV, 1992)

BDD-Based Debugging Of Design Using Language Containment and Fair CTL. - Ramin Hojati; Robert K. Brayton; Robert P. Kurshan (CAV, 1993)

A Unified Approach to Language Containment and Fair CTL Model Checking. - Ramin Hojati; Thomas R. Shiple; Robert K. Brayton; Robert P. Kurshan (DAC, 1993)

Improving Language Containment Using Fairness Graphs. - Ramin Hojati; Robert B. Mueller-Thuns; Robert K. Brayton (CAV, 1994)

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 001; Thomas R. Shiple; Vigyan Singhal; Serdar Tasiran; Huey-Yih Wang; Robert K. Brayton; et al. (DAC, 1994)

Heuristic Minimization of BDDs Using Don't Cares. - Thomas R. Shiple; Ramin Hojati; Alberto L. Sangiovanni-Vincentelli; Robert K. Brayton (DAC, 1994)

Automatic Datapath Abstraction In Hardware Systems. - Ramin Hojati; Robert K. Brayton (CAV, 1995)

Language containment of non-deterministic omega-automata. - Serdar Tasiran; Ramin Hojati; Robert K. Brayton (CHARME, 1995)

An Environment for Formal Verification Based on Symbolic Computations. - Ramin Hojati; Robert K. Brayton (Formal Methods Syst. Des., 1995)

Verification Using Uninterpreted Functions and Finite Instantiations. - Ramin Hojati; Adrian J. Isles; Desmond Kirkpatrick; Robert K. Brayton (FMCAD, 1996)

Early Quantification and Partitioned Transition Relations. - Ramin Hojati; Sriram C. Krishnan; Robert K. Brayton (ICCD, 1996)

Computing Reachable Control States of Systems Modeled with Uninterpreted Functions and Infinite Memory. - Adrian J. Isles; Ramin Hojati; Robert K. Brayton (CAV, 1998)

Structural Symmetry and Model Checking. - Gurmeet Singh Manku; Ramin Hojati; Robert K. Brayton (CAV, 1998)

Environment modeling and language universality. - Richard Raimi; Ramin Hojati; Kedar S. Namjoshi (ACM Trans. Design Autom. Electr. Syst., 2000)