Statistics
Publications
3
Citations
75
H-Index
3
Active since
2007
Affiliations
University of California, Berkeley(Current)
Yen-Sheng Ho is an author at University of California, Berkeley specializing in computing, computer science, and bounded model checking.
Publications per year
2007–2017
3
3
Symbolic model checking on SystemC designs
Chun‐Nan Chou, Yen-Sheng Ho, Chiao Hsieh et al. · 2012 · 41 citations
1–3 of 3