Chao Wang

Measurement of particulate matter and trace elements from a coal-fired power plant with electrostatic precipitators equipped the low temperature economizer

Chao Wang, Xiaowei Liu, Li Dong et al. · Proceedings of the Combustion Institute · 2014 · 96 citations

Engineering, Environmental Engineering, Mining Engineering +17

Interlocking obfuscation for anti-tamper hardware

Avinash R. Desai, Michael S. Hsiao, Chao Wang et al. · 2013 · 92 citations

Computing, Computer Engineering, Computer Science +17

Model checking C programs using F-Soft

Franjo Ivančić, Ilya Shlyakhter, Aarti Gupta et al. · 2006 · 92 citations

Computing, Computer Engineering, Computer Science +16

Adversarial symbolic execution for detecting concurrency-related cache timing leaks

Shengjian Guo, Meng Wu, Chao Wang · 2018 · 46 citations

Computing, Computer Engineering, Computer Science +17

Refining the SAT decision ordering for bounded model checking

Chao Wang, HoonSang Jin, Gary D. Hachtel et al. · 2004 · 40 citations

Computing, Computer Science, Algorithms +12