Jingchen Yan

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 12

Top Topics

Load Forecasting

Formal Analysis

Graph Embedding

Cryptographic Protocols

Top Venues

SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI

Expert Syst. J. Knowl. Eng.

Publications

Yuan Zhou, Xiaojun Yin, Jingchen Yan
An information extraction method based on improved mixed text density web pages. Expert Syst. J. Knowl. Eng. 41 (6) (2024)
Jingchen Yan, Mingyu Sun, Zhe Du, Xin Tong, Jianbin Li
A federated learning model based on filtering strategy. World Wide Web (WWW) 26 (3) (2023)
Jingchen Yan, Yifeng Huang, Aditya Gupta, Anubhav Gupta, Cong Liu, Jianbin Li, Long Cheng
Energy-aware systems for real-time job scheduling in cloud data centers: A deep reinforcement learning approach. Comput. Electr. Eng. 99 (2022)
Jianbin Li, Ketong Qu, Jingchen Yan, Liting Zhou, Long Cheng
TEBC-Net: An Effective Relation Extraction Approach for Simple Question Answering over Knowledge Graphs. KSEM (2021)
Mingyu Sun, Jianbin Li, Yuqi Ren, Suwan Fang, Jingchen Yan
Research on Federated Learning and Its Security Issues for Load Forecasting. ICCMS (2021)
Jianbin Li, Ketong Qu, Kunchang Li, Zhiqiang Chen, Suwan Fang, Jingchen Yan
Knowledge graph question answering based on TE-BiLTM and knowledge graph embedding. ICIAI (2021)
Kunchang Li, Runhua Shi, Jingchen Yan, Chenxi Cai, Mingyu Sun, Jianbin Li
A RMF and AHP-Based Approach to Risk Assessment of Power Internet of Things. DASC/PiCom/CBDCom/CyberSciTech (2020)
Jingchen Yan, Yating Wang, Yuichi Goto, Jingde Cheng
An Extension of Formal Analysis Method with Reasoning: A Case Study of Flaw Detection for Non-repudiation and Fairness. C2SI (2019)
Sho Ishibashi, Jingchen Yan, Yuichi Goto, Jingde Cheng
Primitive Constituent Elements of Cryptographic Protocols. SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI (2018)
Jingchen Yan, Sho Ishibashi, Yuichi Goto, Jingde Cheng
A Study on Fine-Grained Security Properties of Cryptographic Protocols for Formal Analysis Method with Reasoning. SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI (2018)
Jingchen Yan, Kazunori Wagatsuma, Hongbiao Gao, Jingde Cheng
A Supporting Environment for Formal Analysis of Cryptographic Protocols. MUE/FutureTech (2017)
Jingchen Yan, Kazunori Wagatsuma, Hongbiao Gao, Jingde Cheng
A Formal Analysis Method with Reasoning for Cryptographic Protocols. CIS (2016)