Internal response of vegetation growth to degrees of permafrost degradation in Northeast China from 2001 to 2020. - Yang, Hong; Xing, Yanqiu; Chang, Xiaoqing; Wang, Jiaqi; Li, Yuanxin; Tang, Jie; Wang, Dejun (Geo spatial Inf. Sci., 2025)

A Language-independent Quantitative Analysis Method on Conformance between Legal Contract and Smart Contract. - Zhao, Can; Wang, Yibing; Wang, Dejun; Sun, Guangyan; Meng, Bo (Distributed Ledger Technol. Res. Pract., 2024)

ISTVP: Independent single transaction verification protocol for light node using fraud proofs without collaborator. - Lee, Minghao; Ma, Binhao; Han, Di; Wang, Dejun; Meng, Bo (IET Blockchain, 2024)

A Novel Point Cloud Adaptive Filtering Algorithm for LiDAR SLAM in Forest Environments Based on Guidance Information. - Yang, Shuhang; Xing, Yanqiu; Wang, Dejun; Deng, Hangyu (Remote. Sens., 2024)

A Multilevel Autoadaptive Denoising Algorithm Based on Forested Terrain Slope for ICESat-2 Photon-Counting Data. - Tang, Jie; Xing, Yanqiu; Wang, Jiaqi; Yang, Hong; Wang, Dejun; Li, Yuanxin; Zhang, Aiting (IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens., 2024)

Fault Tolerant Control of 4-Wheel Independent Drive Vehicle Subject to Actuator Faults Based on Feasible Region. - Wang, Dejun; Gu, Tianbiao; Zhang, Kairan (IEEE Trans. Veh. Technol., 2024)

DDR-ECC: Dictionary-Driven Chinese ASR Entity Correction with Controllable Decoding. - Wang, Dejun (2024)

DIHBA: Dynamic, invisible and high attack success rate boundary backdoor attack with low poison ratio. - Ma, Binhao; Zhao, Can; Wang, Dejun; Meng, Bo (Comput. Secur., 2023)

K-Go: An executable formal semantics of Go language in K framework. - Zhao, Can; Liu, Qin; Hu, Zonghua; Yu, Ze; Wang, Dejun; Meng, Bo (IET Blockchain, 2023)

Self-supervised pre-training in photovoltaic systems via supervisory control and data acquisition data. - Wang, Dejun; Duan, Zhenqing; Wang, Wenbin; Chu, Jingchun; Cui, Qingru; Zhu, Runze; Cui, Yahui; Zhang, You; You, Zedong (IET Cyper-Phys. Syst.: Theory & Appl., 2023)

Multidomain active defense: Detecting multidomain backdoor poisoned samples via ALL-to-ALL decoupling training without clean datasets. - Ma, Binhao; Wang, Jiahui; Wang, Dejun; Meng, Bo (Neural Networks, 2023)

Precise and Efficient Pointing Control of a 2.5-m-Wide Field Survey Telescope Using ADRC and Nonlinear Disturbance Observer. - Liu, Yang; Deng, Yongting; Li, Hongwen; Wang, Jianli; Wang, Dejun (Sensors, 2023)

HSDVS-DPoS: A Secure and Heterogeneous DPoS Consensus Protocol Using Heterogeneous Strong Designated Verifier Signature. - Zhao, Can; Wang, Xiaoxiao; Lu, Zhengzhu; Wang, Jiahui; Wang, Dejun; Meng, Bo (2023)

SMHSDVS: A Secure and Mutual Heterogeneous Strong Designated Signature Between PKI and IBC. - Wang, Yibing; Wang, Xiaoxiao; Huang, Chin-Tser; Wang, Dejun; Ma, Binhao; Meng, Bo (2023)

Poison Dart Frog: A Clean-Label Attack with Low Poisoning Rate and High Attack Success Rate in the Absence of Training Data. - Ma, Binhao; Wang, Jiahui; Wang, Dejun; Meng, Bo (CoRR, 2023)

Infrared Small-Target Detection Based on Radiation Characteristics with a Multimodal Feature Fusion Network. - Wu, Di; Cao, Lihua; Zhou, Pengji; Li, Ning; Li, Yi; Wang, Dejun (Remote. Sens., 2022)

Improving the Sensing Properties of Graphene MEMS Pressure Sensor by Low-Temperature Annealing in Atmosphere. - Liu, Daosen; Wei, Shengsheng; Wang, Dejun (Sensors, 2022)

Research on the quality of graduate students in provincial universities based on entropy weight TOPSIS and RSR - take changchun university as an example. - Zhu, Yingjie; Ma, Jiageng; Yang, Xiangqun; Wang, Yiwen; Li, Han; Wang, Dejun (2022)

Predicting Ship Speed in the Inland Waterways with LSTM Network. - Wang, Dejun; Wang, Yanxia; Shi, Huixia; Gan, Shaojun; Liang, Shan (2022)

A N-order Interpolated Variance Estimator Algorithm for Fusion of Inland Waterway Crowd-sourced Bathymetry Data. - Wang, Dejun; Wang, Yanxia; Liang, Shan; Ye, Chengyang (2022)

Intelligent Vessel Scheduling System for the Controlled inland Waterway Based CPS*. - Xie, Hui; Wang, Dejun; Gan, Shaojun; Li, Zechen; Liang, Shan (2022)

Research On Dialogue Management Model Based On A3C Algorithm. - Wang, Dejun; Sun, Beier; Li, Zhihui; Hu, Zonghua; Yuze; Duanwei (2022)

Policy2Graph: A Structure-aware Perspective on Constructing Policy Knowledge Graph for Smart Governance. - Wang, Dejun; Hu, Hebin; Kang, Yilin; Zhang, Yi; Guo, Zhida; Yu, Tenglong (2022)

A Secure and Policy-Controlled Signature Scheme With Strong Expressiveness and Privacy-Preserving Policy. - Zheng, Xurui; Zheng, Fuyong; Liu, Xianming; Wang, Dejun; Wang, Jun; Meng, Bo (IEEE Access, 2021)

Optimization of Li-ion Battery Charge and Discharge Model Based on Genetic Algorithm. - Li, Xiang; Yang, Wen; Wang, Huan; Chang, Xiaopeng; Dang, Rongxin; Wang, Dejun (2021)

Analyzing Security Protocol Web Implementations Based on Model Extraction With Applied PI Calculus. - He, Xudong; Liu, Qin; Chen, Shuang; Huang, Chin-Tser; Wang, Dejun; Meng, Bo (IEEE Access, 2020)

Automatic Verification of Security of Identity Federation Security Protocol Based on SAML2.0 with ProVerif in the Symbolic Model. - Lu, Jintian; He, Xudong; Yang, Yitong; Wang, Dejun; Meng, Bo (Int. J. Netw. Secur., 2020)

Diffeomorphism Transformation Based Disturbance Rejection Control and Its Allocation of Vehicle Dynamic Stable Systems. - Wang, Dejun; Yang, Qianhui; Ge, Pingxin (IEEE Access, 2019)

A Security Analysis Method of Security Protocol Implementation Based on Unpurified Security Protocol Trace and Security Protocol Implementation Ontology. - He, Xudong; Liu, Jiabing; Huang, Chin-Tser; Wang, Dejun; Meng, Bo (IEEE Access, 2019)

A Secure and Efficient Distributed Storage Scheme SAONT-RS Based on an Improved AONT and Erasure Coding. - Yao, Lili; Lu, Jintian; Liu, Jiabing; Wang, Dejun; Meng, Bo (IEEE Access, 2018)

Formal Analysis of SDN Authentication Protocol with Mechanized Protocol Verifier in the Symbolic Model. - Yao, Lili; Liu, Jiabing; Wang, Dejun; Li, Jing; Meng, Bo (Int. J. Netw. Secur., 2018)

Tire Force Distribution Method With the Constraints of Executable Drive Space Consideration. - Wang, Dejun; Qu, Zhuo; Ding, Jiannan (IEEE Trans. Veh. Technol., 2018)

Automatic Generation of Security Protocol Implementations Written in Java from Abstract Specifications Proved in the Computational Model. - Meng, Bo; Huang, Chin-Tser; Yang, Yitong; Niu, Leyuan; Wang, Dejun (Int. J. Netw. Secur., 2017)

A novel background-weighted histogram scheme based on foreground saliency for mean-shift tracking. - Wang, Dejun; Sun, Weiping; Yu, Shengsheng; Li, Lin; Liu, Wei (Multim. Tools Appl., 2016)

A Monolithic CMOS Magnetic Hall Sensor with High Sensitivity and Linearity Characteristics. - Huang, Haiyun; Wang, Dejun; Xu, Yue (Sensors, 2015)

Efficient Mean-Shift Tracking Using an Improved Weighted Histogram Scheme. - Wang, Dejun; Chen, Kai; Sun, Weiping; Yu, Shengsheng; Wang, Hanbing (KSII Trans. Internet Inf. Syst., 2014)

Robust Model-Based Sensor Fault Monitoring System for Nonlinear Systems in Sensor Networks. - Wang, Dejun; Song, Shiyao (Sensors, 2014)

The lateral stability control of vehicles based on sliding mode method. - Xu, Wei; Wang, Dejun; Li, Ying (2014)

Object Tracking with a Novel Method Based on FS-CBWH within Mean-Shift Framework. - Wang, Dejun; Shi, Yongtao; Sun, Weiping; Yu, Shengsheng (2014)

Bayesian Covariance Tracking with Adaptive Feature Selection. - Wang, Dejun; Li, Lin; Liu, Wei; Sun, Weiping; Yu, Shengsheng (2014)

Updating the Finite Element Model of Large-Scaled Structures using Component mode Synthesis Technique. - Liu, Yang; Sun, Hang; Wang, Dejun (Intell. Autom. Soft Comput., 2013)

Improved Clustered Routing Algorithm Based on Distance and Energy in Wireless Sensor Networks. - Wang, Dejun; Meng, Bo; Jin, Shaomin (J. Networks, 2013)

Automatic Verification of Remote Internet Voting Protocol in Symbolic Model. - Meng, Bo; Huang, Wei; Wang, Dejun (J. Networks, 2011)

Vertical Gate RF SOI LIGBT for SPICs with Significantly Improved Latch-Up Immunity. - Zhang, Haipeng; Qi, Ruisheng; Zhang, Liang; Su, Buchun; Wang, Dejun (VLSI Design, 2011)

Research on Heterogeneous Resource Sharing and Dynamic Allocation Strategy in Campus Grid. - Wang, Dejun (2011)

Automatic Verification of Security Properties in Remote Internet Voting Protocol with Applied Pi Calculus. - Meng, Bo; Huang, Wei; Li, Zimao; Wang, Dejun (J. Digit. Content Technol. its Appl., 2010)

Negative ESD robustness of a novel anti-ESD TGFPTD SOI LDMOS. - Zhang, Haipeng; Zhang, Liang; Wang, Dejun; Liu, Guohua; Lin, Mi; Niu, Xiaoyan; Fan, Lingyan (2010)

A Calculus of Consistent Component-based Software Updates - Xu, Xiaohui; Huang, Linpeng; Wang, Dejun; Chen, Jun-Qing (CoRR, 2010)

Transaction of Service Composition in Pervasive Computing and Its Correctness Analysis Based on ASM. - Rao, Ruonan; Wu, Jiankun; Wang, Dejun; Huang, Linpeng (2009)

3-D Reconstruction of Shaded Objects from Multiple Images Under Unknown Illumination. - Jin, Hailin; Cremers, Daniel; Wang, Dejun; Prados, Emmanuel; Yezzi, Anthony J.; Soatto, Stefano (Int. J. Comput. Vis., 2008)

ASM-based model of dynamic service update in OSGi. - Wu, Jiankun; Huang, Linpeng; Wang, Dejun (ACM SIGSOFT Softw. Eng. Notes, 2008)

R-OSGi-based architecture of distributed smart home system. - Wu, Jiankun; Huang, Linpeng; Wang, Dejun; Shen, Fei (IEEE Trans. Consumer Electron., 2008)

Dynamic Software Upgrading for Distributed System Based on R-OSGI. - Wang, Dejun; Huang, Linpeng; Wu, Jiankun; Xu, Xiaohui (2008)

Supporting Dynamic Updates of Componentized Service. - Xu, Xiaohui; Huang, Linpeng; Wang, Dejun (2007)

Research on Modeling of Complicate Traffic Simulation System. - Wu, Jiankun; Huang, Linpeng; Cao, Jian; Li, Minglu; Wang, Dejun; Wang, Mingwen (2007)

Research on Dynamic Updating of Grid Service. - Wu, Jiankun; Huang, Linpeng; Wang, Dejun (2007)

A Workflow-Oriented Scripting Language Based on BPEL4WS. - Wang, Dejun; Huang, Linpeng; Zhang, Qinglei (2006)

Towards Robust and Physically Plausible Shaded Stereoscopic Segmentation. - Wang, Dejun; Soatto, Stefano; Prados, Emmanuel (2006)

Level Set Methods, Distance Function and Image Segmentation. - Wang, Dejun; Zhao, Jiali; Kee, Seok-Cheol; Tang, Zesheng (2004)

A novel heat kernel based Monte Carlo localization algorithm. - Wang, Dejun; Zhao, Jiali; Kee, Seok-Cheol (2004)

Illumination ratio image: synthesizing and recognition with varying illuminations. - Zhao, Jiali; Su, Yong; Wang, Dejun; Luo, Siwei (Pattern Recognit. Lett., 2003)

Level Set Methods and Image Segmentation. - Yu, Hongchuan; Wang, Dejun; Tang, Zesheng (2001)