Han Liu

A Gut Commensal Bacterium Promotes Mosquito Permissiveness to Arboviruses

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

Veterinary Medicine, Infectious Diseases, Microbiology +10

EClone: detect semantic clones in Ethereum via symbolic transaction sketch

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

Computing, Computer Science, Cybersecurity +13

Stochastic Optimization of Program Obfuscation

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

Computing, Computer Engineering, Computer Science +10

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

Engineering, Computer Engineering, Computer Science +17

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, Computer Engineering, Computer Science +17