Statistics
Publications
3
Citations
98
H-Index
3
Active since
2018
Affiliations
Hung-En Wang is an author at Auburn University specializing in natural sciences, flexible supercapacitors, and materials engineering.
Publications per year
2018–2022
3
3
A symbolic model checking approach to the analysis of string and length constraints
Hung-En Wang, Shih‐Yu Chen, Fang Yu et al. · 2018 · 16 citations
1–3 of 3