| 2025 | EMNLP | Logic-Thinker: Teaching Large Language Models to Think more Logically. | Chengyao Wen, Qiang Cheng, Shaofei Wang, Zhizhen Liu, Deng Zhao, Lei Liang |
| 2025 | ICSOC | Optimizing Containerized Edge Service Migration Through File-Level Storage Sharing. | Jiangwei Li, Zhangbing Zhou, Sami Yangui, Deng Zhao, Ruixi Pan, Walid Gaaloul |
| 2025 | ICSOC | SCSTL: Spatial Composite Signal Temporal Logic for IoT Service Monitoring. | Ruixi Pan, Zhangbing Zhou, Deng Zhao, Sami Yangui, Jiangwei Li |
| 2025 | ICWS | BSTL: Bayesian Signal Temporal Logic for Predictive Edge Service Monitoring. | Deng Zhao, Zhangbing Zhou, Shuiguang Deng, Xiao Xue, Ruixi Pan, Jiangwei Li, Sami Yangui |
| 2024 | AAAI | Structural Information Enhanced Graph Representation for Link Prediction. | Lei Shi, Bin Hu, Deng Zhao, Jianshan He, Zhiqiang Zhang, Jun Zhou |
| 2024 | ICWS | Energy-Aware Service Migration in End-Edge-Cloud Collaborative Networks. | Jiangwei Li, Zhangbing Zhou, Deng Zhao, Zhensheng Shi, Lin Meng, Walid Gaaloul |
| 2023 | ICWS | A Novel Logic-Based Adaptive Monitoring for Composite Edge Services. | Deng Zhao, Zhangbing Zhou, Xiao Xue, Jin Diao, Sami Yangui, Bo Liu, Walid Gaaloul |
| 2022 | ICWS | ASTL: Accumulative Signal Temporal Logic for IoT Service Monitoring. | Deng Zhao, Zhangbing Zhou, Zhipeng Cai, Teng Long, Sami Yangui, Xiao Xue |
| 2021 | ICWS | CTL-Based Dynamic IoT Service Composition. | Deng Zhao, Zhangbing Zhou, Xiao Xue, Zhuofeng Zhao, Walid Gaaloul, Wenbo Zhang |
| 2020 | ICWS | Detecting Temporal Anomaly and Interestingness in Timed Business Process Models. | Deng Zhao, Zhangbing Zhou, Yasha Wang, Walid Gaaloul |
| 2018 | ICWS | Energy-Efficient WSN Service Composition for Concurrent Applications. | Jiabei Xu, Deng Zhao, Zhangbing Zhou, Walid Gaaloul, Yucong Duan |
| 2016 | ICSOC | Energy-Aware Composition for Service-Oriented Wireless Sensor Networks. | Deng Zhao, Zhangbing Zhou, Yucong Duan, Patrick C. K. Hung |
| 2016 | UIC | Multi-application Query Optimization for Shared WSNs Leveraging Caching Mechanism. | Deng Zhao, ZhangBing Zhou, Jianhua Ma, Yueqin Zhu |