arrow
Back
H

Haijun Wang

xi'an jiaotong university

14H-index
70Paper Count
893Citation Count
Published Papers 12
Publication Date
Integrated advanced exergy and life cycle assessment of a novel PEMFC-driven tri-generation system for power, heating, and desalination
err2026-04-11
err0
PREAI
errBenan Cai; Ruihang Gao; Yutong Sun; Xunjian Che; Jiameng Tian; Haijun Wang; Weihua Cai
errShare
errSave
Sustainable bioprocess engineering for integrated inland water remediation and waste-to-product conversion
err2026-02-21
err0
PREAI
errLi Jiang; Xiaoxiao Yan; Haijun Wang; Bin He; Xiaojun Yan; Roger Ruan; Pengfei Cheng
errShare
errSave
errShare
errSave
errShare
errSave
Do as You Say: Consistency Detection of Data Practice in Program Code and Privacy Policy in Mini-App
err2024-12-01
err0
errOAAI
errWang, Yin; Fan, Ming; Liu, Junfeng; Tao, Junjie; Jin, Wuxia; Wang, Haijun; Xiong, Qi; Liu, Ting
errShare
errSave
3Erefactor: Effective, Efficient and Executable Refactoring Recommendation for Software Architectural Consistency
err2024-10-01
err0
PREAI
errLiu, Jingwen; Jin, Wuxia; Zhou, Junhui; Feng, Qiong; Fan, Ming; Wang, Haijun; Liu, Ting
errShare
errSave
xFuzz: Machine Learning Guided Cross-Contract Fuzzing
err2024-03-01
err16
errOAAI
errXue, Yinxing; Ye, Jiaming; Zhang, Wei; Sun, Jun; Ma, Lei; Wang, Haijun; Zhao, Jianjun
errShare
errSave
PatchDiscovery: Patch Presence Test for Identifying Binary Vulnerabilities Based on Key Basic Blocks
err2023-12-01
err2
errOAAI
errXu, Xi; Zheng, Qinghua; Yan, Zheng; Fan, Ming; Jia, Ang; Zhou, Zhaohui; Wang, Haijun; Liu, Ting
errShare
errSave
Oracle-Supported Dynamic Exploit Generation for Smart Contracts
err2022-05-01
err18
errOAAI
errWang, Haijun; Liu, Ye; Li, Yi; Lin, Shang-Wei; Artho, Cyrille; Ma, Lei; Liu, Yang
errShare
errSave
Explaining Regressions via Alignment Slicing and Mending
err2021-11-01
err13
errOAAI
errWang, Haijun; Lin, Yun; Yang, Zijiang; Sun, Jun; Liu, Yang; Dong, Jinsong; Zheng, Qinghua; Liu, Ting
errShare
errSave
Key challenges for the establishment of the monitoring, reporting and verification (MRV) system in China's national carbon emissions trading market
err2018-03-29
err39
errOAAI
errTang, Renhu; Guo, Wei; Oudenes, Machtelt; Li, Peng; Wang, Jun; Tang, Jin; Wang, Le; Wang, HaiJun
errShare
errSave
Dependence Guided Symbolic Execution
err2017-03-01
err42
errOAAI
errWang, Haijun; Liu, Ting; Guan, Xiaohong; Shen, Chao; Zheng, Qinghua; Yang, Zijiang
errShare
errSave