Scholarly Index

Litao Zhou

University of Hong Kong; 25 total citations; 7 total publications; best world rank #103

University of Hong Kong

25Total citations
7Total publications
4H-index

Published ranking records

FieldWindowWorld rankNational rankImpact score
Logic, programming, and type systems2021-2025103CN 583.28
Formal Methods in Verification2021-2025329CN 5975.87