Publish
Home
Live
new
RH Journal
ResearchCoin
Grants
Funding
Browse
Journals
Hubs
Tools
Lab Notebook
Beta
Reference Manager
Resources
Verify Identity
Community
Support
About
Terms
Privacy
Issues
Docs
Author
Log in
Sign up
ZZ
Zhenya Zhang
Author with expertise in Formal Methods in Software Verification and Control
Achievements
This user has not unlocked any achievements yet.
Key Stats
Upvotes received:
0
Publications:
3
(33% Open Access)
Cited by:
0
h-index:
6
/
i10-index:
3
Reputation
Biology
< 1%
Chemistry
< 1%
Economics
< 1%
Show more
How is this calculated?
Overview
Publications
3
Peer Reviews
Comments
Grants
Recent Activity
Coauthors
Z
Zhengxuan Liu
S
Sofie Haesaert
G
Guoqiang Zhang
J
Jun Zhang
B
Bao‐Jie He
M
Mircea Lazar
Y
Yanqiu Xiao
M
Maico Engelaar
H
Houyu Wei
T
Taishan Lou
Publications & Citations
Publications
Citations