Han Liu

A Gut Commensal Bacterium Promotes Mosquito Permissiveness to Arboviruses

Pa Wu, Peng Sun, Kaixiao Nie et al. · Cell Host & Microbe · 2018 · 285 citations · Full text

Virology, Microbiology, Vector Control +2

EClone: detect semantic clones in Ethereum via symbolic transaction sketch

Han Liu, Zhiqiang Yang, Chao Liu et al. · 2018 · 39 citations

Engineering, Information Security, Verification +19

Stochastic Optimization of Program Obfuscation

Han Liu, C. P. Sun, Zhendong Su et al. · 2017 · 32 citations

Engineering, Information Security, Source Code Analysis +16

From Stateflow Simulation to Verified Implementation: A Verification Approach and A Real-Time Train Controller Design

Yu Jiang, Yixiao Yang, Han Liu et al. · 2016 · 31 citations

Railway Traffic, Real-time Control, Engineering +28

Safety-Assured Model-Driven Design of the Multifunction Vehicle Bus Controller

Yu Jiang, Han Liu, Houbing Song et al. · IEEE Transactions on Intelligent Transportation Systems · 2018 · 31 citations

Engineering, Verification, Computer-aided Verification +17