Weijun Zhu

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 49

Top Topics

Benchmark Tests

Machine Learning

Top Venues

计算机科学

IEICE Electron. Express

Publications

Weijun Zhu
Model Checking Logical Actions in Magic Tricks. CoRR (2024)
Weijun Zhu, Yang Liu
Approximate Automatic Verification and Formal Language Processing. ACM TUR-C (2023)
Weijun Zhu, Jiaping Xie, Yu Xia, Lihong Wei, Ling Liang
Getting more third-party participants on board: Optimal pricing and investment decisions in competitive platform ecosystems. Eur. J. Oper. Res. 307 (1) (2023)
Weijun Zhu, Yang Liu
Auxiliary Diagnosing Coronary Stenosis based on Machine Learning. ACM TUR-C (2023)
Lihong Wei, Jiaping Xie, Weijun Zhu, Qinglin Li
Pricing of platform service supply chain with dual credit: Can you have the cake and eat it? Ann. Oper. Res. 321 (1) (2023)
Yu Xia, Jiqing Xie, Guangsi Zhang, Weijun Zhu
Service outsourcing contract design under asymmetric information. Ind. Manag. Data Syst. 122 (1) (2022)
Weijun Zhu, Huanmei Wu
CTL model checking based on binary classification of machine learning. Int. Arab J. Inf. Technol. 19 (2) (2022)
Ting Li, Xiaojun Zhang, Hua Pan, Weijun Zhu, Jian Le
Research on fault type diagnosis method of transmission line based on multi-source information fusion of operation inspection and control platform. ICCSIE (2022)
Xinyue Liang, Mengyao Chen, Weijun Zhu, Yiran Wang, Zhen Luo, Mengmeng Xu, Jian Wang
TCP/IP Model for Metaverse Networks and Some Potential Applications. J. Softw. 17 (4) (2022)
Muhammad Shahzaman, Weijun Zhu, Irfan Ullah, Farhan Mustafa, Muhammad Bilal, Shazia Ishfaq, Shazia Nisar, Muhammad Arshad, Rashid Iqbal, Rana Waqar Aslam
Comparison of Multi-Year Reanalysis, Models, and Satellite Remote Sensing Products for Agricultural Drought Monitoring over South Asian Countries. Remote. Sens. 13 (16) (2021)
Muhammad Shahzaman, Weijun Zhu, Muhammad Bilal, Birhanu Asmerom Habtemicheal, Farhan Mustafa, Muhammad Arshad, Irfan Ullah, Shazia Ishfaq, Rashid Iqbal
Remote Sensing Indices for Spatial Monitoring of Agricultural Drought in South Asian Countries. Remote. Sens. 13 (11) (2021)
Weijun Zhu, En Li
An approach for auxiliary diagnosing and screening coronary disease based on machine learning. CoRR (2020)
Fan Ouyang, Linjun Zeng, Hao Xu, Weijun Zhu, Liqiang Xu, Wenwu Liang
Experimental Study on Measurement Accuracy and Response Characteristics of PFECT. ICITEE (2020)
Weijun Zhu, Yingjie Han, Huanmei Wu, Yang Liu, Xiaofei Nan, Qinglei Zhou
Predicting the results of molecular specific hybridization using boosted tree algorithm. Concurr. Comput. Pract. Exp. 32 (1) (2020)
Weijun Zhu, Xiaokai Liu, Mingliang Xu, Huanmei Wu
Predicting the results of RNA molecular specific hybridization using machine learning. IEEE CAA J. Autom. Sinica 6 (6) (2019)
Weijun Zhu, Chunyan Zhang, Qinglei Zhou, Yonghua Chen
有向图k顶点导出子图的DNA粘贴算法 (DNA Sticker Algorithm for k-vertex Induced Sub-graphs of Directed Graphs). 计算机科学 46 (1) (2019)
Weijun Zhu, Joel J. P. C. Rodrigues, Jianwei Niu, Mingliang Xu, Qinglei Zhou
Mimic automata: A novel formal model for mimic computing. Cogn. Syst. Res. 57 (2019)
Weijun Zhu, Huanmei Wu, Miaolei Deng
LTL Model Checking Based on Binary Classification of Machine Learning. IEEE Access 7 (2019)
Weijun Zhu
Experimental Study on CTL model checking using Machine Learning. CoRR (2019)
Xiaolin Chang, Yongwen Fan, Weijun Zhu, Yang Liu
基于拟态防御的管理信息系统 (Management Information System Based on Mimic Defense). 计算机科学 46 (11A) (2019)
Yingjie Han, Qinglei Zhou, Weijun Zhu
基于DNA计算的计算树逻辑模型检测方法研究进展 (Survey on DNA-computing Based Methods of Computation Tree Logic Model Checking). 计算机科学 46 (11) (2019)
Weijun Zhu, Joel J. P. C. Rodrigues, Jianwei Niu, Qinglei Zhou, Yafei Li, Mingliang Xu, Bohu Huang
Detecting air-gapped attacks using machine learning. Cogn. Syst. Res. 57 (2019)
Miaolei Deng, Heling Cao, Weijun Zhu, Huanmei Wu, Yangyue Zhou
Benchmark Tests for the Model-Checking-Based IDS Algorithms. IEEE Access 7 (2019)
Weijun Zhu, Xin Wang, Yinghui Zhong, Yongwen Fan, Yonghua Chen
一种基于梯度提升回归树的系外行星宜居性预测方法 (Habitability Prediction of Exoplanets Based on GBRT Algorithm). 计算机科学 46 (6A) (2019)
Weijun Zhu, Gang Dong, Yintang Yang
Thermal-Aware Modeling and Analysis for a Power Distribution Network Including Through-Silicon-Vias in 3-D ICs. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 38 (7) (2019)
Lingcheng Kong, Ling Liang, Jianhong Xu, Weisi Zhang, Weijun Zhu
The optimization of pricing strategy for the wind power equipment aftermarket service. Ind. Manag. Data Syst. 119 (3) (2019)
Sen Wang, Weijun Zhu, Jing Ma, Jinlin Ji, Jingsong Yang, Changming Dong
Variability of the Great Whirl and Its Impacts on Atmospheric Processes. Remote. Sens. 11 (3) (2019)
Weijun Zhu, Mingliang Xu
Predicting the Results of LTL Model Checking using Multiple Machine Learning Algorithms. CoRR (2019)
Weijun Zhu, Yingjie Han, Qinglei Zhou
Performing CTL model checking via DNA computing. Soft Comput. 23 (12) (2019)
Chunyan Zhang, Weijun Zhu, Qinglei Zhou
The Algorithms of Weightening Based on DNA Sticker Model. ICPCSEE (2) (2018)
Weijun Zhu
On the model-checking-based IDS. CoRR (2018)
Weijun Zhu, Miaolei Deng, Qinglei Zhou
An intrusion detection algorithm for wireless networks based on ASDL. IEEE CAA J. Autom. Sinica 5 (1) (2018)
Weijun Zhu, ShaoHuan Ban, Yongwen Fan
How to find a GSMem malicious activity via an AI approach. CoRR (2018)
Minglei Fu, Weijun Zhu, Zichun Le, Dmytro Manko
Improved visible light communication positioning algorithm based on image sensor tilting at room corners. IET Commun. 12 (10) (2018)
Weijun Zhu
Analyzing DNA Hybridization via machine learning. CoRR (2018)
Xiaojing Shen, Muhammad Bilal, Zhongfeng Qiu, Deyong Sun, Shengqiang Wang, Weijun Zhu
Validation of MODIS C6 Dark Target Aerosol Products at 3 km and 10 km Spatial Resolutions Over the China Seas and the Eastern Indian Ocean. Remote. Sens. 10 (4) (2018)
Weijun Zhu, ShaoHuan Ban, Yongwen Fan
Approximate LTL model checking. CoRR (2018)
Kai Nie, Qinglei Zhou, Weijun Zhu, Chaoyang Zhang
基于时序逻辑的3种网络攻击建模 (Modeling for Three Kinds of Network Attacks Based on Temporal Logic). 计算机科学 45 (2) (2018)
Weijun Zhu
Some Issues on the Theory of the Mimic-Computing-Oriented Automata. CoRR (2018)
Miaolei Deng, Kai Nie, Weijun Zhu, Chunyan Zhang
The detection of Udpstorm attacks based on model checking linear temporal logic. Autom. Control. Comput. Sci. 51 (3) (2017)
Zheng Mei, Gang Dong, Yintang Yang, Junping Zheng, Jingrui Chai, Weijun Zhu
Universal closed-form expression based on magnetic flux density for the inductance of Tapered Through-Silicon Vias (T-TSVs). Microelectron. J. 63 (2017)
Yingjie Han, Qinglei Zhou, Linfeng Jiao, Kai Nie, Chunyan Zhang, Weijun Zhu
Model Checking for Computation Tree Logic with Past Based on DNA Computing. BIC-TA (2017)
Minglei Fu, Weijun Zhu, Zichun Le, Dmytro Manko, Ivan V. Gorbov, Ievgen Beliak
Weighted average indoor positioning algorithm that uses LEDs and image sensors. Photonic Netw. Commun. 34 (2) (2017)
Weijun Zhu, Kai Nie
Aiming to Detect a malware of GSM frequency. CoRR (2017)
Weijun Zhu
A novel type of Automata for dynamic, heterogeneous and random architectures. CoRR (2017)
Weijun Zhu
Molecular Model Checking a Temporal Logic. CoRR (2016)
Yintang Yang, Junping Zheng, Gang Dong, Yingbo Zhao, Zheng Mei, Weijun Zhu
New coaxial through silicon via (TSV) applied for three dimensional integrated circuits (3D ICs). IEICE Electron. Express 13 (8) (2016)
Weijun Zhu, Yanfeng Wang, Qinglei Zhou, Kai Nie
Model Checking Computational Tree Logic Using Sticker Automata. BIC-TA (1) (2016)
Zheng Mei, Gang Dong, Yintang Yang, Junping Zheng, Yingbo Zhao, Weijun Zhu
Universal closed-form expressions for the inductance of tapered through silicon vias (T-TSVs) based on vector magnetic potential. IEICE Electron. Express 13 (18) (2016)
Pengkai Zhao, Babak Daneshrad, Ajit Warrier, Weijun Zhu, Oscar Y. Takeshita
Performance of a Concurrent Link SDMA MAC Under Practical PHY Operating Conditions. IEEE Trans. Veh. Technol. 60 (3) (2011)
Babak Daneshrad, Weijun Zhu
Phase noise suppression in MIMO OFDM systems with incoherent phase noise. MILCOM (2011)
Jesse Chen, Babak Daneshrad, Weijun Zhu
MIMO performance evaluation for airborne wireless communication systems. MILCOM (2011)
Omar A. Nasr, Oscar Y. Takeshita, Weijun Zhu, Babak Daneshrad
Field Trial Results of a 4X4 MIMO-OFDM Real Time Testbed. ICC (2010)
Hun-Seok Kim, Weijun Zhu, Jatin Bhatia, Karim Mohammed, Anish Shah, Babak Daneshrad
A Practical, Hardware Friendly MMSE Detector for MIMO-OFDM-Based Systems. EURASIP J. Adv. Signal Process. 2008 (2008)
Hun-Seok Kim, Weijun Zhu, Jatin Bhatia, Karim Mohammed, Anish Shah, Babak Daneshrad
An efficient FPGA based MIMO-MMSE detector. EUSIPCO (2007)
Jesse Chen, Weijun Zhu, Babak Daneshrad, Jatin Bhatia, Hun-Seok Kim, Karim Mohammed, Sandeep Sasi, Anish Shah
A real time 4×4 MIMO-OFDM SDR for wireless networking research. EUSIPCO (2007)
Michael Gelfond, J. Nelson Rushton, Weijun Zhu
Combining Logical and Probabilistic Reasoning. AAAI Spring Symposium: Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering (2006)
Weijun Zhu, Babak Daneshrad, Jatin Bhatia, Jesse Chen, Hun-Seok Kim, Karim Mohammed, Omar A. Nasr, Sandeep Sasi, Anish Shah, Minko Tsai
A real time MIMO OFDM testbed for cognitive radio & networking research. WINTECH (2006)
Weijun Zhu, Heechoon Lee, Daniel N. Liu, Michael P. Fitz
Antenna array geometry and coding performance CoRR (2005)
Weijun Zhu, Heechoon Lee, Daniel N. Liu, Michael P. Fitz
Antenna array geometry and coding performance. ISIT (2005)
Heechoon Lee, Daniel N. Liu, Weijun Zhu, Michael P. Fitz
Peak power reduction using a unitary rotation in multiple transmit antennas. ICC (2005)
Weijun Zhu, David W. Browne, Michael P. Fitz
An Open Access Wideband Multi-Antenna Wireless Testbed with Remote Control Capability. TRIDENTCOM (2005)
Raghu Mysore Rao, Weijun Zhu, Stephan Lang, Christian Oberli, David W. Browne, Jatin Bhatia, Jean-François Frigon, Jingming Wang, Parul Gupta, Heechoon Lee, Daniel N. Liu, ShingWa G. Wong, Mike Fitz, Babak Daneshrad, Oscar Y. Takeshita
Multi-antenna testbeds for research and education in wireless communications. IEEE Commun. Mag. 42 (12) (2004)