Zhiping Shi

ORCID

Publication Activity (10 Years)

Years Active: 2005-2024
Publications (10 Years): 68

Top Venues

CoRR

Intelligent Information Processing

APSEC

IROS

Publications

Chang-E Ren, Junhui Li, Zhiping Shi, Yong Guan, C. L. Philip Chen
Adaptive Impulsive Consensus of Nonlinear Multiagent Systems With Limited Bandwidth Under Uncertain Deception Attacks. IEEE Trans. Syst. Man Cybern. Syst. 54 (8) (2024)
Linhan Li, Qianying Zhang, Zekun Xu, Shijun Zhao, Zhiping Shi, Yong Guan
rOOM: A Rust-Based Linux Out of Memory Kernel Component. IEICE Trans. Inf. Syst. 107 (3) (2024)
Ximeng Li, Shanyan Chen, Yong Guan, Qianying Zhang, Guohui Wang, Zhiping Shi
Refinement Verification of OS Services based on a Verified Preemptive Microkernel. FASE (2024)
Lingling Zhang, Zhiping Shi, Zhiwei Zhang, Ye Yuan, Guoren Wang
Efficiently estimating node influence through group sampling over large graphs. World Wide Web (WWW) 27 (2) (2024)
Yingjie Wu, Guohui Wang, Shanyan Chen, Zhiping Shi, Yong Guan, Ximeng Li
Formalization of Robot Collision Detection Method based on Conformal Geometric Algebra. CoRR (2023)
Aojie Bu, Han Zhang, Jun Li, Zhiping Shi
A Two-stream Network with Spatial Long-range Modeling for Weakly-supervised Temporal Action Localization. iThings/GreenCom/CPSCom/SmartData/Cybermatics (2023)
Xiaohui Tan, Zhiping Shi, Na Jiang, Jun Li, Rui Wang
Reform and Practice of Programming Courses' Construction. ICCSE (2) (2023)
Leping Zhang, Qianying Zhang, Xinyue Wang, Ximeng Li, Guohui Wang, Zhiping Shi, Yong Guan
Formal Verification of Interrupt Isolation for the TrustZone-based TEE. APSEC (2023)
Yu Qiao, Hengyi Zhang, Pengfei Sun, Yuan Tian, Yong Guan, Zhenzhou Shao, Zhiping Shi
Parallelizable Simple Recurrent Units with Hierarchical Memory. ICONIP (15) (2023)
Fangyun Qin, Zheng Zheng, Xiaohui Wan, Zhihao Liu, Zhiping Shi
Predicting Aging-Related Bugs Using Network Analysis on Aging-Related Dependency Networks. IEEE Trans. Emerg. Top. Comput. 11 (3) (2023)
Zhe Wang, Chenggang Wu, Yinqian Zhang, Bowen Tang, Pen-Chung Yew, Mengyao Xie, Yuanming Lai, Yan Kang, Yueqiang Cheng, Zhiping Shi
Making Information Hiding Effective Again. IEEE Trans. Dependable Secur. Comput. 19 (4) (2022)
Yongkang Zhang, Han Zhang, Guoming Wu, Yangfan Xu, Zhiping Shi, Jun Li
TMN: Temporal-guided Multiattention Network for Action Recognition. ICPR (2022)
Jian Pan, Zhao Zhang, Fuzhen Zhuang, Jingyuan Yang, Zhiping Shi
Knowledge-Aware Topological Networks for Recommendation. CCKS (2022)
Jian Deng, Mingyue Li, Yongxin Chen, Zhenzhou Shao, Ying Qu, Yong Guan, Jun Zhang, Zhiping Shi
Cross-Guided Feature Fusion with Intra-Modality Reweighting for Multi-Spectral Pedestrian Detection. ICPR (2022)
Rong Tan, Jun Li, Zhiping Shi
Progressive Face Super-Resolution Reconstruction Network Based on Relational Modeling. CACML (2022)
Fuwei Zhang, Zhao Zhang, Fuzhen Zhuang, Jingjing Gu, Zhiping Shi, Qing He
Clustering-Enhanced Knowledge Graph Embedding. Big Data (CCF) (2022)
Yong Guan, Jingzhi Zhang, Guohui Wang, Ximeng Li, Zhiping Shi, Yongdong Li
Formalization of Euler-Lagrange Equation Set Based on Variational Calculus in HOL Light. J. Autom. Reason. 65 (1) (2021)
Ximeng Li, Qianying Zhang, Guohui Wang, Zhiping Shi, Yong Guan
Reasoning about Iteration and Recursion Uniformly based on Big-step Semantics. CoRR (2021)
Quanxin Fu, Chang-E. Ren, Jiaang Zhang, Zhiping Shi
Adaptive Event-Triggered Control for Nonlinear Multi-Agent Systems with State Time Delay and Unknown External Disturbance. SMC (2021)
Lei Zhao, Jia Su, Zhiping Shi, Yong Guan
Feature Extraction with Apparent to Semantic Channels for Object Detection. J. Softw. 16 (4) (2021)
Longxing Yang, Yu Hu, Shun Lu, Zihao Sun, Jilin Mei, Yiming Zeng, Zhiping Shi, Yinhe Han, Xiaowei Li
DDSAS: Dynamic and Differentiable Space-Architecture Search. ACML (2021)
Ximeng Li, Qianying Zhang, Guohui Wang, Zhiping Shi, Yong Guan
Reasoning About Iteration and Recursion Uniformly Based on Big-Step Semantics. SETTA (2021)
Xinmei Fu, Zhenzhou Shao, Ying Qu, Yong Guan, Yibo Zou, Zhiping Shi, Jindong Tan
Fast and Unsupervised Non-Local Feature Learning for Direct Volume Rendering of 3D Medical Images. IROS (2021)
Yongchun Zhu, Fuzhen Zhuang, Xiangliang Zhang, Zhiyuan Qi, Zhiping Shi, Qing He
Combat Data Shift in Few-shot Learning with Knowledge Graph. CoRR (2021)
Yongkang Zhang, Jun Li, Guoming Wu, Han Zhang, Zhiping Shi, Zhaoxun Liu, Zizhang Wu
Temporal Transformer Networks with Self-Supervision for Action Recognition. CoRR (2021)
Peng Xu, Na Jiang, Jun Li, Zhiping Shi
Learning Attention Map for 3D Human Recovery from a Single RGB Image. BMVC (2021)
Zhenzhou Shao, Ying Qu, Guangli Ren, Guohui Wang, Yong Guan, Zhiping Shi, Jindong Tan
Batch Normalization Masked Sparse Autoencoder for Robotic Grasping Detection. IROS (2020)
Yuwei Ma, Qianying Zhang, Shijun Zhao, Guohui Wang, Ximeng Li, Zhiping Shi
Formal Verification of Memory Isolation for the TrustZone-based TEE. APSEC (2020)
Xiangyu Chen, Ximeng Li, Qianying Zhang, Zhiping Shi, Yong Guan
Formalizing the Transaction Flow Process of Hyperledger Fabric. ICFEM (2020)
Jinrui Gan, Jianzhu Wang, Haomin Yu, Qingyong Li, Zhiping Shi
Online Rail Surface Inspection Utilizing Spatial Consistency and Continuity. IEEE Trans. Syst. Man Cybern. Syst. 50 (7) (2020)
Beibei Jin, Yu Hu, Qiankun Tang, Jingyu Niu, Zhiping Shi, Yinhe Han, Xiaowei Li
Exploring Spatial-Temporal Multi-Frequency Analysis for High-Fidelity and Temporal-Consistency Video Prediction. CVPR (2020)
Mingyue Li, Zhenzhou Shao, Zhiping Shi, Yong Guan
Deep Visible and Thermal Image Fusion with Cross-Modality Feature Selection for Pedestrian Detection. NPC (2020)
Beibei Jin, Yu Hu, Qiankun Tang, Jingyu Niu, Zhiping Shi, Yinhe Han, Xiaowei Li
Exploring Spatial-Temporal Multi-Frequency Analysis for High-Fidelity and Temporal-Consistency Video Prediction. CoRR (2020)
Yong Guan, Jie Zhang, Zhiping Shi, Yi Wang, Yongdong Li
Formalization of continuous Fourier transform in verifying applications for dependable cyber-physical systems. J. Syst. Archit. 106 (2020)
Qiankun Tang, Jie Li, Zhiping Shi, Yu Hu
Lightdet: A Lightweight and Accurate Object Detection Network. ICASSP (2020)
Na Jiang, Xingsen Wen, Zhiping Shi
DAPC: Domain Adaptation People Counting via Style-level Transfer Learning and Scene-aware Estimation. ICPR (2020)
Ning Han, Ximeng Li, Guohui Wang, Zhiping Shi, Yong Guan
Formal Verification of Atomicity Requirements for Smart Contracts. APLAS (2020)
Leping Zhang, Qianying Zhang, Guohui Wang, Zhiping Shi, Minhua Wu, Yong Guan
Formal Modelling and Verification of Spinlocks at Instruction Level. APSEC (2019)
Qianying Zhang, Shijun Zhao, Zhiping Shi, Yong Guan, Guohui Wang
A Comprehensive Formal Security Analysis and Revision of the Two-phase Key Exchange Primitive of TPM 2.0. IACR Cryptol. ePrint Arch. 2019 (2019)
Yongchun Zhu, Fuzhen Zhuang, Jindong Wang, Jingwu Chen, Zhiping Shi, Wenjuan Wu, Qing He
Multi-representation adaptation network for cross-domain image classification. Neural Networks 119 (2019)
Meiyu Zhang, Qianying Zhang, Shijun Zhao, Zhiping Shi, Yong Guan
SoftME: A Software-Based Memory Protection Approach for TEE System to Resist Physical Attacks. Secur. Commun. Networks 2019 (2019)
Jingzhi Zhang, Guohui Wang, Zhiping Shi, Yong Guan, Yongdong Li
Formalization of functional variation in HOL Light. J. Log. Algebraic Methods Program. 106 (2019)
Wenpeng Ren, Jia Su, Chang Sun, Zhiping Shi
An IBP-CNN Based Fast Block Partition For Intra Prediction. PCS (2019)
Chang Sun, Jia Su, Zhiping Shi, Yong Guan
P-Minder: A CNN Based Sidewalk Segmentation Approach for Phubber Safety Applications. ICIP (2019)
Zhe Wang, Chenggang Wu, Yinqian Zhang, Bowen Tang, Pen-Chung Yew, Mengyao Xie, Yuanming Lai, Yan Kang, Yueqiang Cheng, Zhiping Shi
SafeHidden: An Efficient and Secure Information Hiding Technique Using Re-randomization. USENIX Security Symposium (2019)
Dongxu Ji, Qianying Zhang, Shijun Zhao, Zhiping Shi, Yong Guan
MicroTEE: Designing TEE OS Based on the Microkernel Architecture. CoRR (2019)
Qianying Zhang, Shijun Zhao, Zhiping Shi, Yong Guan, Guohui Wang
A Comprehensive Formal Security Analysis and Revision of the Two-phase Key Exchange Primitive of TPM 2.0. CoRR (2019)
Rui Wang, Yong Guan, Houbing Song, Xinxin Li, Xiaojuan Li, Zhiping Shi, Xiaoyu Song
A Formal Model-Based Design Method for Robotic Systems. IEEE Syst. J. 13 (1) (2019)
Ximeng Li, Zhiping Shi, Qianying Zhang, Guohui Wang, Yong Guan, Ning Han
Towards Verifying Ethereum Smart Contracts at Intermediate Language Level. ICFEM (2019)
Dongxu Ji, Qianying Zhang, Shijun Zhao, Zhiping Shi, Yong Guan
MicroTEE: Designing TEE OS Based on the Microkernel Architecture. TrustCom/BigDataSE (2019)
Yuhan Nie, Zhiping Shi, Aixuan Wu, Ximeng Li, Guohui Wang, Yong Guan
A HOL Theory of the Differential for Matrix Functions. TASE (2019)
Chuan Shi, Zhiqiang Zhang, Yugang Ji, Weipeng Wang, Philip S. Yu, Zhiping Shi
SemRec: a personalized semantic recommendation method based on weighted heterogeneous information networks. World Wide Web 22 (1) (2019)
Guilu Li, Chang-E Ren, Zhengtao Ding, Zhiping Shi
Adaptive NN leader-following consensus control of second-order nonlinear multi-agent systems with unknown control gains. SPAC (2018)
Qingyong Li, Zhiping Shi, Huayan Zhang, Yunqiang Tan, Shengwei Ren, Peng Dai, Weiyi Li
A cyber-enabled visual inspection system for rail corrugation. Future Gener. Comput. Syst. 79 (2018)
Chenxia Luo, Rui Wang, Yu Jiang, Kang Yang, Yong Guan, Xiaojuan Li, Zhiping Shi
Runtime Verification of Robots Collision Avoidance Case Study. COMPSAC (1) (2018)
Guohui Wang, Yong Guan, Zhiping Shi, Qianying Zhang, Xiaojuan Li, Yongdong Li
Formalization of Symplectic Geometry in HOL-Light. ICFEM (2018)
Chang-E Ren, Tao Du, Guilu Li, Zhiping Shi
Disturbance Observer-Based Consensus Control for Multiple Robotic Manipulators. IEEE Access 6 (2018)
Kang Yang, Rui Wang, Yu Jiang, Chenxia Luo, Yong Guan, Xiaojuan Li, Zhiping Shi
Enhanced resilient sensor attack detection using fusion interval and measurement history. CODES+ISSS (2018)
Kang Yang, Rui Wang, Yu Jiang, Houbing Song, Chenxia Luo, Yong Guan, Xiaojuan Li, Zhiping Shi
Sensor attack detection using history based pairwise inconsistency. Future Gener. Comput. Syst. 86 (2018)
Chang-E Ren, Zhiping Shi, Tao Du
Distributed Observer-Based Leader-Following Consensus Control for Second-Order Stochastic Multi-Agent Systems. IEEE Access 6 (2018)
Zhiping Shi, Aixuan Wu, Xiumei Yang, Yong Guan, Yongdong Li, Xiaoyu Song
Formal analysis of the kinematic Jacobian in screw theory. Formal Aspects Comput. 30 (6) (2018)
Zhenzhou Shao, Gaoyu Wu, Ying Qu, Zhiping Shi, Yong Guan, Jindong Tan
Robust Principal Component Analysis via Symmetric Alternating Direction for Moving Object Detection. PCM (2) (2017)
Yu Hu, Jing Ye, Zhiping Shi, Xiaowei Li
LAPS: Layout-Aware Path Selection for Post-Silicon Timing Characterization. IEICE Trans. Inf. Syst. (2) (2017)
Aixuan Wu, Zhiping Shi, Xiumei Yang, Yong Guan, Yongdong Li, Xiaoyu Song
Formalization and analysis of jacobian matrix in screw theory and its application in kinematic singularity. IROS (2017)
Qianying Zhang, Zhiping Shi
A New Way to Prevent UKS Attacks Using Hardware Security Chips. Int. J. Netw. Secur. 19 (5) (2017)
Shanshan Li, Chunna Zhao, Yong Guan, Zhiping Shi, Rui Wang, Xiaojuan Li, Shiwei Ye
分数阶微积分定义的一致性在HOL4中的验证 (Formalization of Consistency of Fractional Calculus in HOL4). 计算机科学 43 (3) (2016)
Xiumei Yang, Yong Guan, Zhiping Shi, Aixuan Wu, Qianying Zhang, Jie Zhang
函数矩阵及其微积分的高阶逻辑形式化 (Higher-order Logic Formalization of Function Matrix and its Calculus). 计算机科学 43 (11) (2016)
Zhenzhou Shao, Zhiping Shi, Ying Qu, Yong Guan, Hongxing Wei, Jindong Tan
A Confidence Weighted Real-Time Depth Filter for 3D Reconstruction. Intelligent Information Processing (2016)
Xingli Lv, Zhiping Shi, Xiaojuan Li, Yong Guan, Shiwei Ye, Jie Zhang
连续傅里叶变换基础理论的高阶逻辑形式化 (Higher-order Logic Formalization of Basic Theory of Continuous Fourier Transform). 计算机科学 42 (4) (2015)
Yuanyuan Hou, Rui Wang, Yu Jiang, Yong Guan, Xiaojuan Li, Zhiping Shi, Jie Zhang
Embedded System Design with Reliability-Centric Optimization. COMPSAC (2015)
Liming Li, Zhiping Shi, Yong Guan, Jie Zhang, Hongxing Wei
Formalizing the Matrix Inversion Based on the Adjugate Matrix in HOL4. Intelligent Information Processing (2014)
Xiangyang Li, Minhua Wu, Zhiping Shi
The Retrieval of Shoeprint Images Based on the Integral Histogram of the Gabor Transform Domain. Intelligent Information Processing (2014)
Liming Li, Zhiping Shi, Yong Guan, Chunna Zhao, Jie Zhang, Hongxing Wei
Formal verification of a collision-free algorithm of dual-arm robot in HOL4. ICRA (2014)
Xiangyang Li, Shuqiang Jiang, Xinhang Song, Luis Herranz, Zhiping Shi
Multipath Convolutional-Recursive Neural Networks for Object Recognition. Intelligent Information Processing (2014)
Zhiping Shi, Zhenke Liu, Yong Guan, Shiwei Ye, Jie Zhang, Hongxing Wei
Formalization of Function Matrix Theory in HOL. J. Appl. Math. 2014 (2014)
Jie Zhang, Yuntao Peng, William N. N. Hung, Xiaojuan Li, Jindong Tan, Zhiping Shi
A Case Study on Formal Analysis of an Automated Guided Vehicle System. J. Appl. Math. 2014 (2014)
Zhiping Shi, Weiqing Gu, Xiaojuan Li, Yong Guan, Shiwei Ye, Jie Zhang, Hongxing Wei
The Gauge Integral Theory in HOL4. J. Appl. Math. 2013 (2013)
Zhixin Li, Weizhong Zhao, Zhiqing Li, Zhiping Shi
Automatic Image Annotation and Retrieval Using Hybrid Approach. Intelligent Information Processing (2012)
Zhixin Li, Zhiping Shi, Zhengjun Tang, Weizhong Zhao
A Novel Model for Semantic Learning and Retrieval of Images. Intelligent Information Processing (2012)
Zhiping Shi, Xi Liu, Qingyong Li, Qing He, Zhongzhi Shi
Extracting discriminative features for CBIR. Multim. Tools Appl. 61 (2) (2012)
Zhixin Li, Zhiping Shi, Xi Liu, Zhongzhi Shi
Modeling continuous visual features for semantic image annotation and retrieval. Pattern Recognit. Lett. 32 (3) (2011)
Zhixin Li, Zhiping Shi, Xi Liu, Zhiqing Li, Zhongzhi Shi
Fusing semantic aspects for image annotation and retrieval. J. Vis. Commun. Image Represent. 21 (8) (2010)
Zhiqing Li, Zhiping Shi, Xi Liu, Zhongzhi Shi
A novel sparse coding model based on structural similarity. ICASSP (2010)
Xi Liu, Zhiping Shi, Zhixin Li, Xishun Wang, Zhongzhi Shi
Sorted label classifier chains for learning images with multi-label. ACM Multimedia (2010)
Qingyong Li, Zhiping Shi
Texture image retrieval using compact texton co-occurrence matrix descriptor. Multimedia Information Retrieval (2010)
Zhongzhi Shi, Xiaofeng Wang, Zhiping Shi, Limin Chen, Zhuxiao Wang
A mind model for brain-like computer. IEEE ICCI (2010)
Zhixin Li, Zhiping Shi, Xi Liu, Zhongzhi Shi
Automatic image annotation with continuous PLSA. ICASSP (2010)
Zhixin Li, Xi Liu, Zhiping Shi, Zhongzhi Shi
Learning image semantics with latent aspect model. ICME (2009)
Zhixin Li, Zhiping Shi, Zhiqing Li, Zhongzhi Shi
Modeling latent aspects for automatic image annotation. ICIP (2009)
Zhiping Shi, Qing He, Zhongzhi Shi
An index and retrieval framework integrating perceptive features and semantics for multimedia databases. Multim. Tools Appl. 42 (2) (2009)
Xi Liu, Zhixin Li, Zhiping Shi, Zhongzhi Shi
Filter object categories: employing visual consistency and semisupervised approach. ICME (2009)
Zhixin Li, Huifang Ma, Zhiping Shi, Zhongzhi Shi
A Probabilistic Model for Automatic Image Annotation and Retrieval. CIT (1) (2009)
Xi Liu, Zhiping Shi, Zhixin Li, Zhongzhi Shi
Coboost learning of visual categories with 1st and 2nd order features from Google images. ACM Multimedia (2009)
Zhiqing Li, Zhiping Shi, Zhixin Li, Zhongzhi Shi
An Efficient Coding Model for Image Representation. ICONIP (1) (2009)
Zhiqing Li, Zhiping Shi, Zhixin Li, Zhongzhi Shi
Image Classification Using Structural Sparse Coding Model. ICNC (3) (2009)
Xi Liu, Zhiping Shi, Zhongzhi Shi
order features. ICIP (2009)
Qingyong Li, Zhiping Shi, Siwei Luo
Image Retrieval Based on Fuzzy Color Semantics. FUZZ-IEEE (2007)
Zhiyong Zhang, Zhiping Shi, Zhiwei Shi, Zhongzhi Shi
Contour-Based Image Retrieval. IEEE ICCI (2007)
Qingyong Li, Zhiping Shi, Siwei Luo
A Neural Network Approach for Bridging the Semantic Gap in Texture Image Retrieval. IJCNN (2007)
Qingyong Li, Zhiping Shi, Zhongzhi Shi
A Selective Sparse Coding Model with Embedded Attention Mechanism. Int. J. Cogn. Informatics Nat. Intell. 1 (4) (2007)

Zhiping Shi.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Zhiping Shi