| 2023 | SEKE | Modeling and Verification of Autonomous Driving Systems under Stochastic Spatio-Temporal Constraints. | Mengyuan Wang, Tengfei Li, Jing Liu, Hui Dou, HongTao Chen, John Zhang, Lipeng Zhang |
| 2021 | IJCNN | Safe Reinforcement Learning for CPSs via Formal Modeling and Verification. | Chenchen Yang, Jing Liu, Haiying Sun, Junfeng Sun, Xiang Chen, Lipeng Zhang |
| 2021 | TASE | Parametric Spatio-temporal Modeling and Safety Verifying for T2T-CBTC Systems. | Qianzhu Zhao, Jing Liu, Xiang Chen, Tengfei Li, Junfeng Sun, Lipeng Zhang |
| 2019 | AAAI | A Generalized Language Model in Tensor Space. | Lipeng Zhang, Peng Zhang, Xindian Ma, Shuqin Gu, Zhan Su, Dawei Song |
| 2018 | CIKM | A Quantum Many-body Wave Function Inspired Language Modeling Approach. | Peng Zhang, Zhan Su, Lipeng Zhang, Benyou Wang, Dawei Song |
| 2018 | COLING | A Position-aware Bidirectional Attention Network for Aspect-level Sentiment Analysis. | Shuqin Gu, Lipeng Zhang, Yuexian Hou, Yin Song |
| 2018 | IJCAI | Regularizing Deep Neural Networks with an Ensemble-based Decorrelation Method. | Shuqin Gu, Yuexian Hou, Lipeng Zhang, Yazhou Zhang |
| 2016 | TrustCom | Bad Data Injection Attacks Identification in Power System on Fast Decoupled Load Flow. | Zongshuai Hu, Yong Wang, Lipeng Zhang, Rusen Fan |
| 2008 | NPC | EBMD: Energy-Balanced Multi-path Data Propation Algorithm for Sensor Networks. | Yuan Feng, Lipeng Zhang, Peng Zhou |
| 2008 | NPC | EBAT: Energy Balanced Adaptive Transmission Algorithm for Sensor Networks. | Yuting Sun, Weiqin Lv, Lipeng Zhang, Peng Zhou |