ResearchHub | Open Science Community

SH

Siva Hari

Author with expertise in Formal Methods in Software Verification and Control

Achievements

Cited Author

Open Access Advocate

Key Stats

Upvotes received:

0

Publications:

2

(50% Open Access)

Cited by:

390

h-index:

25

/

i10-index:

41

Reputation

Biology

< 1%

Chemistry

< 1%

Economics

< 1%

Show more

How is this calculated?

Recent Activity

Coauthors

Stephen Keckler

Karthik Pattabiraman

Michael Sullivan

Publications & Citations

Publications

Citations