Yongjian Li

ORCID

Publication Activity (10 Years)

Years Active: 2001-2024
Publications (10 Years): 106

Top Venues

Publications

Yongjian Li, Hongjian Jiang, Yongxin Zhao
A Formally Verified Scheme for Security Protocols with the Operational Semantics of Strand Space. TASE (2024)
Yusheng Wang, Yongjian Li, Shuangshuang Xu
Repositioning to sink: The pricing and quality decisions for product line considering the sinking market. Eur. J. Oper. Res. 317 (2) (2024)
Li Wang, Jing Sheng, Shumin Duan, Shuang Lin, Yongjian Li, Zhe Li, Shuzhen Li, Yifutihaer Sataer, Jun Chen
How Society Anxiety Influences Attention Control in College Students: The Moderated Mediation Effect of Cognitive Flexibility and Resting-state Electroencephalography Activity. J. Cogn. Neurosci. 36 (2) (2024)
Peiyuan Gao, Yongjian Li, Weihua Liu, Chaolun Yuan, Paul Tae Woo Lee, Shangsong Long
Impacts of digital technology innovation for social responsibility of platform enterprises on shareholder value. Ind. Manag. Data Syst. 124 (5) (2024)
Kun Ma, Yongjian Li, Shaowei Cai, Yongxin Zhao
A local search approach to protocol verification. Theor. Comput. Sci. 1008 (2024)
Chunmei Zhang, Xingque Xu, Silin Liu, Yongjian Li, Jiefeng Jiang
Fault Diagnosis and Localization of Transmission Lines Based on R-Net Algorithm Optimized by Feature Pyramid Network. Int. J. Comput. Commun. Control 19 (4) (2024)
Qian Zhang, Yongjian Li, Pengwen Hou, Jun Wang
Price signal or blockchain technology? Quality information disclosure in dual-channel supply chains. Eur. J. Oper. Res. 316 (1) (2024)
Meng Chen, Yongjian Li, Liting Zhang, Lei Liu, Baokun Han, Wenzhuo Shi, Shoushui Wei
Elimination of Random Mixed Noise in ECG Using Convolutional Denoising Autoencoder With Transformer Encoder. IEEE J. Biomed. Health Informatics 28 (4) (2024)
Ting Chen, Yongjian Li, Fangchao Xu
Traceability strategy choice in competing supply chains based on blockchain technology. Int. Trans. Oper. Res. 31 (6) (2024)
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
UniMem: Towards a Unified View of Long-Context Large Language Models. CoRR (2024)
Yiheng Sun, Yongjian Li, Meng Chen, Jiahui Gao, Xiuxin Zhang, Shoushui Wei
IMC-ResNet: Atrial fibrillation detection method based on interlayer multiscale coupling. Biomed. Signal Process. Control. 97 (2024)
Kun Wang, Yongjian Li, Xiaohang Yue, Chunxing Fan
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. 62 (7) (2024)
Meng Chen, Yongjian Li, Xiuxin Zhang, Jiahui Gao, Yiheng Sun, Wenzhuo Shi, Shoushui Wei
Multiscale Convolution and Attention based Denoising Autoencoder for Motion Artifact Removal in ECG Signals. ICIGP (2024)
Ruiying Chen, Floran Martin, Yongjian Li, Shuaichao Yue, Anouar Belahcen
An Energy-Based Anisotropic Vector Hysteresis Model for Rotational Electromagnetic Core Loss. IEEE Trans. Ind. Electron. 71 (6) (2024)
Zhenghai Cai, Yongjian Li, Yongxin Zhao
Murphi2Chisel: A Protocol Compiler from Murphi to Chisel. Internetware (2024)
Yongjian Li, Bohua Zhan, Jun Pang
Mechanizing the CMP Abstraction for Parameterized Verification. Proc. ACM Program. Lang. 8 (OOPSLA1) (2024)
Yongjian Li, Meng Chen, Xinge Jiang, Lei Liu, Baokun Han, Liting Zhang, Shoushui Wei
An atrial fibrillation detection algorithm based on lightweight design architecture and feature fusion strategy. Biomed. Signal Process. Control. 91 (2024)
Shuiye Niu, Yujuan Xi, Yongjian Li
Sustainable supply chain operations driven by 'remanufacturing + product sharing': operation mode selection and decision optimisation. Int. J. Prod. Res. 62 (18) (2024)
Yongjian Li
Book Review: Digital Migration. New Media Soc. 26 (2) (2024)
Lei Liu, Feifei Liu, Xiaofei Ren, Yongjian Li, Baokun Han, Liting Zhang, Shoushui Wei
Predicting spontaneous termination of atrial fibrillation based on dual path network and feature selection. Biomed. Signal Process. Control. 88 (Part B) (2024)
Meng Chen, Yongjian Li, Liting Zhang, Xiuxin Zhang, Jiahui Gao, Yiheng Sun, Wenzhuo Shi, Shoushui Wei
Multitask Learning-Based Quality Assessment and Denoising of Electrocardiogram Signals. IEEE Trans. Instrum. Meas. 73 (2024)
Qinglong Wang, Yongjian Li, Shihao Cui, Na Li, Xinchun Zhang, Wenqiang Jiang, Wen Peng, Jie Sun
Enhanced recognition of insulator defects on power transmission lines via proposal-based detection model with integrated improvement methods. Eng. Appl. Artif. Intell. 136 (2024)
Mufan Xiang, Yongjian Li, Yongxin Zhao
ChiselFV: A Formal Verification Framework for Chisel. DATE (2023)
Yongjian Li
Research on the Portable Comprehensive Diagnosis Device Applied in 20kV Distribution Line Based on Touch Screen Design. AIEE (2023)
Yongjian Li, Meng Chen, Ying Wang, Yesong Liang, Shoushui Wei
Diagnosis of atrial fibrillation based on lightweight detail-semantic network. Biomed. Signal Process. Control. 85 (2023)
Baokun Han, Meng Chen, Yongjian Li, Lei Liu, Shoushui Wei, Xinge Jiang
Multi-path Heart Sound Detection Based on Wavelet Scattering and Attention Mechanism. CISP-BMEI (2023)
Shuaishuai Feng, Xi Wu, Yongxin Zhao, Yongjian Li
Dispatching and Scheduling Dependent Tasks Based on Multi-agent Deep Reinforcement Learning. SEKE (2023)
Dewei Yang, Yongjian Li, Xin Wang, Jie Liu, Xiaobo Zhou
A Novel Data Augmentation Method for Robotic Surgical Instrument Small Part Segmentation in Complex Scenes. MLMI (2023)
Yongjian Li, Liting Zhang, Lin Zhu, Lei Liu, Baokun Han, Yatao Zhang, Shoushui Wei
Diagnosis of atrial fibrillation using self-complementary attentional convolutional neural network. Comput. Methods Programs Biomed. 238 (2023)
Fengyong Peng, Xi Wu, Yongxin Zhao, Yongjian Li
Anaphora Ambiguity Detection Method Based on Cross-domain Pronoun Substitution (S). SEKE (2023)
Zimin Li, Yongjian Li, Kaifan Wang, Kun Ma, Shizhen Yu
Model Checking TileLink Cache Coherence Protocols By Murphi. ICCD (2023)
Lu Liu, Yongjian Li, Tao Jiang
Optimal strategies for financing a three-level supply chain through blockchain platform finance. Int. J. Prod. Res. 61 (11) (2023)
Tsan-Ming Choi, Lipan Feng, Yongjian Li
Ethical fashion supply chain operations: product development and moral hazards. Int. J. Prod. Res. 61 (4) (2023)
Yongjian Li
Book Review: (Im)mobile Homes: Family Life at a Distance in the Age of Mobile Media. New Media Soc. 25 (1) (2023)
Yongjian Li, Huasheng Zhu, Mingzhi He, Shuyin Tang, Zhanxin Sun
A YOLO-CDA X-ray Image Detection Algorithm. ICIGP (2023)
Yongjian Li, Xiaotao Yang, Jinyi Li, Zhenhui Du
Simultaneous Measurement of Multiparameter of Diesel Engine Exhaust Based on Mid-Infrared Laser Absorption Spectroscopy. IEEE Trans. Instrum. Meas. 72 (2023)
Xiwei Li, Xi Wu, Yongxin Zhao, Yongjian Li
Perceptual Risk-Aware Adaptive Responsibility Sensitive Safety for Autonomous Driving. CAiSE (2023)
Yongjian Li, Yan Chen, Gaicong Guo, Huiwen Wu, Zhao Yuan
Integrated routing for a vehicle-robot pickup and delivery system with time constraints. CoRR (2022)
Xueping Zhen, Shuangshuang Xu, Yongjian Li, Dan Shi
When and how should a retailer use third-party platform channels? The Impact of spillover effects. Eur. J. Oper. Res. 301 (2) (2022)
Weiyu Xu, Xi Wu, Yongxin Zhao, Yongjian Li
Formal Verification and Analysis of Time-Sensitive Software-Defined Network Architecture. SEKE (2022)
Ya-Jun Cai, Tsan-Ming Choi, Lipan Feng, Yongjian Li
Producer's choice of design-for-environment under environmental taxation. Eur. J. Oper. Res. 297 (2) (2022)
Yongjian Li, Liting Zhang, Yonglin Wang, Baokun Han, Lei Liu, Shoushui Wei
Study On The Application Of Small CNN In Arrhythmia Classification. CISP-BMEI (2022)
Yifeng Shi, Xiangsheng Feng, Yongjian Li, Hao Li
Pavement Area Water Detection Algorithm Based on Improved DEEPLABV3+. CCRIS (2022)
Mufan Xiang, Yongjian Li, Sijun Tan, Yongxin Zhao, Yiwei Chi
Parameterized Design and Formal Verification of Multi-ported Memory. ICECCS (2022)
Yu Dou, Yongjian Li, Zhiwei Lin, Shuaichao Yue, Jianguo Zhu
An Improved Cross-Yoke SST for Accurate 1-D and 2-D Magnetic Testing of Fe-Si Sheets. IEEE Trans. Instrum. Meas. 71 (2022)
Hongjian Jiang, Yongjian Li, Sijun Tan, Yongxin Zhao
Encoding Induction Proof in Dafny. TASE (2021)
Yan Chen, Tianwei Tang, Yongjian Li, Di Fan
Does interest alignment between hotels and online travel agencies intensify review manipulations? Ind. Manag. Data Syst. 121 (6) (2021)
Jin Lv, Yongxin Zhao, Xi Wu, Yongjian Li, Qiang Wang
Formal Analysis of TSN Scheduler for Real-Time Communications. IEEE Trans. Reliab. 70 (3) (2021)
Dandan Li, Zhenyang Qiao, Yuxiang Wu, Zhongkang Li, Yinmao Song, Yongjian Li
Three-Dimensional Magnetic Hysteresis Modeling Based on Vector Hysteresis Operator. IEEE Access 9 (2021)
Ya Xu, Yuquan Du, Yongjian Li, Heng Zhang
Collaborative emergency berth scheduling based on decentralized decision and price mechanism. Ann. Oper. Res. 298 (1) (2021)
Wenhan Wu, Yongxin Zhao, Chao Peng, Yongjian Li, Qin Li
Analyzing and Recommending Development Order Based on Design Class Diagram. KSEM (2021)
Yongxin Zhao, Hongjian Jiang, Jin Lv, Sijun Tan, Yongjian Li
AnB2Murphi: A Translator for Converting AliceBob Specifications to Murphi. SEKE (2021)
Xiang Li, Xiangtong Qi, Yongjian Li
On sales effort and pricing decisions under alternative risk criteria. Eur. J. Oper. Res. 293 (2) (2021)
Zhihao Liu, Qiang Wang, Yongjian Li, Yongxin Zhao
CMSS: Collaborative Modeling of Safety and Security Requirements for Network Protocols. ISPA/BDCloud/SocialCom/SustainCom (2021)
Xiang Li, Xueqing Cui, Yongjian Li, Daqi Xu, Fangchao Xu
Optimisation of reverse supply chain with used-product collection effort under collector's fairness concerns. Int. J. Prod. Res. 59 (2) (2021)
Baojun Qu, Qingxin Yang, Yongjian Li, Miguel Ángel Sotelo, Shilun Ma, Zhixiong Li
A Novel Surface Inset Permanent Magnet Synchronous Motor for Electric Vehicles. Symmetry 12 (1) (2020)
Yan Mao, Shanwen Yang, Zuning Li, Yongjian Li
Correction to: Personality trait and group emotion contagion based crowd simulation for emergency evacuation. Multim. Tools Appl. 79 (5-6) (2020)
Shuangjia Zheng, Yongjian Li, Sheng Chen, Jun Xu, Yuedong Yang
Predicting drug-protein interaction using quasi-visual question answering system. Nat. Mach. Intell. 2 (2) (2020)
Yongjian Li, Taifeng Cao, David N. Jansen, Jun Pang, Xiaotao Wei
Accelerated Verification of Parametric Protocols with Decision Trees. ICCD (2020)
Qiang He, Yongjian Li, Weifeng Huang, Yang Hu, Decai Li, Yuming Wang
A unified lattice Boltzmann model for immiscible and miscible ternary fluids. Comput. Math. Appl. 80 (12) (2020)
Yongjian Li, Lu Liu, Lipan Feng, Wen Wang, Fangchao Xu
Optimal Financing Models Offered by Manufacturers with Risk Aversion and Market Competition Considerations. Decis. Sci. 51 (6) (2020)
Zhiwei Song, Hongxing Zheng, Mengjun Wang, Erping Li, Yongjian Li
Design of One-Eighth Spherical Dielectric Resonator Antenna for 5G Applications. IEEE Access 8 (2020)
Xiaochen Sun, Yancong Zhou, Yongjian Li, Kannan Govindan, Xiaonan Han
Differentiation competition between new and remanufactured products considering third-party remanufacturing. J. Oper. Res. Soc. 71 (1) (2020)
Shuangjia Zheng, Yongjian Li, Sheng Chen, Jun Xu, Yuedong Yang
Publisher Correction: Predicting drug-protein interaction using quasi-visual question answering system. Nat. Mach. Intell. 2 (9) (2020)
Baocheng Guo, Yunkai Huang, Fei Peng, Jianning Dong, Yongjian Li
Analytical Modeling of Misalignment in Axial Flux Permanent Magnet Machine. IEEE Trans. Ind. Electron. 67 (6) (2020)
Kelei Xue, Yongjian Li, Xueping Zhen, Wen Wang
Managing the supply disruption risk: option contract or order commitment contract? Ann. Oper. Res. 291 (1) (2020)
Shuting Xu, Shuhua Lai, Manying Qiu, Yongjian Li
An Autoencoder Based Insider Attack Detection in Imbalanced Data. AMCIS (2020)
Yan Mao, Shanwen Yang, Zuning Li, Yongjian Li
Personality trait and group emotion contagion based crowd simulation for emergency evacuation. Multim. Tools Appl. 79 (5-6) (2020)
Qiang He, Yongjian Li, Weifeng Huang, Yang Hu, Decai Li, Yuming Wang
Lattice Boltzmann model for dense suspended particles based on improved bounce-back method. Comput. Math. Appl. 80 (3) (2020)
Yongjian Li, Qianzhou Deng, Chi Zhou, Lipan Feng
Environmental governance strategies in a two-echelon supply chain with tax and subsidy interactions. Ann. Oper. Res. 290 (1) (2020)
Meng Xiao, Youpeng Zhang, Yongjian Li, Wenxian Wang
Degradation Modeling Based on Wiener Process Considering Multi-Source Heterogeneity. IEEE Access 8 (2020)
Xiaojun Zhao, Xiaona Liu, Haisen Zhao, Yongjian Li, Yang Liu, Dongwei Yuan
Two-Dimensional Vector Hysteresis Modeling for Soft Magnetic Composite Materials Considering Anisotropic Property. IAS (2020)
Dongbo Liu, Peng Xiao, Yongjian Li
Saving energy consumption for mixed workloads in cloud platforms. Int. J. Comput. Sci. Eng. 20 (3) (2019)
Zhiwei Song, Hongxing Zheng, Mengjun Wang, Yan Li, Tao Song, Erping Li, Yongjian Li
Equilateral Triangular Dielectric Resonator and Metal Patch Hybrid Antenna for UWB Application. IEEE Access 7 (2019)
Yan Mao, Zuning Li, Yongjian Li, Wu He
Emotion-based diversity crowd behavior simulation in public emergency. Vis. Comput. 35 (12) (2019)
Manareldeen Ahmed, Erping Li, Yongjian Li
Electron Transport in Graphene-Versus Al/Pd-Coated Thin Cu Films With Low-Surface Roughness: A First Principles Study. IEEE Access 7 (2019)
Yongjian Li, Jialun Cao, Jun Pang
A Learning-Based Framework for Automatic Parameterized Verification. ICCD (2019)
Lipan Feng, Yongjian Li, Fangchao Xu, Qianzhou Deng
Optimal pricing and trade-in policies in a dual-channel supply chain when considering market segmentation. Int. J. Prod. Res. 57 (9) (2019)
Yongjian Li, Dongbo Liu
An efficient bandwidth reservation policy for data-intensive applications in cloud. Int. J. Netw. Virtual Organisations 21 (4) (2019)
Dongbo Liu, Yongjian Li
A novel QoS negotiation model based on intelligent learning technique in clouds. Int. J. Netw. Virtual Organisations 20 (3) (2019)
Dongbo Liu, Yongjian Li
An adaptive redundant reservation admission in virtual cloud environment. Int. J. Netw. Virtual Organisations 20 (2) (2019)
Yongjian Li, Lipan Feng, Kannan Govindan, Fangchao Xu
Effects of a secondary market on original equipment manufactures' pricing, trade-in remanufacturing, and entry decisions. Eur. J. Oper. Res. 279 (3) (2019)
Yu Bai, Xiaoqiang Guo, Baocheng Wang, Yongjian Li
Fully Digital Grid Synchronization Under Harmonics and Unbalanced Conditions. IEEE Access 7 (2019)
Yongjian Li, Bow-Yaw Wang
Parameterized Hardware Verification Through a Term-Level Generalized Symbolic Trajectory Evaluation. ICFEM (2019)
Yan Mao, Xuemei Du, Yongjian Li, Wu He
An emotion based simulation framework for complex evacuation scenarios. Graph. Model. 102 (2019)
Xiang Li, Dan Shi, Yongjian Li, Xueping Zhen
Impact of Carbon Regulations on the Supply Chain With Carbon Reduction Effort. IEEE Trans. Syst. Man Cybern. Syst. 49 (6) (2019)
Lei Xu, Yongjian Li, Kannan Govindan, Xiaohang Yue
Return policy and supply chain coordination with network-externality effect. Int. J. Prod. Res. 56 (10) (2018)
Jialun Cao, Yongjian Li, Jun Pang
L-CMP: an automatic learning-based parameterized verification tool. ASE (2018)
Yongjian Li, Jialun Cao, Kaiqiang Duan
An Automatic Parameterized Verification of FLASH Cache Coherence Protocol. QRS (2018)
Xiang Li, Yongjian Li
On the loss-averse dual-sourcing problem under supply disruption. Comput. Oper. Res. 100 (2018)
Dongbo Liu, Yongjian Li
A novel virtual machine scheduling policy based on performance prediction model. Int. J. Netw. Virtual Organisations 18 (4) (2018)
Shuting Xu, Shuhua Lai, Yongjian Li
A Deep Learning Based Framework for Cloud Masquerade Attack Detection. IPCCC (2018)
Yongjian Li, Kaiqiang Duan, David N. Jansen, Jun Pang, Lijun Zhang, Yi Lv, Shaowei Cai
An Automatic Proving Approach to Parameterized Verification. ACM Trans. Comput. Log. 19 (4) (2018)
Jing Zhao, Jie Wei, Yongjian Li
Pricing decisions of complementary products in a two-level fuzzy supply chain. Int. J. Prod. Res. 56 (5) (2018)
Tsan-Ming Choi, Kannan Govindan, Xiang Li, Yongjian Li
Innovative supply chain optimization models with multiple uncertainty factors. Ann. Oper. Res. 257 (1-2) (2017)
Changgeng Zhang, Yongjian Li, Jingsong Li, Qingxin Yang, Jianguo Zhu
Measurement of Three-Dimensional Magnetic Properties With Feedback Control and Harmonic Compensation. IEEE Trans. Ind. Electron. 64 (3) (2017)
Yongjian Li, Shuiye Niu, Xiukun Zhao, Wen Wang
Effect of EPR coefficient policy on the production decision in precious metal accessory recycling. Int. J. Prod. Res. 55 (4) (2017)
Wei Hu, Yongjian Li, Wen Wang
Benefit and risk analysis of consignment contracts. Ann. Oper. Res. 257 (1-2) (2017)
Xiang Li, Guohua Sun, Yongjian Li
A multi-period ordering and clearance pricing model considering the competition between new and out-of-season products. Ann. Oper. Res. 242 (2) (2016)
Xiang Li, Yongjian Li
Optimal service contract under cost information symmetry/asymmetry. J. Oper. Res. Soc. 67 (2) (2016)

Yongjian Li.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Yongjian Li