![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Yongjian Li
This is just a disambiguation page, and is not intended to be the bibliography of an actual person. Any publication listed on this page has not been assigned to an actual author yet. If you know the true author of one of the publications listed below, you are welcome to contact us.
Person information
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j107]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): 105606 (2024) - [j106]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: 106016 (2024) - [j105]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): 126-137 (2024) - [j104]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): 578-591 (2024) - [j103]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) - [j102]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): 2350-2369 (2024) - [j101]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): 6573-6597 (2024) - [j100]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): 1940-1970 (2024) - [j99]Ting Chen
, Yongjian Li
, Fangchao Xu:
Traceability strategy choice in competing supply chains based on blockchain technology. Int. Trans. Oper. Res. 31(6): 3873-3904 (2024) - [j98]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): 327-339 (2024) - [j97]Yongjian Li
:
Book Review: Digital Migration. New Media Soc. 26(2): 1157-1160 (2024) - [j96]Yongjian Li
, Bohua Zhan
, Jun Pang:
Mechanizing the CMP Abstraction for Parameterized Verification. Proc. ACM Program. Lang. 8(OOPSLA1): 1324-1350 (2024) - [j95]Kun Ma, Yongjian Li, Shaowei Cai, Yongxin Zhao:
A local search approach to protocol verification. Theor. Comput. Sci. 1008: 114675 (2024) - [j94]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): 6084-6094 (2024) - [j93]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: 1-13 (2024) - [j92]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): 1993-2004 (2024) - [c52]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: 442-448 - [c51]Zhenghai Cai
, Yongjian Li
, Yongxin Zhao
:
Murphi2Chisel: A Protocol Compiler from Murphi to Chisel. Internetware 2024 - [c50]Yongjian Li, Hongjian Jiang, Yongxin Zhao:
A Formally Verified Scheme for Security Protocols with the Operational Semantics of Strand Space. TASE 2024: 306-323 - [d1]Yongjian Li:
Lightweight Blood Pressure Estimation Algorithm. IEEE DataPort, 2024 - [i2]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 abs/2402.03009 (2024) - 2023
- [j91]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: 105025 (2023) - [j90]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: 107565 (2023) - [j89]Tsan-Ming Choi
, Lipan Feng, Yongjian Li:
Ethical fashion supply chain operations: product development and moral hazards. Int. J. Prod. Res. 61(4): 1058-1075 (2023) - [j88]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): 3564-3581 (2023) - [j87]Yongjian Li
:
Book Review: (Im)mobile Homes: Family Life at a Distance in the Age of Mobile Media. New Media Soc. 25(1): 252-254 (2023) - [j86]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: 1-8 (2023) - [c49]Yongjian Li:
Research on the Portable Comprehensive Diagnosis Device Applied in 20kV Distribution Line Based on Touch Screen Design. AIEE 2023: 46-49 - [c48]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: 1-7 - [c47]Xiwei Li, Xi Wu, Yongxin Zhao, Yongjian Li:
Perceptual Risk-Aware Adaptive Responsibility Sensitive Safety for Autonomous Driving. CAiSE 2023: 33-49 - [c46]Mufan Xiang, Yongjian Li, Yongxin Zhao:
ChiselFV: A Formal Verification Framework for Chisel. DATE 2023: 1-6 - [c45]Zimin Li, Yongjian Li, Kaifan Wang, Kun Ma, Shizhen Yu:
Model Checking TileLink Cache Coherence Protocols By Murphi. ICCD 2023: 30-37 - [c44]Yongjian Li
, Huasheng Zhu
, Mingzhi He
, Shuyin Tang
, Zhanxin Sun
:
A YOLO-CDA X-ray Image Detection Algorithm. ICIGP 2023: 168-174 - [c43]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: 151-156 - [c42]Shuaishuai Feng, Xi Wu, Yongxin Zhao, Yongjian Li:
Dispatching and Scheduling Dependent Tasks Based on Multi-agent Deep Reinforcement Learning. SEKE 2023: 280-285 - [c41]Fengyong Peng, Xi Wu, Yongxin Zhao, Yongjian Li:
Anaphora Ambiguity Detection Method Based on Cross-domain Pronoun Substitution (S). SEKE 2023: 646-649 - 2022
- [j85]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): 532-544 (2022) - [j84]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): 624-637 (2022) - [j83]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: 1-10 (2022) - [c40]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: 1-6 - [c39]Yifeng Shi, Xiangsheng Feng, Yongjian Li, Hao Li:
Pavement Area Water Detection Algorithm Based on Improved DEEPLABV3+. CCRIS 2022: 93-97 - [c38]Mufan Xiang, Yongjian Li, Sijun Tan, Yongxin Zhao, Yiwei Chi:
Parameterized Design and Formal Verification of Multi-ported Memory. ICECCS 2022: 33-41 - [c37]Weiyu Xu, Xi Wu, Yongxin Zhao, Yongjian Li:
Formal Verification and Analysis of Time-Sensitive Software-Defined Network Architecture. SEKE 2022: 369-375 - [i1]Yongjian Li, Yan Chen, Gaicong Guo, Huiwen Wu, Zhao Yuan:
Integrated routing for a vehicle-robot pickup and delivery system with time constraints. CoRR abs/2202.04550 (2022) - 2021
- [j82]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: 144624-144633 (2021) - [j81]Ya Xu
, Yuquan Du
, Yongjian Li
, Heng Zhang:
Collaborative emergency berth scheduling based on decentralized decision and price mechanism. Ann. Oper. Res. 298(1): 525-554 (2021) - [j80]Xiang Li, Xiangtong Qi, Yongjian Li
:
On sales effort and pricing decisions under alternative risk criteria. Eur. J. Oper. Res. 293(2): 603-614 (2021) - [j79]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): 652-663 (2021) - [j78]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): 1435-1456 (2021) - [j77]Jin Lv
, Yongxin Zhao, Xi Wu, Yongjian Li, Qiang Wang
:
Formal Analysis of TSN Scheduler for Real-Time Communications. IEEE Trans. Reliab. 70(3): 1286-1294 (2021) - [c36]Zhihao Liu, Qiang Wang, Yongjian Li, Yongxin Zhao:
CMSS: Collaborative Modeling of Safety and Security Requirements for Network Protocols. ISPA/BDCloud/SocialCom/SustainCom 2021: 185-192 - [c35]Wenhan Wu, Yongxin Zhao, Chao Peng, Yongjian Li, Qin Li:
Analyzing and Recommending Development Order Based on Design Class Diagram. KSEM 2021: 524-537 - [c34]Yongxin Zhao, Hongjian Jiang, Jin Lv, Sijun Tan, Yongjian Li:
AnB2Murphi: A Translator for Converting AliceBob Specifications to Murphi. SEKE 2021: 108-113 - [c33]Hongjian Jiang, Yongjian Li, Sijun Tan, Yongxin Zhao:
Encoding Induction Proof in Dafny. TASE 2021: 95-102 - 2020
- [j76]Zhiwei Song
, Hongxing Zheng
, Mengjun Wang
, Erping Li
, Yongjian Li
:
Design of One-Eighth Spherical Dielectric Resonator Antenna for 5G Applications. IEEE Access 8: 9480-9487 (2020) - [j75]Meng Xiao
, Youpeng Zhang, Yongjian Li
, Wenxian Wang:
Degradation Modeling Based on Wiener Process Considering Multi-Source Heterogeneity. IEEE Access 8: 160982-160994 (2020) - [j74]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): 439-462 (2020) - [j73]Kelei Xue
, Yongjian Li
, Xueping Zhen
, Wen Wang:
Managing the supply disruption risk: option contract or order commitment contract? Ann. Oper. Res. 291(1): 985-1026 (2020) - [j72]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): 552-567 (2020) - [j71]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): 2830-2859 (2020) - [j70]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): 1411-1454 (2020) - [j69]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): 161-180 (2020) - [j68]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): 3077-3104 (2020) - [j67]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): 3105-3106 (2020) - [j66]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): 134-140 (2020) - [j65]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): 551 (2020) - [j64]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): 179 (2020) - [j63]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): 4433-4443 (2020) - [c32]Shuting Xu, Shuhua Lai, Manying Qiu, Yongjian Li:
An Autoencoder Based Insider Attack Detection in Imbalanced Data. AMCIS 2020 - [c31]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: 1-6 - [c30]Yongjian Li, Taifeng Cao, David N. Jansen
, Jun Pang, Xiaotao Wei:
Accelerated Verification of Parametric Protocols with Decision Trees. ICCD 2020: 397-404
2010 – 2019
- 2019
- [j62]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: 84858-84865 (2019) - [j61]Yu Bai, Xiaoqiang Guo
, Baocheng Wang, Yongjian Li:
Fully Digital Grid Synchronization Under Harmonics and Unbalanced Conditions. IEEE Access 7: 109969-109981 (2019) - [j60]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: 119060-119068 (2019) - [j59]Yan Mao, Xuemei Du, Yongjian Li, Wu He:
An emotion based simulation framework for complex evacuation scenarios. Graph. Model. 102: 1-9 (2019) - [j58]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): 751-766 (2019) - [j57]Dongbo Liu, Peng Xiao, Yongjian Li:
Saving energy consumption for mixed workloads in cloud platforms. Int. J. Comput. Sci. Eng. 20(3): 376-386 (2019) - [j56]Dongbo Liu, Yongjian Li:
An adaptive redundant reservation admission in virtual cloud environment. Int. J. Netw. Virtual Organisations 20(2): 168-183 (2019) - [j55]Dongbo Liu, Yongjian Li:
A novel QoS negotiation model based on intelligent learning technique in clouds. Int. J. Netw. Virtual Organisations 20(3): 265-283 (2019) - [j54]Yongjian Li, Dongbo Liu:
An efficient bandwidth reservation policy for data-intensive applications in cloud. Int. J. Netw. Virtual Organisations 21(4): 438-454 (2019) - [j53]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): 2828-2846 (2019) - [j52]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): 1218-1227 (2019) - [j51]Yan Mao, Zuning Li, Yongjian Li, Wu He:
Emotion-based diversity crowd behavior simulation in public emergency. Vis. Comput. 35(12): 1725-1739 (2019) - [c29]Yongjian Li, Jialun Cao, Jun Pang:
A Learning-Based Framework for Automatic Parameterized Verification. ICCD 2019: 450-459 - [c28]Yongjian Li, Bow-Yaw Wang:
Parameterized Hardware Verification Through a Term-Level Generalized Symbolic Trajectory Evaluation. ICFEM 2019: 403-419 - 2018
- [j50]Xiang Li, Yongjian Li:
On the loss-averse dual-sourcing problem under supply disruption. Comput. Oper. Res. 100: 301-313 (2018) - [j49]Dongbo Liu, Yongjian Li:
A novel virtual machine scheduling policy based on performance prediction model. Int. J. Netw. Virtual Organisations 18(4): 279-293 (2018) - [j48]Jing Zhao, Jie Wei, Yongjian Li:
Pricing decisions of complementary products in a two-level fuzzy supply chain. Int. J. Prod. Res. 56(5): 1882-1903 (2018) - [j47]Lei Xu
, Yongjian Li, Kannan Govindan
, Xiaohang Yue:
Return policy and supply chain coordination with network-externality effect. Int. J. Prod. Res. 56(10): 3714-3732 (2018) - [j46]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): 27:1-27:25 (2018) - [c27]Shuting Xu, Shuhua Lai, Yongjian Li:
A Deep Learning Based Framework for Cloud Masquerade Attack Detection. IPCCC 2018: 1-2 - [c26]Jialun Cao, Yongjian Li, Jun Pang:
L-CMP: an automatic learning-based parameterized verification tool. ASE 2018: 892-895 - [c25]Yongjian Li, Jialun Cao, Kaiqiang Duan:
An Automatic Parameterized Verification of FLASH Cache Coherence Protocol. QRS 2018: 47-58 - 2017
- [j45]Tsan-Ming Choi
, Kannan Govindan
, Xiang Li, Yongjian Li:
Innovative supply chain optimization models with multiple uncertainty factors. Ann. Oper. Res. 257(1-2): 1-14 (2017) - [j44]Wei Hu, Yongjian Li, Wen Wang:
Benefit and risk analysis of consignment contracts. Ann. Oper. Res. 257(1-2): 641-659 (2017) - [j43]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): 1129-1146 (2017) - [j42]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): 2476-2485 (2017) - 2016
- [j41]Yongjian Li, Xueping Zhen
, Xiaoqiang Cai:
Trade credit insurance, capital constraint, and the behavior of manufacturers and banks. Ann. Oper. Res. 240(2): 395-414 (2016) - [j40]Xiang Li, Yongjian Li:
On lot-sizing problem in a random yield production system under loss aversion. Ann. Oper. Res. 240(2): 415-434 (2016) - [j39]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): 207-221 (2016) - [j38]Yongjian Li, Xiaoqiang Cai, Lei Xu
, Wenxia Yang:
Heuristic approach on dynamic lot-sizing model for durable products with end-of-use constraints. Ann. Oper. Res. 242(2): 265-283 (2016) - [j37]Xiang Li, Yongjian Li, Xiaoqiang Cai:
On Core Sorting in RMTS and RMTO Systems: A Newsvendor Framework. Decis. Sci. 47(1): 60-93 (2016) - [j36]Li Rao, Bo Chi, Yanliang Ren, Yongjian Li, Xin Xu, Jian Wan:
DOX: A new computational protocol for accurate prediction of the protein-ligand binding structures. J. Comput. Chem. 37(3): 336-344 (2016) - [j35]Xiang Li, Yongjian Li:
Optimal service contract under cost information symmetry/asymmetry. J. Oper. Res. Soc. 67(2): 269-279 (2016) - [c24]Yongjian Li, Kaiqiang Duan, Yi Lv, Jun Pang, Shaowei Cai:
A novel approach to parameterized verification of cache coherence protocols. ICCD 2016: 560-567 - 2015
- [j34]Xiang Li, Yongjian Li, Xiaoqiang Cai:
Remanufacturing and pricing decisions with random yield and random demand. Comput. Oper. Res. 54: 195-203 (2015) - [j33]Jie Wei, Kannan Govindan
, Yongjian Li, Jing Zhao:
Pricing and collecting decisions in a closed-loop supply chain with symmetric and asymmetric information. Comput. Oper. Res. 54: 257-265 (2015) - [j32]Lei Xu
, Yongjian Li, Kannan Govindan
, Xiaolin Xu:
Consumer returns policies with endogenous deadline and supply chain coordination. Eur. J. Oper. Res. 242(1): 88-99 (2015) - [j31]Yongjian Li, Zhangxi Lin, Lei Xu
, Ajaya Kumar Swain:
"Do the electronic books reinforce the dynamics of book supply chain market?"-A theoretical analysis. Eur. J. Oper. Res. 245(2): 591-601 (2015) - [j30]Yongjian Li, Jun Pang:
Formalizing provable anonymity in Isabelle/HOL. Formal Aspects Comput. 27(2): 255-282 (2015) - [j29]Yongjian Li, Xunqing Wang, Zhe Li:
Great East Japan Earthquake emergency evolution and contingency decision based on system engineering approach. Int. J. Inf. Technol. Manag. 14(2/3): 146-159 (2015) - [j28]Yanliang Ren, Osama Melhem, Yongjian Li, Bo Chi, Xinya Han
, Hao Zhu, Lingling Feng, Jian Wan, Xin Xu:
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. 36(3): 137-145 (2015) - [c23]Yongjian Li, Jun Pang, Yi Lv, Dongrui Fan
, Shen Cao, Kaiqiang Duan:
ParaVerifier: An Automatic Framework for Proving Parameterized Cache Coherence Protocols. ATVA 2015: 207-213 - 2014
- [j27]Yongjian Li, Naiju Zeng, William N. N. Hung, Xiaoyu Song:
Combining Symmetry Reduction with Generalized Symbolic Trajectory Evaluation. Comput. J. 57(1): 115-128 (2014) - [j26]Xiaoqiang Cai, Minghui Lai, Xiang Li, Yongjian Li, Xianyi Wu
:
Optimal acquisition and production policy in a hybrid manufacturing/remanufacturing system with core acquisition at different quality levels. Eur. J. Oper. Res. 233(2): 374-382 (2014) - [j25]Wei Hu, Yongjian Li, Kannan Govindan
:
The impact of consumer returns policies on consignment contracts with inventory control. Eur. J. Oper. Res. 233(2): 398-407 (2014) - [j24]Xiang Li, Yongjian Li, Kannan Govindan
:
An incentive model for closed-loop supply chain under the EPR law. J. Oper. Res. Soc. 65(1): 88-96 (2014) - [j23]Yongjian Li, Lei Xu
, Tsan-Ming Choi
, Kannan Govindan
:
Optimal Advance-Selling Strategy for Fashionable Products With Opportunistic Consumers Returns. IEEE Trans. Syst. Man Cybern. Syst. 44(7): 938-952 (2014) - 2013
- [j22]Jie Wei, Jing Zhao, Yongjian Li:
Pricing decisions for complementary products with firms' different market powers. Eur. J. Oper. Res. 224(3): 507-519 (2013) - [j21]Xiang Li, Yongjian Li, Xiaoqiang Cai:
Double marginalization and coordination in the supply chain with uncertain supply. Eur. J. Oper. Res. 226(2): 228-236 (2013) - [j20]Yongjian Li, Jun Pang:
An inductive approach to strand spaces. Formal Aspects Comput. 25(4): 465-501 (2013) - [j19]Yanliang Ren, Bo Chi, Osama Melhem, Ke Wei, Lingling Feng, Yongjian Li, Xinya Han
, Ding Li
, Ying Zhang, Jian Wan, Xin Xu, Minghui Yang:
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. 34(12): 1005-1012 (2013) - [j18]Xiang Li, Yongjian Li, Soroush Saghafian
:
A Hybrid Manufacturing/Remanufacturing System With Random Remanufacturing Yield and Market-Driven Product Acquisition. IEEE Trans. Engineering Management 60(2): 424-437 (2013) - [c22]Yongjian Li, Jun Pang:
A Strand Space Approach to Provable Anonymity. FTSCS 2013: 71-87 - 2012
- [j17]Wei Hu, Yongjian Li:
Retail service for mixed retail and E-tail channels. Ann. Oper. Res. 192(1): 151-171 (2012) - [j16]Jie Wei, Jing Zhao, Yongjian Li:
Pricing Decisions for a Closed-Loop Supply Chain in a Fuzzy Environment. Asia Pac. J. Oper. Res. 29(1) (2012) - [j15]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:
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. 52(7): 1833-1841 (2012) - [c21]Yongjian Li, Xiaoyu Song, Xiaojuan Li:
On the Formal Modeling of Inductive Verification for Cryptographical Protocols. PDCAT 2012: 201-206 - 2011
- [j14]Xiang Li, Yongjian Li, Xiaoqiang Cai:
On a multi-period supply chain system with supplementary order opportunity. Eur. J. Oper. Res. 209(3): 273-284 (2011) - [j13]Yongjian Li, William N. N. Hung, Xiaoyu Song, Naiju Zeng:
Exploring structural symmetry automatically in symbolic trajectory evaluation. Formal Methods Syst. Des. 39(2): 117-143 (2011) - [j12]Yongjian Li, William N. N. Hung, Xiaoyu Song:
A novel formalization of symbolic trajectory evaluation semantics in Isabelle/HOL. Theor. Comput. Sci. 412(25): 2746-2765 (2011) - [c20]Yongjian Li, Jun Pang:
An Inductive Approach to Provable Anonymity. ARES 2011: 454-459 - [c19]Yongjian Li, Naiju Zeng, William N. N. Hung, Xiaoyu Song:
Combining Theorem Proving and Symbolic Trajectory Evaluation in THM&STE. Haifa Verification Conference 2011: 242-246 - [c18]Yongjian Li, Naiju Zeng, William N. N. Hung, Xiaoyu Song:
Enhanced symbolic simulation of a round-robin arbiter. ICCD 2011: 102-107 - 2010
- [j11]Yongjian Li, Jian Chen, Xiaoqiang Cai, Fengsheng Tu:
Optimal manpower Planning Decision with Single Employee Type Considering Minimal Employment Period Constraint. Asia Pac. J. Oper. Res. 27(3): 411-436 (2010) - [j10]Yongjian Li, Ji-Hong Zhang, Jian Chen, Xiaoqiang Cai:
Optimal Solution Structure for Multi-Period Production Planning with Returned Products remanufacturing. Asia Pac. J. Oper. Res. 27(5): 629-648 (2010) - [j9]Yongjian Li, Jun Pang:
Extending the Strand Space Method with Timestamps: Part I the Theory. J. Information Security 1(2): 45-55 (2010) - [j8]Yongjian Li, Jun Pang:
Extending the Strand Space Method with Timestamps: Part II Application to Kerberos V. J. Information Security 1(2): 56-67 (2010) - [j7]Mingrui He, Yongjian Li:
Exploiting Distributed Cognition to Make Tacit Knowledge Explicating. J. Softw. Eng. Appl. 3(3): 273-279 (2010)
2000 – 2009
- 2009
- [c17]Yongjian Li, Xiaoqiang Cai:
A new decentralized approach for the lot sizing problem of durable products with demand substitution. INDIN 2009: 343-348 - 2008
- [j6]Yongjian Li, Rui Xue:
Design of a CIL Connector to Spin. Int. J. Softw. Eng. Knowl. Eng. 18(1): 65-91 (2008) - [c16]Guofu Li, Wenming Xia, Feifan Ye, Yongjian Li:
Study on Production Process Control of Virtual Organization in Small and Medium-Sized Enterprises Based on Manufacturing Resource Workload. CSSE (6) 2008: 479-482 - [c15]Jinkun Li, Bo Wang, Yongjian Li, Hao Fu:
The Confirmatory Research on Representative Method of Knowledge Work Process. ITNG 2008: 285-290 - 2007
- [j5]Yongjian Li, Jian Chen, Xiaoqiang Cai:
An integrated staff-sizing approach considering feasibility of scheduling decision. Ann. Oper. Res. 155(1): 361-390 (2007) - [j4]Yongjian Li, Jian Wan, Xin Xu:
Theoretical study of the vertical excited states of benzene, pyrimidine, and pyrazine by the symmetry adapted cluster - Configuration interaction method. J. Comput. Chem. 28(10): 1658-1667 (2007) - [c14]Cansheng Wei, Yongjian Li:
Problems, Challenges, and Suggestions for Reverse Logistics of Publishing Industry in China. AMCIS 2007: 217 - [c13]Yongjian Li, Jun Pang:
Extending the Strand Space Method to Verify Kerberos V. PDCAT 2007: 437-444 - [c12]Yongjian Li:
Mechanized proofs for the parameter abstraction and guard strengthening principle in parameterized verification of cache coherence protocols. SAC 2007: 1534-1535 - 2006
- [j3]Yongjian Li, Jian Chen, Xiaoqiang Cai:
Uncapacitated production planning with multiple product types, returned product remanufacturing, and demand substitution. OR Spectr. 28(1): 101-125 (2006) - [c11]Xiaoqiang Cai, Yongjian Li, Fengsheng Tu:
Maximizing Dual Function by Genetic Algorithm - A New Approach for Optimal Manpower Planning. ICIC (2) 2006: 1147-1157 - [c10]Yongjian Li, Jun Pang:
Generalized Unsolicited Tests for Authentication Protocol Analysis. PDCAT 2006: 509-514 - 2005
- [c9]Yongjian Li, Jian Chen, Xiaoqiang Cai, Fengsheng Tu:
Optimal Manpower Planning with Temporal Labor and Contract Period Constraints. AAIM 2005: 350-359 - [c8]Yongjian Li:
The Inductive Approach to Strand Space. FORTE 2005: 547-552 - 2004
- [j2]Yongjian Li, Xiaoqiang Cai, Fengsheng Tu, Xiuli Shao:
Optimization of tandem queue systems with finite buffers. Comput. Oper. Res. 31(6): 963-984 (2004) - [j1]Yongjian Li, Xinxin Liu:
Towards a Theory of Bisimulation for the Higher-Order Process Calculi. J. Comput. Sci. Technol. 19(3): 352-363 (2004) - [c7]Yongjian Li, Rui Xue:
Design of a CIL Connector to SPIN. COMPSAC 2004: 349-354 - [c6]Yongjian Li, Rui Xue:
Using SPIN to Model Cryptographic Protocols. ITCC (2) 2004: 741-745 - [c5]Yongjian Li:
Contextual Labelled Semantics for Higher-order Process Calculi. FGUC 2004: 61-77 - 2003
- [c4]Changyou Liu, Yongjian Li:
Study on real-time discrete event systems by using controlled temporal timed-Petri-nets. CDC 2003: 5113-5117 - [c3]Yongjian Li, Jifeng He:
Towards a Theory of Bisimulation for a Fragment of Verilog. IPDPS 2003: 239 - 2002
- [c2]Xinxin Liu, Yongjian Li:
Bisimulation for Higher-Order Pi-calculus. APLAS 2002: 216-229 - 2001
- [c1]Yongjian Li, Fengsheng Tu:
Performance analysis for partially observed communication networks. ACC 2001: 3781-3786
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-07 22:31 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint