Concepedia

Ramin Hojati

RH

Statistics

Publications

3

Citations

217

H-Index

3

Active since

1994

Affiliations

University of California, Berkeley(Current)

Ramin Hojati is an author at University of California, Berkeley specializing in automated reasoning, verification, and formal verification.

Top concepts

EngineeringVerificationFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationProbabilityData PrivacyData ScienceData Security

Publications per year

1994–2002

3

Publications

3

Heuristic minimization of BDDs using don't cares

Thomas R. Shiple, Ramin Hojati, Alberto Sangiovanni‐Vincentelli et al. · 1994 · 100 citations · Full text

Early quantification and partitioned transition relations

Ramin Hojati, Sandeep Krishnan, Robert K. Brayton · 2002 · 60 citations

Engineering, Reachability Problem, Verification +19

HSIS

A. Aziz, Serdar Taşiran, Huey-Yih Wang et al. · 1994 · 57 citations

Engineering, Information Security, Verification +17

1–3 of 3