| 2026 | ISIT | Adaptive Symmetric Private Linear Computation from Repairing Reed-Solomon Codes. | Tao Wang, Zhiping Shi, Li Deng, Juan Yang |
| 2024 | COMPSAC | SQLPass: A Semantic Effective Fuzzing Method for DBMS. | Yu Li, Yixiao Yang, Yong Guan, Zhiping Shi, Rui Wang |
| 2024 | FASE | Refinement Verification of OS Services based on a Verified Preemptive Microkernel. | Ximeng Li, Shanyan Chen, Yong Guan, Qianying Zhang, Guohui Wang, Zhiping Shi |
| 2024 | GLOBECOM | Joint Source-Channel Coding for Wireless Image Transmission with Regulated Autoencoder. | Shuchen Han, Li Lan, Zhiping Shi, Qi He, Zhi Chen |
| 2024 | HPCC | Augur: Predictive and Adaptive Data Management in SSD-SMR Hybrid Storage System Using Reinforcement Learning. | Guanghui Zhou, Guohui Wang, Zhengang Chen, Zhiping Shi, Yong Guan |
| 2023 | APSEC | Formal Verification of Interrupt Isolation for the TrustZone-based TEE. | Leping Zhang, Qianying Zhang, Xinyue Wang, Ximeng Li, Guohui Wang, Zhiping Shi, Yong Guan |
| 2023 | ICONIP | Parallelizable Simple Recurrent Units with Hierarchical Memory. | Yu Qiao, Hengyi Zhang, Pengfei Sun, Yuan Tian, Yong Guan, Zhenzhou Shao, Zhiping Shi |
| 2022 | ICPR | Cross-Guided Feature Fusion with Intra-Modality Reweighting for Multi-Spectral Pedestrian Detection. | Jian Deng, Mingyue Li, Yongxin Chen, Zhenzhou Shao, Ying Qu, Yong Guan, Jun Zhang, Zhiping Shi |
| 2022 | ICPR | TMN: Temporal-guided Multiattention Network for Action Recognition. | Yongkang Zhang, Han Zhang, Guoming Wu, Yangfan Xu, Zhiping Shi, Jun Li |
| 2021 | ACML | DDSAS: Dynamic and Differentiable Space-Architecture Search. | Longxing Yang, Yu Hu, Shun Lu, Zihao Sun, Jilin Mei, Yiming Zeng, Zhiping Shi, Yinhe Han, Xiaowei Li |
| 2021 | BMVC | Learning Attention Map for 3D Human Recovery from a Single RGB Image. | Peng Xu, Na Jiang, Jun Li, Zhiping Shi |
| 2021 | IROS | Fast and Unsupervised Non-Local Feature Learning for Direct Volume Rendering of 3D Medical Images. | Xinmei Fu, Zhenzhou Shao, Ying Qu, Yong Guan, Yibo Zou, Zhiping Shi, Jindong Tan |
| 2021 | SMC | Adaptive Event-Triggered Control for Nonlinear Multi-Agent Systems with State Time Delay and Unknown External Disturbance. | Quanxin Fu, Chang-E Ren, Jiaang Zhang, Zhiping Shi |
| 2021 | SETTA | Reasoning About Iteration and Recursion Uniformly Based on Big-Step Semantics. | Ximeng Li, Qianying Zhang, Guohui Wang, Zhiping Shi, Yong Guan |
| 2020 | APLAS | Formal Verification of Atomicity Requirements for Smart Contracts. | Ning Han, Ximeng Li, Guohui Wang, Zhiping Shi, Yong Guan |
| 2020 | APSEC | Formal Verification of Memory Isolation for the TrustZone-based TEE. | Yuwei Ma, Qianying Zhang, Shijun Zhao, Guohui Wang, Ximeng Li, Zhiping Shi |
| 2020 | CVPR | Exploring Spatial-Temporal Multi-Frequency Analysis for High-Fidelity and Temporal-Consistency Video Prediction. | Beibei Jin, Yu Hu, Qiankun Tang, Jingyu Niu, Zhiping Shi, Yinhe Han, Xiaowei Li |
| 2020 | GLOBECOM | Joint Source Channel Anytime Coding. | Li Deng, Yixin Wang, Xiaoxi Yu, Md. Noor-A-Rahim, Yong Liang Guan, Zhiping Shi |
| 2020 | ICASSP | Lightdet: A Lightweight and Accurate Object Detection Network. | Qiankun Tang, Jie Li, Zhiping Shi, Yu Hu |
| 2020 | ICFEM | Formalizing the Transaction Flow Process of Hyperledger Fabric. | Xiangyu Chen, Ximeng Li, Qianying Zhang, Zhiping Shi, Yong Guan |
| 2020 | ICPR | DAPC: Domain Adaptation People Counting via Style-level Transfer Learning and Scene-aware Estimation. | Na Jiang, Xingsen Wen, Zhiping Shi |
| 2020 | IROS | Batch Normalization Masked Sparse Autoencoder for Robotic Grasping Detection. | Zhenzhou Shao, Ying Qu, Guangli Ren, Guohui Wang, Yong Guan, Zhiping Shi, Jindong Tan |
| 2020 | NPC | Deep Visible and Thermal Image Fusion with Cross-Modality Feature Selection for Pedestrian Detection. | Mingyue Li, Zhenzhou Shao, Zhiping Shi, Yong Guan |
| 2019 | APSEC | Formal Modelling and Verification of Spinlocks at Instruction Level. | Leping Zhang, Qianying Zhang, Guohui Wang, Zhiping Shi, Minhua Wu, Yong Guan |
| 2019 | ICFEM | Towards Verifying Ethereum Smart Contracts at Intermediate Language Level. | Ximeng Li, Zhiping Shi, Qianying Zhang, Guohui Wang, Yong Guan, Ning Han |
| 2019 | ICIP | P-Minder: A CNN Based Sidewalk Segmentation Approach for Phubber Safety Applications. | Chang Sun, Jia Su, Zhiping Shi, Yong Guan |
| 2019 | PCS | An IBP-CNN Based Fast Block Partition For Intra Prediction. | Wenpeng Ren, Jia Su, Chang Sun, Zhiping Shi |
| 2019 | TrustCom | MicroTEE: Designing TEE OS Based on the Microkernel Architecture. | Dongxu Ji, Qianying Zhang, Shijun Zhao, Zhiping Shi, Yong Guan |
| 2019 | TASE | A HOL Theory of the Differential for Matrix Functions. | Yuhan Nie, Zhiping Shi, Aixuan Wu, Ximeng Li, Guohui Wang, Yong Guan |
| 2018 | COMPSAC | Runtime Verification of Robots Collision Avoidance Case Study. | Chenxia Luo, Rui Wang, Yu Jiang, Kang Yang, Yong Guan, Xiaojuan Li, Zhiping Shi |
| 2018 | ICFEM | Formalization of Symplectic Geometry in HOL-Light. | Guohui Wang, Yong Guan, Zhiping Shi, Qianying Zhang, Xiaojuan Li, Yongdong Li |
| 2017 | IROS | Formalization and analysis of jacobian matrix in screw theory and its application in kinematic singularity. | Aixuan Wu, Zhiping Shi, Xiumei Yang, Yong Guan, Yongdong Li, Xiaoyu Song |
| 2015 | COMPSAC | Embedded System Design with Reliability-Centric Optimization. | Yuanyuan Hou, Rui Wang, Yu Jiang, Yong Guan, Xiaojuan Li, Zhiping Shi, Jie Zhang |
| 2015 | ISIT | The multi-step PEG and ACE constrained PEG algorithms can design the LDPC codes with better cycle-connectivity. | Xuan He, Liang Zhou, Junyi Du, Zhiping Shi |
| 2014 | ICRA | Formal verification of a collision-free algorithm of dual-arm robot in HOL4. | Liming Li, Zhiping Shi, Yong Guan, Chunna Zhao, Jie Zhang, Hongxing Wei |
| 2010 | ICASSP | Automatic image annotation with continuous PLSA. | Zhixin Li, Zhiping Shi, Xi Liu, Zhongzhi Shi |
| 2010 | ICASSP | A novel sparse coding model based on structural similarity. | Zhiqing Li, Zhiping Shi, Xi Liu, Zhongzhi Shi |
| 2010 | WCNC | New Strategies for Coded Modulation Diversity over Rayleigh Fading Channels. | Zhiping Shi, Jing Li, Zhongpei Zhang |
| 2009 | ICIP | Modeling latent aspects for automatic image annotation. | Zhixin Li, Zhiping Shi, Zhiqing Li, Zhongzhi Shi |
| 2009 | ICIP | Filter object categories using CoBoost with 1 | Xi Liu, Zhiping Shi, Zhongzhi Shi |
| 2009 | ICNC | Image Classification Using Structural Sparse Coding Model. | Zhiqing Li, Zhiping Shi, Zhixin Li, Zhongzhi Shi |
| 2009 | ICONIP | An Efficient Coding Model for Image Representation. | Zhiqing Li, Zhiping Shi, Zhixin Li, Zhongzhi Shi |
| 2007 | IJCNN | A Neural Network Approach for Bridging the Semantic Gap in Texture Image Retrieval. | Qingyong Li, Zhiping Shi, Siwei Luo |
| 2005 | ICNC | Swarm Intelligence Clustering Algorithm Based on Attractor. | Qingyong Li, Zhiping Shi, Jun Shi, Zhongzhi Shi |