Scholarly Index

Yanhong A. Liu

Stony Brook University; 1,090 total citations; 82 total publications; best world rank #378

Stony Brook University

1,090Total citations
82Total publications
20H-index

Published ranking records

FieldWindowWorld rankNational rankImpact score
Logic, programming, and type systemsLifetime461US 17894.78
Formal Methods in VerificationLifetime958US 32292.57
Logic, programming, and type systems2021-2025378US 7362.63