Scholarly Index

Lijun Zhang

Chinese Academy of Sciences; 1,721 total citations; 152 total publications; best world rank #552

Chinese Academy of Sciences

1,721Total citations
152Total publications
21H-index

Published ranking records

FieldWindowWorld rankNational rankImpact score
Formal Methods in VerificationLifetime552CN 2495.23
Petri Nets in System ModelingLifetime796CN 9187.99
Logic, programming, and type systems2021-2025814CN 5038.34