Author Info
Name
Affiliation
Papers
ZHI ZHANG
CIS Department, Kansas State University, Manhattan, KS
3
Collaborators
Citations 
PageRank 
14
14
1.26
Referers 
Referees 
References 
36
76
33
Title
Citations
PageRank
Year
Maintaining the Design Intent in the Synthesis of 3-D and 1-D System Models Using Constraints.00.342018
Focused Certification of an Industrial Compilation and Static Verification Toolchain.00.342017
A certificate infrastructure for machine-checked proofs of conditional information flow140.582012