Yongjian Li

200 papers A* 3A 3B 5C 23Misc 3Journal 139Unranked 24
YearRankTypeTitle / Venue / Authors
2026 J jnl
A multi-stage cuff-less continuous blood pressure estimation method for overcoming subject specificity.
Inf. Fusion
Yongjian Li, Meng Chen, Mingsen Du, Shoushui Wei
2026 J jnl
Co-opetition strategies of retail platform operations with strategic consumers.
Eur. J. Oper. Res.
Mingsen Chu, Yusheng Wang, Yongjian Li
2026 J jnl
Enhancing Inverse Perspective Mapping for Automatic Vectorized Road Map Generation.
CoRR
Hongji Liu, Linwei Zheng, Yongjian Li, Mingkai Tang, Xiaoyang Yan, Ming Liu, Jun Ma
2026 J jnl
Heterogeneous relationships of subjects and shapelets for semi-supervised multivariate series classification.
Expert Syst. Appl.
Mingsen Du, Yongjian Li, Meng Chen, Shoushui Wei
2026 — conf
OFDM-Based UAV Swarm Cooperative Positioning Design and Optimization.
CNML
Yongjian Li, Lin Bai, Xin Xie, Jiaxing Wang, Rui Han, Guowei Shi
2026 J jnl
Product donation and inventory strategies considering ex ante commitment and prosocial consumers.
Ann. Oper. Res.
Xueqing Cui, Xiang Li, Yongjian Li
2026 J jnl
The Catfish Effect in Quality Information Disclosure Strategies Under Blockchain Traceability.
IEEE Trans. Engineering Management
Lu Liu, Weijie Chen, Yongjian Li, Kun Wang
2026 J jnl
The Interplay Between Strategic Information Sharing and Quality Decision: Pre-quality Versus Post-quality.
IEEE Trans. Engineering Management
Futou Li, Yongjian Li, Wei Wang
2026 J jnl
Unsupervised electrocardiogram signal denoising and quality assessment using spectrum-constrained cycle-consistent generative adversarial network.
Eng. Appl. Artif. Intell.
Meng Chen, Yongjian Li, Mingsen Du, Wenzhuo Shi, Yali Shi, Shoushui Wei
2025 J jnl
A Vector Magnetic Measurement System for Electrical Steel Sheet Under Controlled Temperature and Stress.
IEEE Trans. Instrum. Meas.
Jingming Gao, Shuaichao Yue, Yu Dou, Jiapeng Zhou, Jiatong Yin, Yongjian Li
2025 J jnl
A dual-path interactive denoising autoencoder for removing mixed noise in multi-lead electrocardiogram signals.
Comput. Electr. Eng.
Xiuxin Zhang, Meng Chen, Yongjian Li, Jiahui Gao, Yiheng Sun, Feifei Liu, Shoushui Wei
2025 J jnl
A novel method solves the game of complementarity and redundancy in multimodal signals for reconstructing blood pressure signals.
Digit. Signal Process.
Yongjian Li, Meng Chen, Xinge Jiang, Yuchen Wang, Yixue Li, Shoushui Wei
2025 J jnl
An atrial fibrillation signals analysis algorithm in line with clinical diagnostic criteria.
Signal Process.
Yongjian Li, Meng Chen, Xinliang Qu, Baokun Han, Lei Liu, Shoushui Wei
2025 J jnl
Application Exploration of Multi-Scale Edge Detection and SIFT Feature Fusion in Digital Twin Pattern Recognition for Power Grids.
Int. J. Pattern Recognit. Artif. Intell.
Chunmei Zhang, Xingque Xu, Yongjian Li, Silin Liu, Jianyi Li
2025 J jnl
Continuous Cuff-Less Blood Pressure Estimation Using Lightweight Binary Tree Neural Network.
IEEE Trans. Instrum. Meas.
Yongjian Li, Meng Chen, Chunyuan Wang, Yixue Li, Yuchen Wang, Shoushui Wei
2025 J jnl
DC-Link Capacitance Estimation for Power Converters Using Integrated PCB Rogowski Coils.
IEEE Trans. Instrum. Meas.
Yafei Shi, Zhen Xin, Jianlong Kang, Jianliang Chen, Yongjian Li, Huai Wang
2025 J jnl
Diagnostic-Wise Hybrid Loss for ECG Signals Reconstruction Based on Wavelet Decomposition.
IEEE Trans. Instrum. Meas.
Meng Chen, Yongjian Li, Mingsen Du, Yali Shi, Wenzhuo Shi, Shoushui Wei
2025 J jnl
Efficient transformation of ECG signals from 1-D to 2-D for atrial fibrillation detection using deep learning.
Signal Image Video Process.
Jiahui Gao, Yongjian Li, Meng Chen, Xiuxin Zhang, Yiheng Sun, Xinge Jiang, Shoushui Wei
2025 J jnl
Formal Verification of Parameterized Systems based on Induction.
CoRR
Jiaqi Xiu, Yongjian Li
2025 — conf
Formalizing Blockchain-Based Communication for Tactical Data Link.
ICA3PP (7)
Shangzhe Wu, Yongxin Zhao, Qiang Wang, Qiang Chen, Yongjian Li
2025 J jnl
KARE-RAG: Knowledge-Aware Refinement and Enhancement for RAG.
CoRR
Yongjian Li, HaoCheng Chu, Yukun Yan, Zhenghao Liu, Shi Yu, Zheni Zeng, Ruobing Wang, Sen Song, Zhiyuan Liu, Maosong Sun
2025 C conf
Learning Behavior Trees for Automated Guided Vehicles via Genetic and Reinforcement Methods.
SEKE
Wenzheng Yang, Yongxin Zhao, Qiang Wang, Yongjian Li, Yudan Tian
2025 A* conf
Leveraging Critical Proof Obligations for Efficient IC3 Verification.
DAC
Lingfeng Zhu, Xindi Zhang, Yongjian Li, Shaowei Cai
2025 J jnl
MSCG-Net: A multi-scale cross-guidance neural network with generalizability for physiological signal analysis.
Biomed. Signal Process. Control.
Yongjian Li, Meng Chen, Xinge Jiang, Liting Zhang, Mingsen Du, Chengyu Liu, Shoushui Wei
2025 J jnl
Multivariate Time Series Classification via Heterogeneous Graph Representation.
IEEE Trans. Ind. Informatics
Mingsen Du, Meng Chen, Zheng Liu, Yongjian Li, Cun Ji, Shoushui Wei
2025 J jnl
Optimization Method for DSM Reconstruction of Equivalent Pinhole Model Based on Iterative Resampling and Chunking Process.
IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens.
Yongjian Li, Song Ji, Danchao Gong, Dazhao Fan, Jiaxuan Song, Ding Gao
2025 J jnl
Optimization of pricing and quality choice with the coexistence of secondary market and trade-in program.
Ann. Oper. Res.
Lipan Feng, Yongjian Li, Chunxing Fan
2025 J jnl
Parameterized Hardware Verification Through A Term-level Generalized Symbolic Trajectory Evaluation And Its Linkage With Concrete Hardware Verification At Netlist Level.
Formal Aspects Comput.
Yongjian Li, Zhenghai Cai, Bow-Yaw Wang, Yongxin Zhao
2025 J jnl
Phase Measurement Deflectometry With Concave Mirror-Assisted Clear Imaging.
IEEE Trans. Instrum. Meas.
Ziyu Li, Nan Gao, Zhaozong Meng, Zonghua Zhang, Yongjian Li
2025 A* conf
RECALL: REpresentation-aligned Catastrophic-forgetting ALLeviation via Hierarchical Model Merging.
EMNLP
Bowen Wang, Haiyuan Wan, Liwen Shi, Chen Yang, Peng He, Yue Ma, Haochen Han, Wenhao Li, Tiao Tan, Yongjian Li, Fangming Liu, Yifan Gong, Sheng Zhang
2025 J jnl
RECALL: REpresentation-aligned Catastrophic-forgetting ALLeviation via Hierarchical Model Merging.
CoRR
Bowen Wang, Haiyuan Wan, Liwen Shi, Chen Yang, Peng He, Yue Ma, Haochen Han, Wenhao Li, Tiao Tan, Yongjian Li, Fangming Liu, Yifan Gong, Sheng Zhang
2025 — conf
Risk-Aware Planner for Quadrotor in Cluttered and Dynamic Environments.
CASE
Yongjian Li, Minzhe Zheng, Kai Chen, Hongji Liu, Jinni Zhou, Lujia Wang, Jun Ma
2025 J jnl
Study on Electromagnetic Vibration Characteristics of Anode Saturable Reactor Considering Anisotropic Properties.
IEEE Trans. Instrum. Meas.
Tao Chen, Qingxin Yang, Changgeng Zhang, Yongjian Li, Yu Dou, Shuaichao Yue
2024 — conf
A Dual-path Interactive ECG Denoising Algorithm.
CISP-BMEI
Xiuxin Zhang, Meng Chen, Yongjian Li, Jiahui Gao, Yiheng Sun, Feifei Liu, Shoushui Wei
2024 Misc conf
A Formally Verified Scheme for Security Protocols with the Operational Semantics of Strand Space.
TASE
Yongjian Li, Hongjian Jiang, Yongxin Zhao
2024 J jnl
A local search approach to protocol verification.
Theor. Comput. Sci.
Kun Ma, Yongjian Li, Shaowei Cai, Yongxin Zhao
2024 J jnl
An Automated 3D Crack Severity Assessment Using Surface Data for Improving Flexible Pavement Maintenance Strategies.
IEEE Trans. Intell. Transp. Syst.
Zhe Li, Mehran Eskandari Torbaghan, Tuo Zhang, Xia Qin, Wenda Li, Yongjian Li, Jiupeng Zhang
2024 J jnl
An Energy-Based Anisotropic Vector Hysteresis Model for Rotational Electromagnetic Core Loss.
IEEE Trans. Ind. Electron.
Ruiying Chen, Floran Martin, Yongjian Li, Shuaichao Yue, Anouar Belahcen
2024 J jnl
An atrial fibrillation detection algorithm based on lightweight design architecture and feature fusion strategy.
Biomed. Signal Process. Control.
Yongjian Li, Meng Chen, Xinge Jiang, Lei Liu, Baokun Han, Liting Zhang, Shoushui Wei
2024 J jnl
Book Review: Digital Migration.
New Media Soc.
Yongjian Li
2024 C conf
Detecting Semantic-level Polysemy Ambiguity by Fusing External Semantic Knowledge (S).
SEKE
Huishan Yang, Xi Wu, Fengyong Peng, Yongxin Zhao, Yongjian Li
2024 J jnl
Elimination of Random Mixed Noise in ECG Using Convolutional Denoising Autoencoder With Transformer Encoder.
IEEE J. Biomed. Health Informatics
Meng Chen, Yongjian Li, Liting Zhang, Lei Liu, Baokun Han, Wenzhuo Shi, Shoushui Wei
2024 J jnl
Enhanced recognition of insulator defects on power transmission lines via proposal-based detection model with integrated improvement methods.
Eng. Appl. Artif. Intell.
Qinglong Wang, Yongjian Li, Shihao Cui, Na Li, Xinchun Zhang, Wenqiang Jiang, Wen Peng, Jie Sun
2024 J jnl
Fault Diagnosis and Localization of Transmission Lines Based on R-Net Algorithm Optimized by Feature Pyramid Network.
Int. J. Comput. Commun. Control
Chunmei Zhang, Xingque Xu, Silin Liu, Yongjian Li, Jiefeng Jiang
2024 J jnl
How Society Anxiety Influences Attention Control in College Students: The Moderated Mediation Effect of Cognitive Flexibility and Resting-state Electroencephalography Activity.
J. Cogn. Neurosci.
Li Wang, Jing Sheng, Shumin Duan, Shuang Lin, Yongjian Li, Zhe Li, Shuzhen Li, Yifutihaer Sataer, Jun Chen
2024 J jnl
IMC-ResNet: Atrial fibrillation detection method based on interlayer multiscale coupling.
Biomed. Signal Process. Control.
Yiheng Sun, Yongjian Li, Meng Chen, Jiahui Gao, Xiuxin Zhang, Shoushui Wei
2024 J jnl
Impacts of digital technology innovation for social responsibility of platform enterprises on shareholder value.
Ind. Manag. Data Syst.
Peiyuan Gao, Yongjian Li, Weihua Liu, Chaolun Yuan, Paul Tae Woo Lee, Shangsong Long
2024 J jnl
Leasing, trade-in for new, or the mixed of both: an analysis of new recycling modes driven by industry 4.0 technologies.
Int. J. Prod. Res.
Kun Wang, Yongjian Li, Xiaohang Yue, Chunxing Fan
2024 J jnl
Mechanizing the CMP Abstraction for Parameterized Verification.
Proc. ACM Program. Lang.
Yongjian Li, Bohua Zhan, Jun Pang
2024 — conf
Multiscale Convolution and Attention based Denoising Autoencoder for Motion Artifact Removal in ECG Signals.
ICIGP
Meng Chen, Yongjian Li, Xiuxin Zhang, Jiahui Gao, Yiheng Sun, Wenzhuo Shi, Shoushui Wei
2024 J jnl
Multitask Learning-Based Quality Assessment and Denoising of Electrocardiogram Signals.
IEEE Trans. Instrum. Meas.
Meng Chen, Yongjian Li, Liting Zhang, Xiuxin Zhang, Jiahui Gao, Yiheng Sun, Wenzhuo Shi, Shoushui Wei
2024 — conf
Murphi2Chisel: A Protocol Compiler from Murphi to Chisel.
Internetware
Zhenghai Cai, Yongjian Li, Yongxin Zhao
2024 J jnl
Predicting spontaneous termination of atrial fibrillation based on dual path network and feature selection.
Biomed. Signal Process. Control.
Lei Liu, Feifei Liu, Xiaofei Ren, Yongjian Li, Baokun Han, Liting Zhang, Shoushui Wei
2024 J jnl
Price signal or blockchain technology? Quality information disclosure in dual-channel supply chains.
Eur. J. Oper. Res.
Qian Zhang, Yongjian Li, Pengwen Hou, Jun Wang
2024 J jnl
Repositioning to sink: The pricing and quality decisions for product line considering the sinking market.
Eur. J. Oper. Res.
Yusheng Wang, Yongjian Li, Shuangshuang Xu
2024 — conf
Signal Reconstruction Method Based CNN for Atrial Fibrillation Detection.
CISP-BMEI
Jiahui Gao, Yongjian Li, Meng Chen, Xiuxin Zhang, Yiheng Sun, Xinge Jiang, Shoushui Wei
2024 J jnl
Sustainable supply chain operations driven by 'remanufacturing + product sharing': operation mode selection and decision optimisation.
Int. J. Prod. Res.
Shuiye Niu, Yujuan Xi, Yongjian Li
2024 J jnl
Traceability strategy choice in competing supply chains based on blockchain technology.
Int. Trans. Oper. Res.
Ting Chen, Yongjian Li, Fangchao Xu
2024 J jnl
UniMem: Towards a Unified View of Long-Context Large Language Models.
CoRR
Junjie Fang, Likai Tang, Hongzhe Bi, Yujia Qin, Si Sun, Zhenyu Li, Haolun Li, Yongjian Li, Xin Cong, Yukun Yan, Xiaodong Shi, Sen Song, Yankai Lin, Zhiyuan Liu, Maosong Sun
2023 — conf
A Novel Data Augmentation Method for Robotic Surgical Instrument Small Part Segmentation in Complex Scenes.
MLMI
Dewei Yang, Yongjian Li, Xin Wang, Jie Liu, Xiaobo Zhou
2023 — conf
A YOLO-CDA X-ray Image Detection Algorithm.
ICIGP
Yongjian Li, Huasheng Zhu, Mingzhi He, Shuyin Tang, Zhanxin Sun
2023 C conf
Anaphora Ambiguity Detection Method Based on Cross-domain Pronoun Substitution (S).
SEKE
Fengyong Peng, Xi Wu, Yongxin Zhao, Yongjian Li
2023 J jnl
Book Review: (Im)mobile Homes: Family Life at a Distance in the Age of Mobile Media.
New Media Soc.
Yongjian Li
2023 A conf
ChiselFV: A Formal Verification Framework for Chisel.
DATE
Mufan Xiang, Yongjian Li, Yongxin Zhao
2023 J jnl
Diagnosis of atrial fibrillation based on lightweight detail-semantic network.
Biomed. Signal Process. Control.
Yongjian Li, Meng Chen, Ying Wang, Yesong Liang, Shoushui Wei
2023 J jnl
Diagnosis of atrial fibrillation using self-complementary attentional convolutional neural network.
Comput. Methods Programs Biomed.
Yongjian Li, Liting Zhang, Lin Zhu, Lei Liu, Baokun Han, Yatao Zhang, Shoushui Wei
2023 C conf
Dispatching and Scheduling Dependent Tasks Based on Multi-agent Deep Reinforcement Learning.
SEKE
Shuaishuai Feng, Xi Wu, Yongxin Zhao, Yongjian Li
2023 J jnl
Ethical fashion supply chain operations: product development and moral hazards.
Int. J. Prod. Res.
Tsan-Ming Choi, Lipan Feng, Yongjian Li
2023 C conf
Model Checking TileLink Cache Coherence Protocols By Murphi.
ICCD
Zimin Li, Yongjian Li, Kaifan Wang, Kun Ma, Shizhen Yu
2023 — conf
Multi-path Heart Sound Detection Based on Wavelet Scattering and Attention Mechanism.
CISP-BMEI
Baokun Han, Meng Chen, Yongjian Li, Lei Liu, Shoushui Wei, Xinge Jiang
2023 J jnl
Optimal strategies for financing a three-level supply chain through blockchain platform finance.
Int. J. Prod. Res.
Lu Liu, Yongjian Li, Tao Jiang
2023 A conf
Perceptual Risk-Aware Adaptive Responsibility Sensitive Safety for Autonomous Driving.
CAiSE
Xiwei Li, Xi Wu, Yongxin Zhao, Yongjian Li
2023 — conf
Research on the Portable Comprehensive Diagnosis Device Applied in 20kV Distribution Line Based on Touch Screen Design.
AIEE
Yongjian Li
2023 J jnl
Simultaneous Measurement of Multiparameter of Diesel Engine Exhaust Based on Mid-Infrared Laser Absorption Spectroscopy.
IEEE Trans. Instrum. Meas.
Yongjian Li, Xiaotao Yang, Jinyi Li, Zhenhui Du
2022 J jnl
An Improved Cross-Yoke SST for Accurate 1-D and 2-D Magnetic Testing of Fe-Si Sheets.
IEEE Trans. Instrum. Meas.
Yu Dou, Yongjian Li, Zhiwei Lin, Shuaichao Yue, Jianguo Zhu
2022 C conf
Formal Verification and Analysis of Time-Sensitive Software-Defined Network Architecture.
SEKE
Weiyu Xu, Xi Wu, Yongxin Zhao, Yongjian Li
2022 J jnl
Integrated routing for a vehicle-robot pickup and delivery system with time constraints.
CoRR
Yongjian Li, Yan Chen, Gaicong Guo, Huiwen Wu, Zhao Yuan
2022 B conf
Parameterized Design and Formal Verification of Multi-ported Memory.
ICECCS
Mufan Xiang, Yongjian Li, Sijun Tan, Yongxin Zhao, Yiwei Chi
2022 — conf
Pavement Area Water Detection Algorithm Based on Improved DEEPLABV3+.
CCRIS
Yifeng Shi, Xiangsheng Feng, Yongjian Li, Hao Li
2022 J jnl
Producer's choice of design-for-environment under environmental taxation.
Eur. J. Oper. Res.
Ya-Jun Cai, Tsan-Ming Choi, Lipan Feng, Yongjian Li
2022 — conf
Study On The Application Of Small CNN In Arrhythmia Classification.
CISP-BMEI
Yongjian Li, Liting Zhang, Yonglin Wang, Baokun Han, Lei Liu, Shoushui Wei
2022 J jnl
When and how should a retailer use third-party platform channels? The Impact of spillover effects.
Eur. J. Oper. Res.
Xueping Zhen, Shuangshuang Xu, Yongjian Li, Dan Shi
2021 C conf
AnB2Murphi: A Translator for Converting AliceBob Specifications to Murphi.
SEKE
Yongxin Zhao, Hongjian Jiang, Jin Lv, Sijun Tan, Yongjian Li
2021 C conf
Analyzing and Recommending Development Order Based on Design Class Diagram.
KSEM
Wenhan Wu, Yongxin Zhao, Chao Peng, Yongjian Li, Qin Li
2021 — conf
CMSS: Collaborative Modeling of Safety and Security Requirements for Network Protocols.
ISPA/BDCloud/SocialCom/SustainCom
Zhihao Liu, Qiang Wang, Yongjian Li, Yongxin Zhao
2021 J jnl
Collaborative emergency berth scheduling based on decentralized decision and price mechanism.
Ann. Oper. Res.
Ya Xu, Yuquan Du, Yongjian Li, Heng Zhang
2021 J jnl
Does interest alignment between hotels and online travel agencies intensify review manipulations?
Ind. Manag. Data Syst.
Yan Chen, Tianwei Tang, Yongjian Li, Di Fan
2021 Misc conf
Encoding Induction Proof in Dafny.
TASE
Hongjian Jiang, Yongjian Li, Sijun Tan, Yongxin Zhao
2021 J jnl
Formal Analysis of TSN Scheduler for Real-Time Communications.
IEEE Trans. Reliab.
Jin Lv, Yongxin Zhao, Xi Wu, Yongjian Li, Qiang Wang
2021 J jnl
On sales effort and pricing decisions under alternative risk criteria.
Eur. J. Oper. Res.
Xiang Li, Xiangtong Qi, Yongjian Li
2021 J jnl
Optimisation of reverse supply chain with used-product collection effort under collector's fairness concerns.
Int. J. Prod. Res.
Xiang Li, Xueqing Cui, Yongjian Li, Daqi Xu, Fangchao Xu
2021 J jnl
Three-Dimensional Magnetic Hysteresis Modeling Based on Vector Hysteresis Operator.
IEEE Access
Dandan Li, Zhenyang Qiao, Yuxiang Wu, Zhongkang Li, Yinmao Song, Yongjian Li
2020 J jnl
A Novel Surface Inset Permanent Magnet Synchronous Motor for Electric Vehicles.
Symmetry
Baojun Qu, Qingxin Yang, Yongjian Li, Miguel Ángel Sotelo, Shilun Ma, Zhixiong Li
2020 J jnl
A unified lattice Boltzmann model for immiscible and miscible ternary fluids.
Comput. Math. Appl.
Qiang He, Yongjian Li, Weifeng Huang, Yang Hu, Decai Li, Yuming Wang
2020 C conf
Accelerated Verification of Parametric Protocols with Decision Trees.
ICCD
Yongjian Li, Taifeng Cao, David N. Jansen, Jun Pang, Xiaotao Wei
2020 — conf
An Autoencoder Based Insider Attack Detection in Imbalanced Data.
AMCIS
Shuting Xu, Shuhua Lai, Manying Qiu, Yongjian Li
2020 J jnl
Analytical Modeling of Misalignment in Axial Flux Permanent Magnet Machine.
IEEE Trans. Ind. Electron.
Baocheng Guo, Yunkai Huang, Fei Peng, Jianning Dong, Yongjian Li
2020 J jnl
Correction to: Personality trait and group emotion contagion based crowd simulation for emergency evacuation.
Multim. Tools Appl.
Yan Mao, Shanwen Yang, Zuning Li, Yongjian Li
2020 J jnl
Degradation Modeling Based on Wiener Process Considering Multi-Source Heterogeneity.
IEEE Access
Meng Xiao, Youpeng Zhang, Yongjian Li, Wenxian Wang
2020 J jnl
Design of One-Eighth Spherical Dielectric Resonator Antenna for 5G Applications.
IEEE Access
Zhiwei Song, Hongxing Zheng, Mengjun Wang, Erping Li, Yongjian Li
2020 J jnl
Differentiation competition between new and remanufactured products considering third-party remanufacturing.
J. Oper. Res. Soc.
Xiaochen Sun, Yancong Zhou, Yongjian Li, Kannan Govindan, Xiaonan Han
2020 J jnl
Environmental governance strategies in a two-echelon supply chain with tax and subsidy interactions.
Ann. Oper. Res.
Yongjian Li, Qianzhou Deng, Chi Zhou, Lipan Feng
2020 J jnl
Lattice Boltzmann model for dense suspended particles based on improved bounce-back method.
Comput. Math. Appl.
Qiang He, Yongjian Li, Weifeng Huang, Yang Hu, Decai Li, Yuming Wang
2020 J jnl
Managing the supply disruption risk: option contract or order commitment contract?
Ann. Oper. Res.
Kelei Xue, Yongjian Li, Xueping Zhen, Wen Wang
2020 J jnl
Optimal Financing Models Offered by Manufacturers with Risk Aversion and Market Competition Considerations.
Decis. Sci.
Yongjian Li, Lu Liu, Lipan Feng, Wen Wang, Fangchao Xu
2020 J jnl
Personality trait and group emotion contagion based crowd simulation for emergency evacuation.
Multim. Tools Appl.
Yan Mao, Shanwen Yang, Zuning Li, Yongjian Li
2020 J jnl
Predicting drug-protein interaction using quasi-visual question answering system.
Nat. Mach. Intell.
Shuangjia Zheng, Yongjian Li, Sheng Chen, Jun Xu, Yuedong Yang
2020 J jnl
Publisher Correction: Predicting drug-protein interaction using quasi-visual question answering system.
Nat. Mach. Intell.
Shuangjia Zheng, Yongjian Li, Sheng Chen, Jun Xu, Yuedong Yang
2020 C conf
Two-Dimensional Vector Hysteresis Modeling for Soft Magnetic Composite Materials Considering Anisotropic Property.
IAS
Xiaojun Zhao, Xiaona Liu, Haisen Zhao, Yongjian Li, Yang Liu, Dongwei Yuan
2019 C conf
A Learning-Based Framework for Automatic Parameterized Verification.
ICCD
Yongjian Li, Jialun Cao, Jun Pang
2019 J jnl
A novel QoS negotiation model based on intelligent learning technique in clouds.
Int. J. Netw. Virtual Organisations
Dongbo Liu, Yongjian Li
2019 J jnl
An adaptive redundant reservation admission in virtual cloud environment.
Int. J. Netw. Virtual Organisations
Dongbo Liu, Yongjian Li
2019 J jnl
An efficient bandwidth reservation policy for data-intensive applications in cloud.
Int. J. Netw. Virtual Organisations
Yongjian Li, Dongbo Liu
2019 J jnl
An emotion based simulation framework for complex evacuation scenarios.
Graph. Model.
Yan Mao, Xuemei Du, Yongjian Li, Wu He
2019 J jnl
Effects of a secondary market on original equipment manufactures' pricing, trade-in remanufacturing, and entry decisions.
Eur. J. Oper. Res.
Yongjian Li, Lipan Feng, Kannan Govindan, Fangchao Xu
2019 J jnl
Electron Transport in Graphene-Versus Al/Pd-Coated Thin Cu Films With Low-Surface Roughness: A First Principles Study.
IEEE Access
Manareldeen Ahmed, Erping Li, Yongjian Li
2019 J jnl
Emotion-based diversity crowd behavior simulation in public emergency.
Vis. Comput.
Yan Mao, Zuning Li, Yongjian Li, Wu He
2019 J jnl
Equilateral Triangular Dielectric Resonator and Metal Patch Hybrid Antenna for UWB Application.
IEEE Access
Zhiwei Song, Hongxing Zheng, Mengjun Wang, Yan Li, Tao Song, Erping Li, Yongjian Li
2019 J jnl
Fully Digital Grid Synchronization Under Harmonics and Unbalanced Conditions.
IEEE Access
Yu Bai, Xiaoqiang Guo, Baocheng Wang, Yongjian Li
2019 J jnl
Impact of Carbon Regulations on the Supply Chain With Carbon Reduction Effort.
IEEE Trans. Syst. Man Cybern. Syst.
Xiang Li, Dan Shi, Yongjian Li, Xueping Zhen
2019 J jnl
Optimal pricing and trade-in policies in a dual-channel supply chain when considering market segmentation.
Int. J. Prod. Res.
Lipan Feng, Yongjian Li, Fangchao Xu, Qianzhou Deng
2019 C conf
Parameterized Hardware Verification Through a Term-Level Generalized Symbolic Trajectory Evaluation.
ICFEM
Yongjian Li, Bow-Yaw Wang
2019 J jnl
Saving energy consumption for mixed workloads in cloud platforms.
Int. J. Comput. Sci. Eng.
Dongbo Liu, Peng Xiao, Yongjian Li
2018 C conf
A Deep Learning Based Framework for Cloud Masquerade Attack Detection.
IPCCC
Shuting Xu, Shuhua Lai, Yongjian Li
2018 J jnl
A novel virtual machine scheduling policy based on performance prediction model.
Int. J. Netw. Virtual Organisations
Dongbo Liu, Yongjian Li
2018 C conf
An Automatic Parameterized Verification of FLASH Cache Coherence Protocol.
QRS
Yongjian Li, Jialun Cao, Kaiqiang Duan
2018 J jnl
An Automatic Proving Approach to Parameterized Verification.
ACM Trans. Comput. Log.
Yongjian Li, Kaiqiang Duan, David N. Jansen, Jun Pang, Lijun Zhang, Yi Lv, Shaowei Cai
2018 A* conf
L-CMP: an automatic learning-based parameterized verification tool.
ASE
Jialun Cao, Yongjian Li, Jun Pang
2018 J jnl
On the loss-averse dual-sourcing problem under supply disruption.
Comput. Oper. Res.
Xiang Li, Yongjian Li
2018 J jnl
Pricing decisions of complementary products in a two-level fuzzy supply chain.
Int. J. Prod. Res.
Jing Zhao, Jie Wei, Yongjian Li
2018 J jnl
Return policy and supply chain coordination with network-externality effect.
Int. J. Prod. Res.
Lei Xu, Yongjian Li, Kannan Govindan, Xiaohang Yue
2017 J jnl
Benefit and risk analysis of consignment contracts.
Ann. Oper. Res.
Wei Hu, Yongjian Li, Wen Wang
2017 J jnl
Effect of EPR coefficient policy on the production decision in precious metal accessory recycling.
Int. J. Prod. Res.
Yongjian Li, Shuiye Niu, Xiukun Zhao, Wen Wang
2017 J jnl
Innovative supply chain optimization models with multiple uncertainty factors.
Ann. Oper. Res.
Tsan-Ming Choi, Kannan Govindan, Xiang Li, Yongjian Li
2017 J jnl
Measurement of Three-Dimensional Magnetic Properties With Feedback Control and Harmonic Compensation.
IEEE Trans. Ind. Electron.
Changgeng Zhang, Yongjian Li, Jingsong Li, Qingxin Yang, Jianguo Zhu
2016 J jnl
A multi-period ordering and clearance pricing model considering the competition between new and out-of-season products.
Ann. Oper. Res.
Xiang Li, Guohua Sun, Yongjian Li
2016 C conf
A novel approach to parameterized verification of cache coherence protocols.
ICCD
Yongjian Li, Kaiqiang Duan, Yi Lv, Jun Pang, Shaowei Cai
2016 J jnl
DOX: A new computational protocol for accurate prediction of the protein-ligand binding structures.
J. Comput. Chem.
Li Rao, Bo Chi, Yanliang Ren, Yongjian Li, Xin Xu, Jian Wan
2016 J jnl
Heuristic approach on dynamic lot-sizing model for durable products with end-of-use constraints.
Ann. Oper. Res.
Yongjian Li, Xiaoqiang Cai, Lei Xu, Wenxia Yang
2016 J jnl
On Core Sorting in RMTS and RMTO Systems: A Newsvendor Framework.
Decis. Sci.
Xiang Li, Yongjian Li, Xiaoqiang Cai
2016 J jnl
On lot-sizing problem in a random yield production system under loss aversion.
Ann. Oper. Res.
Xiang Li, Yongjian Li
2016 J jnl
Optimal service contract under cost information symmetry/asymmetry.
J. Oper. Res. Soc.
Xiang Li, Yongjian Li
2016 J jnl
Trade credit insurance, capital constraint, and the behavior of manufacturers and banks.
Ann. Oper. Res.
Yongjian Li, Xueping Zhen, Xiaoqiang Cai
2015 J jnl
"Do the electronic books reinforce the dynamics of book supply chain market?"-A theoretical analysis.
Eur. J. Oper. Res.
Yongjian Li, Zhangxi Lin, Lei Xu, Ajaya Kumar Swain
2015 J jnl
Clarifying and illustrating the electronic energy transfer pathways in trimeric and hexameric aggregation state of cyanobacteria allophycocyanin within the framework of Förster theory.
J. Comput. Chem.
Yanliang Ren, Osama Melhem, Yongjian Li, Bo Chi, Xinya Han, Hao Zhu, Lingling Feng, Jian Wan, Xin Xu
2015 J jnl
Consumer returns policies with endogenous deadline and supply chain coordination.
Eur. J. Oper. Res.
Lei Xu, Yongjian Li, Kannan Govindan, Xiaolin Xu
2015 J jnl
Formalizing provable anonymity in Isabelle/HOL.
Formal Aspects Comput.
Yongjian Li, Jun Pang
2015 J jnl
Great East Japan Earthquake emergency evolution and contingency decision based on system engineering approach.
Int. J. Inf. Technol. Manag.
Yongjian Li, Xunqing Wang, Zhe Li
2015 B conf
ParaVerifier: An Automatic Framework for Proving Parameterized Cache Coherence Protocols.
ATVA
Yongjian Li, Jun Pang, Yi Lv, Dongrui Fan, Shen Cao, Kaiqiang Duan
2015 J jnl
Pricing and collecting decisions in a closed-loop supply chain with symmetric and asymmetric information.
Comput. Oper. Res.
Jie Wei, Kannan Govindan, Yongjian Li, Jing Zhao
2015 J jnl
Remanufacturing and pricing decisions with random yield and random demand.
Comput. Oper. Res.
Xiang Li, Yongjian Li, Xiaoqiang Cai
2014 J jnl
An incentive model for closed-loop supply chain under the EPR law.
J. Oper. Res. Soc.
Xiang Li, Yongjian Li, Kannan Govindan
2014 J jnl
Combining Symmetry Reduction with Generalized Symbolic Trajectory Evaluation.
Comput. J.
Yongjian Li, Naiju Zeng, William N. N. Hung, Xiaoyu Song
2014 J jnl
Optimal Advance-Selling Strategy for Fashionable Products With Opportunistic Consumers Returns.
IEEE Trans. Syst. Man Cybern. Syst.
Yongjian Li, Lei Xu, Tsan-Ming Choi, Kannan Govindan
2014 J jnl
Optimal acquisition and production policy in a hybrid manufacturing/remanufacturing system with core acquisition at different quality levels.
Eur. J. Oper. Res.
Xiaoqiang Cai, Minghui Lai, Xiang Li, Yongjian Li, Xianyi Wu
2014 J jnl
The impact of consumer returns policies on consignment contracts with inventory control.
Eur. J. Oper. Res.
Wei Hu, Yongjian Li, Kannan Govindan
2013 J jnl
A Hybrid Manufacturing/Remanufacturing System With Random Remanufacturing Yield and Market-Driven Product Acquisition.
IEEE Trans. Engineering Management
Xiang Li, Yongjian Li, Soroush Saghafian
2013 — conf
A Strand Space Approach to Provable Anonymity.
FTSCS
Yongjian Li, Jun Pang
2013 J jnl
An inductive approach to strand spaces.
Formal Aspects Comput.
Yongjian Li, Jun Pang
2013 J jnl
Double marginalization and coordination in the supply chain with uncertain supply.
Eur. J. Oper. Res.
Xiang Li, Yongjian Li, Xiaoqiang Cai
2013 J jnl
Pricing decisions for complementary products with firms' different market powers.
Eur. J. Oper. Res.
Jie Wei, Jing Zhao, Yongjian Li
2013 J jnl
Understanding the electronic energy transfer pathways in the trimeric and hexameric aggregation state of cyanobacteria phycocyanin within the framework of förster theory.
J. Comput. Chem.
Yanliang Ren, Bo Chi, Osama Melhem, Ke Wei, Lingling Feng, Yongjian Li, Xinya Han, Ding Li, Ying Zhang, Jian Wan, Xin Xu, Minghui Yang
2012 C conf
On the Formal Modeling of Inductive Verification for Cryptographical Protocols.
PDCAT
Yongjian Li, Xiaoyu Song, Xiaojuan Li
2012 J jnl
Pricing Decisions for a Closed-Loop Supply Chain in a Fuzzy Environment.
Asia Pac. J. Oper. Res.
Jie Wei, Jing Zhao, Yongjian Li
2012 J jnl
Retail service for mixed retail and E-tail channels.
Ann. Oper. Res.
Wei Hu, Yongjian Li
2012 J jnl
Structure-Based Design and Screen of Novel Inhibitors for Class II 3-Hydroxy-3-methylglutaryl Coenzyme A Reductase from Streptococcus Pneumoniae.
J. Chem. Inf. Model.
Ding Li, Jie Gui, Yongjian Li, Lingling Feng, Xinya Han, Yao Sun, Tinglin Sun, Zhigang Chen, Yi Cao, Yang Zhang, Li Zhou, Xiaopeng Hu, Yanliang Ren, Jian Wan
2011 J jnl
A novel formalization of symbolic trajectory evaluation semantics in Isabelle/HOL.
Theor. Comput. Sci.
Yongjian Li, William N. N. Hung, Xiaoyu Song
2011 B conf
An Inductive Approach to Provable Anonymity.
ARES
Yongjian Li, Jun Pang
2011 — conf
Combining Theorem Proving and Symbolic Trajectory Evaluation in THM&STE.
Haifa Verification Conference
Yongjian Li, Naiju Zeng, William N. N. Hung, Xiaoyu Song
2011 C conf
Enhanced symbolic simulation of a round-robin arbiter.
ICCD
Yongjian Li, Naiju Zeng, William N. N. Hung, Xiaoyu Song
2011 J jnl
Exploring structural symmetry automatically in symbolic trajectory evaluation.
Formal Methods Syst. Des.
Yongjian Li, William N. N. Hung, Xiaoyu Song, Naiju Zeng
2011 J jnl
On a multi-period supply chain system with supplementary order opportunity.
Eur. J. Oper. Res.
Xiang Li, Yongjian Li, Xiaoqiang Cai
2010 J jnl
Exploiting Distributed Cognition to Make Tacit Knowledge Explicating.
J. Softw. Eng. Appl.
Mingrui He, Yongjian Li
2010 J jnl
Extending the Strand Space Method with Timestamps: Part I the Theory.
J. Information Security
Yongjian Li, Jun Pang
2010 J jnl
Extending the Strand Space Method with Timestamps: Part II Application to Kerberos V.
J. Information Security
Yongjian Li, Jun Pang
2010 J jnl
Optimal Solution Structure for Multi-Period Production Planning with Returned Products remanufacturing.
Asia Pac. J. Oper. Res.
Yongjian Li, Ji-Hong Zhang, Jian Chen, Xiaoqiang Cai
2010 J jnl
Optimal manpower Planning Decision with Single Employee Type Considering Minimal Employment Period Constraint.
Asia Pac. J. Oper. Res.
Yongjian Li, Jian Chen, Xiaoqiang Cai, Fengsheng Tu
2009 C conf
A new decentralized approach for the lot sizing problem of durable products with demand substitution.
INDIN
Yongjian Li, Xiaoqiang Cai
2008 J jnl
Design of a CIL Connector to Spin.
Int. J. Softw. Eng. Knowl. Eng.
Yongjian Li, Rui Xue
2008 — conf
Study on Production Process Control of Virtual Organization in Small and Medium-Sized Enterprises Based on Manufacturing Resource Workload.
CSSE (6)
Guofu Li, Wenming Xia, Feifan Ye, Yongjian Li
2008 — conf
The Confirmatory Research on Representative Method of Knowledge Work Process.
ITNG
Jinkun Li, Bo Wang, Yongjian Li, Hao Fu
2007 J jnl
An integrated staff-sizing approach considering feasibility of scheduling decision.
Ann. Oper. Res.
Yongjian Li, Jian Chen, Xiaoqiang Cai
2007 C conf
Extending the Strand Space Method to Verify Kerberos V.
PDCAT
Yongjian Li, Jun Pang
2007 Misc conf
Mechanized proofs for the parameter abstraction and guard strengthening principle in parameterized verification of cache coherence protocols.
SAC
Yongjian Li
2007 — conf
Problems, Challenges, and Suggestions for Reverse Logistics of Publishing Industry in China.
AMCIS
Cansheng Wei, Yongjian Li
2007 J jnl
Theoretical study of the vertical excited states of benzene, pyrimidine, and pyrazine by the symmetry adapted cluster - Configuration interaction method.
J. Comput. Chem.
Yongjian Li, Jian Wan, Xin Xu
2006 C conf
Generalized Unsolicited Tests for Authentication Protocol Analysis.
PDCAT
Yongjian Li, Jun Pang
2006 — conf
Maximizing Dual Function by Genetic Algorithm - A New Approach for Optimal Manpower Planning.
ICIC (2)
Xiaoqiang Cai, Yongjian Li, Fengsheng Tu
2006 J jnl
Uncapacitated production planning with multiple product types, returned product remanufacturing, and demand substitution.
OR Spectr.
Yongjian Li, Jian Chen, Xiaoqiang Cai
2005 C conf
Optimal Manpower Planning with Temporal Labor and Contract Period Constraints.
AAIM
Yongjian Li, Jian Chen, Xiaoqiang Cai, Fengsheng Tu
2005 C conf
The Inductive Approach to Strand Space.
FORTE
Yongjian Li
2004 — conf
Contextual Labelled Semantics for Higher-order Process Calculi.
FGUC
Yongjian Li
2004 B conf
Design of a CIL Connector to SPIN.
COMPSAC
Yongjian Li, Rui Xue
2004 J jnl
Optimization of tandem queue systems with finite buffers.
Comput. Oper. Res.
Yongjian Li, Xiaoqiang Cai, Fengsheng Tu, Xiuli Shao
2004 J jnl
Towards a Theory of Bisimulation for the Higher-Order Process Calculi.
J. Comput. Sci. Technol.
Yongjian Li, Xinxin Liu
2004 — conf
Using SPIN to Model Cryptographic Protocols.
ITCC (2)
Yongjian Li, Rui Xue
2003 — conf
Study on real-time discrete event systems by using controlled temporal timed-Petri-nets.
CDC
Changyou Liu, Yongjian Li
2003 A conf
Towards a Theory of Bisimulation for a Fragment of Verilog.
IPDPS
Yongjian Li, Jifeng He
2002 B conf
Bisimulation for Higher-Order Pi-calculus.
APLAS
Xinxin Liu, Yongjian Li
2001 C conf
Performance analysis for partially observed communication networks.
ACC
Yongjian Li, Fengsheng Tu