Top1000 Scholar

Scholarly Index

Zhong Shao

Yale University; 3,374 total citations; 151 total publications; best world rank #49

Yale University

3,374Total citations
151Total publications
36H-index

Published ranking records

FieldWindowWorld rankNational rankImpact score
Logic, programming, and type systemsLifetime55US 2798.87
Security and Verification in ComputingLifetime77US 4698.48
Formal Methods in VerificationLifetime155US 7298.18
Parallel Computing and Optimization TechniquesLifetime463US 30498.19
Distributed systems and fault toleranceLifetime607US 34896.09
Distributed systems and fault tolerance2021-202577US 1389.64
Logic, programming, and type systems2021-202549US 1189.38
Security and Verification in Computing2021-2025294US 10479.63
Formal Methods in Verification2021-2025778US 16058.31
Real-Time Systems Scheduling2021-2025766US 12639.73