Weizhong Qian

Publication Activity (10 Years)

Years Active: 2000-2024
Publications (10 Years): 12

Top Topics

Particle Swarm Optimization

Intelligent Data Analysis

Symbolic Model Checking

Formal Verification

Top Venues

Peer Peer Netw. Appl.

Publications

Desheng Zheng, Wuping Ke, Xiaoyu Li, Shibin Zhang, Guangqiang Yin, Weizhong Qian, Yong Zhou, Fan Min, Shan Yang
Channel-augmented joint transformation for transferable adversarial attacks. Appl. Intell. 54 (1) (2024)
Melak Ayenew, Hang Lei, Xiaoyu Li, Weizhong Qian, Eyerusalem Abeje, Wenjia Xiang, Abebe Tegene
Enhancing the performance of permissionless blockchain networks through randomized message-based consensus algorithm. Peer Peer Netw. Appl. 16 (2) (2023)
Qi Wang, Hang Lei, Weizhong Qian
Point CNN:3D Face Recognition with Local Feature Descriptor and Feature Enhancement Mechanism. Sensors 23 (18) (2023)
Liangjun Deng, Hang Lei, Zheng Yang, Weizhong Qian, Xiaoyu Li, Hao Wu, Sihao Deng, Ruchao Sha, Weidong Deng
Formal Verification Platform as a Service: WebAssembly Vulnerability Detection Application. Comput. Syst. Sci. Eng. 45 (2) (2023)
Qinghai Li, Hao Wu, Weizhong Qian, Xiaoyu Li, Qinsheng Zhu, Shan Yang
Portfolio Optimization Based on Quantum HHL Algorithm. ICAIS (2) (2022)
Jiayu Bai, Xiaoyu Li, Shijie Hu, Chenjing Su, Hang Lei, Weizhong Qian, Cong Zhang, Yutra Abel Zenebe
Single Platform Passive Location Algorithm Using Position Information and Azimuth. ICAIS (2) (2022)
Keyu Wang, Weizhong Qian, Xi Yang, Xiaohu Li, Caiqiong Yang, Shuqin Yue, Xiaoyu Li
Intelligent Data Analysis System Based on Edge Computing. ICAIS (2) (2022)
Collins Sey, Hang Lei, Weizhong Qian, Xiaoyu Li, Linda Delali Fiasam, Seth Larweh Kodjiku, Isaac Adjei-Mensah, Isaac Osei Agyemang
VBlock: A Blockchain-Based Tamper-Proofing Data Protection Model for Internet of Vehicle Networks. Sensors 22 (20) (2022)
Yu Peng, Xiaoyu Li, Jingkuan Song, Yu Luo, Shijie Hu, Weizhong Qian
Verification mechanism to obtain an elaborate answer span in machine reading comprehension. Neurocomputing 466 (2021)
Zheng Yang, Hang Lei, Weizhong Qian, Zehui Yan, Weiru Zeng
A Resolution for Scalability Problem of Record Datatype Based Formal Memory Models in Coq. CSAE (2020)
Zheng Yang, Hang Lei, Weizhong Qian
A Hybrid Formal Verification System in Coq for Ensuring the Reliability and Security of Ethereum-Based Service Smart Contracts. IEEE Access 8 (2020)
Cheng Ren, Sheng Wang, Jing Ren, Weizhong Qian, Xiaoning Zhang, Jie Duan
Energy-efficient virtual topology design in IP over WDM mesh networks. Comput. Networks 112 (2017)
Ying Ding, Gobinda G. Chowdhury, Schubert Foo, Weizhong Qian
Bibliometric information retrieval system (BIRS): A web search interface utilizing bibliometric research results. J. Am. Soc. Inf. Sci. 51 (13) (2000)