Concepedia

Author

Ramin Hojati

University of California, Berkeley

Also Known As

R. Hojati, Ramin Hojati

23

Publications

501

Citations

10

H-Index

19

Concepts

All Affiliations

University of California, Berkeley
RH

About

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

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

2

2

117

2

Computer Science

2

2

117

3

Computer Engineering

1

1

60

4

Data Science

1

1

57

5

Systems Engineering

1

1

60

Ramin Hojati

×

3

Publications

217

Citations

3

H-Index

YearCitations

Page 1