Safety Requirements Specification and Verification for Railway Interlocking Systems. - Li Han 001; Jing Liu 012; Tingliang Zhou; Junfeng Sun; Xiaohong Chen 007 (COMPSAC, 2016)

Using Safety Requirement Patterns to Elicit Requirements for Railway Interlocking Systems. - Xiaohong Chen 007; Li Han 001; Jing Liu 012; Haiying Sun (RE Workshops, 2016)

Checkpointing Workflows for Fail-Stop Errors. - Li Han 001; Louis-Claude Canon; Henri Casanova; Yves Robert; Frédéric Vivien (IEEE Trans. Computers, 2018)

Improved Energy-Aware Strategies for Periodic Real-Time Tasks under Reliability Constraints. - Li Han 001; Louis-Claude Canon; Jing Liu 012; Yves Robert; Frédéric Vivien (RTSS, 2019)

A generic approach to scheduling and checkpointing workflows. - Li Han 001; Valentin Le Fèvre; Louis-Claude Canon; Yves Robert; Frédéric Vivien (Int. J. High Perform. Comput. Appl., 2019)

Model Checking of Spatial Logic. - Tengfei Li 002; Jing Liu 012; Jiexiang Kang; Haiying Sun; Xiaohong Chen 007; Li Han 001 (APSEC, 2020)

Energy-aware strategies for reliability-oriented real-time task allocation on heterogeneous platforms. - Li Han 001; Yiqin Gao; Jing Liu 012; Yves Robert; Frédéric Vivien (ICPP, 2020)

Fault-tolerant and energy-aware algorithms for workflows and real-time systems. (Algorithmes tolérants aux pannes et minimisant l'énergie pour les systèmes de tâches et les systèmes temps-réel). - Li Han 001 (2020)

Efficient $k- text{clique}$ Listing with Set Intersection Speedup. - Zhirong Yuan; You Peng; Peng Cheng 003; Li Han 001; Xuemin Lin 001; Lei Chen 002; Wenjie Zhang 001 (ICDE, 2022)

Efficient k-clique Listing with Set Intersection Speedup [Technical Report]. - Zhirong Yuan; You Peng; Peng Cheng 003; Li Han 001; Xuemin Lin 001; Lei Chen 002; Wenjie Zhang 001 (CoRR, 2022)

Efficient Continuous Space Policy Optimization for High-frequency Trading. - Li Han 001; Nan Ding; Guoxuan Wang; Dawei Cheng; Yuqi Liang (KDD, 2023)

Higher-Order Truss Decomposition in Graphs. - Zi Chen 003; Long Yuan 001; Li Han 001; Zhengping Qian (IEEE Trans. Knowl. Data Eng., 2023)

Data Level Privacy Preserving: A Stochastic Perturbation Approach Based on Differential Privacy. - Chuan Ma 001; Long Yuan 001; Li Han 001; Ming Ding 001; Raghav Bhaskar; Jun Li 004 (IEEE Trans. Knowl. Data Eng., 2023)

Energy-aware mapping and scheduling strategies for real-time workflows under reliability constraints. - Zhiwei Wu; Li Han 001; Jing Liu 012; Yves Robert; Frédéric Vivien (J. Parallel Distributed Comput., 2023)

GEM-GNN: Group Enhanced Multi-relation Graph Neural Networks for Fraud Detection. - Longxun Wang; Ziyang Cheng; Mengmeng Yang; Li Han 001; Dawei Cheng; Li Xie; Huaming Tian (ADMA (3), 2024)

FCMH: Fast Cluster Multi-hop Model for Graph Fraud Detection. - Rui Zhang; Wenbo Li; Xiaodong Ning; Dawei Cheng; Li Han 001; Heguo Yang (ADMA (3), 2024)

Cross-contextual Sequential Optimization via Deep Reinforcement Learning for Algorithmic Trading. - Kaiming Pan; Yifan Hu; Li Han 001; Haoyu Sun; Dawei Cheng; Yuqi Liang (CIKM, 2024)

Dynamic Graph-based Deep Reinforcement Learning with Long and Short-term Relation Modeling for Portfolio Optimization. - Haoyu Sun; Yuxuan Bian; Li Han 001; Peng Zhu; Dawei Cheng; Yuqi Liang (CIKM, 2024)

Higher-Order Truss Decomposition in Graphs (Extended Abstract). - Zi Chen 003; Long Yuan 001; Li Han 001; Zhengping Qian (ICDE, 2024)

Data Level Privacy Preserving: A Stochastic Perturbation Approach Based on Differential Privacy (Extended abstract). - Chuan Ma 001; Long Yuan 001; Li Han 001; Ming Ding 001; Raghav Bhaskar; Jun Li 004 (ICDE, 2024)

Efficient Verification of Multi-Agent Systems Through Parallel. - Zhen Yao; Jing Liu 012; Xiaohong Chen 007; Li Han 001; Haiying Sun (QRS, 2024)

Minimizing Energy Consumption for Real-Time Tasks on Heterogeneous Platforms Under Deadline and Reliability Constraints. - Yiqin Gao; Li Han 001; Jing Liu 012; Yves Robert; Frédéric Vivien (Algorithmica, 2024)

Graph-Driven Insights: Enhancing Stock Market Prediction with Relational Temporal Dynamics. - Renjun Jia; Kaiming Yang; Dawei Cheng; Li Han 001; Yuqi Liang (ICASSP, 2025)

Multi-Granularity Augmented Graph Learning for Spoofing Transaction Detection. - Xin Liu; Haojun Rui; Dawei Cheng; Li Han 001; Zhongyun Zhou 001; Guoping Zhao (WWW, 2025)

Opara: Exploiting Operator Parallelism for Expediting DNN Inference on GPUs. - Aodong Chen; Fei Xu; Li Han 001; Yuan Dong; Li Chen 019; Zhi Zhou 006; Fangming Liu (IEEE Trans. Computers, 2025)

Mitigating the Tail Effect in Fraud Detection by Community Enhanced Multi-Relation Graph Neural Networks. - Li Han 001; Longxun Wang; Ziyang Cheng; Bo Wang 162; Guang Yang; Dawei Cheng; Xuemin Lin 001 (IEEE Trans. Knowl. Data Eng., 2025)