16
Publications
762
Citations
14
H-Index
2013
Active since
Zhe Zheng is an author at Yale University specializing in engineering, language studies, and automated reasoning.
Top concepts
EngineeringLanguageSemanticsLinguisticsVerificationFormal MethodsAutomated ReasoningFormal VerificationCompliance ManagementComputational Linguistics
Publications per year
2013–2024
16
16
Rows per page
1–5 of 16