Scholarly Index

Xinyu Feng

Hong Kong Polytechnic University; 1,354 total citations; 84 total publications; best world rank #424

Hong Kong Polytechnic University

1,354Total citations
84Total publications
20H-index

Published ranking records

FieldWindowWorld rankNational rankImpact score
Logic, programming, and type systemsLifetime575CN 893.72
Security and Verification in ComputingLifetime587CN 4492.45
Formal Methods in VerificationLifetime994CN 4292.36
Distributed systems and fault tolerance2021-2025424CN 10370.19