Weijun Zhu

According to our database, Weijun Zhu authored at least 63 papers between 2004 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Model Checking Logical Actions in Magic Tricks.

Weijun Zhu

CoRR, 2024

2023

Getting more third-party participants on board: Optimal pricing and investment decisions in competitive platform ecosystems.

Weijun Zhu, Jiaping Xie, Yu Xia, Lihong Wei, Ling Liang

Eur. J. Oper. Res., May, 2023

Pricing of platform service supply chain with dual credit: Can you have the cake and eat it?

Lihong Wei, Jiaping Xie, Weijun Zhu, Qinglin Li

Ann. Oper. Res., February, 2023

Approximate Automatic Verification and Formal Language Processing.

Weijun Zhu, Yang Liu

Proceedings of the ACM Turing Award Celebration Conference - China 2023, 2023

Auxiliary Diagnosing Coronary Stenosis based on Machine Learning.

Weijun Zhu, Yang Liu

Proceedings of the ACM Turing Award Celebration Conference - China 2023, 2023

2022

TCP/IP Model for Metaverse Networks and Some Potential Applications.

Xinyue Liang, Mengyao Chen, Weijun Zhu, Yiran Wang, Zhen Luo, Mengmeng Xu, Jian Wang

J. Softw., 2022

Service outsourcing contract design under asymmetric information.

Yu Xia, Jiqing Xie, Guangsi Zhang, Weijun Zhu

Ind. Manag. Data Syst., 2022

CTL model checking based on binary classification of machine learning.

Weijun Zhu, Huanmei Wu

Int. Arab J. Inf. Technol., 2022

Research on fault type diagnosis method of transmission line based on multi-source information fusion of operation inspection and control platform.

Ting Li, Xiaojun Zhang, Hua Pan, Weijun Zhu, Jian Le

Proceedings of the 7th International Conference on Cyber Security and Information Engineering, 2022

2021

Comparison of Multi-Year Reanalysis, Models, and Satellite Remote Sensing Products for Agricultural Drought Monitoring over South Asian Countries.

Muhammad Shahzaman, Weijun Zhu, Irfan Ullah, Farhan Mustafa, Muhammad Bilal, Shazia Ishfaq, Shazia Nisar, Muhammad Arshad, Rashid Iqbal, Rana Waqar Aslam

Remote. Sens., 2021

Remote Sensing Indices for Spatial Monitoring of Agricultural Drought in South Asian Countries.

Muhammad Shahzaman, Weijun Zhu, Muhammad Bilal, Birhanu Asmerom Habtemicheal, Farhan Mustafa, Muhammad Arshad, Irfan Ullah, Shazia Ishfaq, Rashid Iqbal

Remote. Sens., 2021

2020

An approach for auxiliary diagnosing and screening coronary disease based on machine learning.

Weijun Zhu, En Li

CoRR, 2020

Predicting the results of molecular specific hybridization using boosted tree algorithm.

Weijun Zhu, Yingjie Han, Huanmei Wu, Yang Liu, Xiaofei Nan, Qinglei Zhou

Concurr. Comput. Pract. Exp., 2020

Experimental Study on Measurement Accuracy and Response Characteristics of PFECT.

Fan Ouyang, Linjun Zeng, Hao Xu, Weijun Zhu, Liqiang Xu, Wenwu Liang

Proceedings of the ICITEE2020: The 3rd International Conference on Information Technologies and Electrical Engineering, 2020

2019

Thermal-Aware Modeling and Analysis for a Power Distribution Network Including Through-Silicon-Vias in 3-D ICs.

Weijun Zhu, Gang Dong, Yintang Yang

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2019

Performing CTL model checking via DNA computing.

Weijun Zhu, Yingjie Han, Qinglei Zhou

Soft Comput., 2019

Variability of the Great Whirl and Its Impacts on Atmospheric Processes.

Sen Wang, Weijun Zhu, Jing Ma, Jinlin Ji, Jingsong Yang, Changming Dong

Remote. Sens., 2019

有向图k顶点导出子图的DNA粘贴算法 (DNA Sticker Algorithm for k-vertex Induced Sub-graphs of Directed Graphs).

Weijun Zhu, Chunyan Zhang, Qinglei Zhou, Yonghua Chen

计算机科学, 2019

一种基于梯度提升回归树的系外行星宜居性预测方法 (Habitability Prediction of Exoplanets Based on GBRT Algorithm).

Weijun Zhu, Xin Wang, Yinghui Zhong, Yongwen Fan, Yonghua Chen

计算机科学, 2019

基于DNA计算的计算树逻辑模型检测方法研究进展 (Survey on DNA-computing Based Methods of Computation Tree Logic Model Checking).

Yingjie Han, Qinglei Zhou, Weijun Zhu

计算机科学, 2019

基于拟态防御的管理信息系统 (Management Information System Based on Mimic Defense).

Xiaolin Chang, Yongwen Fan, Weijun Zhu, Yang Liu

计算机科学, 2019

The optimization of pricing strategy for the wind power equipment aftermarket service.

Lingcheng Kong, Ling Liang, Jianhong Xu, Weisi Zhang, Weijun Zhu

Ind. Manag. Data Syst., 2019

Predicting the results of RNA molecular specific hybridization using machine learning.

Weijun Zhu, Xiaokai Liu, Mingliang Xu, Huanmei Wu

IEEE CAA J. Autom. Sinica, 2019

Experimental Study on CTL model checking using Machine Learning.

Weijun Zhu

CoRR, 2019

Predicting the Results of LTL Model Checking using Multiple Machine Learning Algorithms.

Weijun Zhu, Mingliang Xu

CoRR, 2019

Detecting air-gapped attacks using machine learning.

Weijun Zhu, Joel J. P. C. Rodrigues, Jianwei Niu, Qinglei Zhou, Yafei Li, Mingliang Xu, Bohu Huang

Cogn. Syst. Res., 2019

Mimic automata: A novel formal model for mimic computing.

Weijun Zhu, Joel J. P. C. Rodrigues, Jianwei Niu, Mingliang Xu, Qinglei Zhou

Cogn. Syst. Res., 2019

LTL Model Checking Based on Binary Classification of Machine Learning.

Weijun Zhu, Huanmei Wu, Miaolei Deng

IEEE Access, 2019

Benchmark Tests for the Model-Checking-Based IDS Algorithms.

Miaolei Deng, Heling Cao, Weijun Zhu, Huanmei Wu, Yangyue Zhou

IEEE Access, 2019

2018

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.

Xiaojing Shen, Muhammad Bilal, Zhongfeng Qiu, Deyong Sun, Shengqiang Wang, Weijun Zhu

Remote. Sens., 2018

基于时序逻辑的3种网络攻击建模 (Modeling for Three Kinds of Network Attacks Based on Temporal Logic).

Kai Nie, Qinglei Zhou, Weijun Zhu, Chaoyang Zhang

计算机科学, 2018

Improved visible light communication positioning algorithm based on image sensor tilting at room corners.

Minglei Fu, Weijun Zhu, Zichun Le, Dmytro Manko

IET Commun., 2018

An intrusion detection algorithm for wireless networks based on ASDL.

Weijun Zhu, Miaolei Deng, Qinglei Zhou

IEEE CAA J. Autom. Sinica, 2018

On the model-checking-based IDS.

Weijun Zhu

CoRR, 2018

Approximate LTL model checking.

Weijun Zhu, ShaoHuan Ban, Yongwen Fan

CoRR, 2018

Analyzing DNA Hybridization via machine learning.

Weijun Zhu

CoRR, 2018

Some Issues on the Theory of the Mimic-Computing-Oriented Automata.

Weijun Zhu

CoRR, 2018

How to find a GSMem malicious activity via an AI approach.

Weijun Zhu, ShaoHuan Ban, Yongwen Fan

CoRR, 2018

The Algorithms of Weightening Based on DNA Sticker Model.

Chunyan Zhang, Weijun Zhu, Qinglei Zhou

Proceedings of the Data Science, 2018

2017

Weighted average indoor positioning algorithm that uses LEDs and image sensors.

Minglei Fu, Weijun Zhu, Zichun Le, Dmytro Manko, Ivan V. Gorbov, Ievgen Beliak

Photonic Netw. Commun., 2017

Universal closed-form expression based on magnetic flux density for the inductance of Tapered Through-Silicon Vias (T-TSVs).

Zheng Mei, Gang Dong, Yintang Yang, Junping Zheng, Jingrui Chai, Weijun Zhu

Microelectron. J., 2017

Aiming to Detect a malware of GSM frequency.

Weijun Zhu, Kai Nie

CoRR, 2017

A novel type of Automata for dynamic, heterogeneous and random architectures.

Weijun Zhu

CoRR, 2017

The detection of Udpstorm attacks based on model checking linear temporal logic.

Miaolei Deng, Kai Nie, Weijun Zhu, Chunyan Zhang

Autom. Control. Comput. Sci., 2017

Model Checking for Computation Tree Logic with Past Based on DNA Computing.

Yingjie Han, Qinglei Zhou, Linfeng Jiao, Kai Nie, Chunyan Zhang, Weijun Zhu

Proceedings of the Bio-inspired Computing: Theories and Applications, 2017

2016

New coaxial through silicon via (TSV) applied for three dimensional integrated circuits (3D ICs).

Yintang Yang, Junping Zheng, Gang Dong, Yingbo Zhao, Zheng Mei, Weijun Zhu

IEICE Electron. Express, 2016

Universal closed-form expressions for the inductance of tapered through silicon vias (T-TSVs) based on vector magnetic potential.

Zheng Mei, Gang Dong, Yintang Yang, Junping Zheng, Yingbo Zhao, Weijun Zhu

IEICE Electron. Express, 2016

Molecular Model Checking a Temporal Logic.

Weijun Zhu

CoRR, 2016

Model Checking Computational Tree Logic Using Sticker Automata.

Weijun Zhu, Yanfeng Wang, Qinglei Zhou, Kai Nie

Proceedings of the Bio-inspired Computing - Theories and Applications, 2016

2012

Plog: Its algorithms and applications.

Weijun Zhu

PhD thesis, 2012

2011

Performance of a Concurrent Link SDMA MAC Under Practical PHY Operating Conditions.

Pengkai Zhao, Babak Daneshrad, Ajit Warrier, Weijun Zhu, Oscar Y. Takeshita

IEEE Trans. Veh. Technol., 2011

Phase noise suppression in MIMO OFDM systems with incoherent phase noise.

Babak Daneshrad, Weijun Zhu

Proceedings of the MILCOM 2011, 2011

MIMO performance evaluation for airborne wireless communication systems.

Jesse Chen, Babak Daneshrad, Weijun Zhu

Proceedings of the MILCOM 2011, 2011

2010

Field Trial Results of a 4X4 MIMO-OFDM Real Time Testbed.

Omar A. Nasr, Oscar Y. Takeshita, Weijun Zhu, Babak Daneshrad

Proceedings of IEEE International Conference on Communications, 2010

2008

A Practical, Hardware Friendly MMSE Detector for MIMO-OFDM-Based Systems.

Hun-Seok Kim, Weijun Zhu, Jatin Bhatia, Karim Mohammed, Anish Shah, Babak Daneshrad

EURASIP J. Adv. Signal Process., 2008

2007

An efficient FPGA based MIMO-MMSE detector.

Hun-Seok Kim, Weijun Zhu, Jatin Bhatia, Karim Mohammed, Anish Shah, Babak Daneshrad

Proceedings of the 15th European Signal Processing Conference, 2007

A real time 4×4 MIMO-OFDM SDR for wireless networking research.

Jesse Chen, Weijun Zhu, Babak Daneshrad, Jatin Bhatia, Hun-Seok Kim, Karim Mohammed, Sandeep Sasi, Anish Shah

Proceedings of the 15th European Signal Processing Conference, 2007

2006

A real time MIMO OFDM testbed for cognitive radio & networking research.

Weijun Zhu, Babak Daneshrad, Jatin Bhatia, Jesse Chen, Hun-Seok Kim, Karim Mohammed, Omar A. Nasr, Sandeep Sasi, Anish Shah, Minko Tsai

Proceedings of the First ACM Workshop on Wireless Network Testbeds, 2006

Combining Logical and Probabilistic Reasoning.

Michael Gelfond, J. Nelson Rushton, Weijun Zhu

Proceedings of the Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering, 2006

2005

An Open Access Wideband Multi-Antenna Wireless Testbed with Remote Control Capability.

Weijun Zhu, David W. Browne, Michael P. Fitz

Proceedings of the 1st International Conference on Testbeds & Research Infrastructures for the DEvelopment of NeTworks & COMmunities (TRIDENTCOM 2005), 2005

Antenna array geometry and coding performance.

Weijun Zhu, Heechoon Lee, Daniel N. Liu, Michael P. Fitz

Proceedings of the 2005 IEEE International Symposium on Information Theory, 2005

Peak power reduction using a unitary rotation in multiple transmit antennas.

Heechoon Lee, Daniel N. Liu, Weijun Zhu, Michael P. Fitz

Proceedings of IEEE International Conference on Communications, 2005

2004

Multi-antenna testbeds for research and education in wireless communications.

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

IEEE Commun. Mag., 2004