Zhi-Ping Shi 0002

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Guohui Wang

> Home > Persons > Zhi-Ping Shi 0002

Publications

2025
[j58]
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/WuWCSGL25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/WuWCSGL25
Yingjie Wu, Guohui Wang, Shanyan Chen, Zhiping Shi, Yong Guan, Ximeng Li:
Formalization of robot collision detection method based on conformal geometric algebra. Formal Methods Syst. Des. 67(3): 255-281 (2025)
2024
[c72]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fase/LiCGZWS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/LiCGZWS24
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: 188-209
2023
[j40]
- view
  authority control:
- export record
  dblp key:
  - journals/jlap/WangCGSLZ23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/WangCGSLZ23
Guohui Wang, Shanyan Chen, Yong Guan, Zhi-Ping Shi, Ximeng Li, Jingzhi Zhang:
Formalization of the inverse kinematics of three-fingered dexterous hand. J. Log. Algebraic Methods Program. 133: 100861 (2023)
[j39]
- view
  authority control:
- export record
  dblp key:
  - journals/jsa/LiZWSG23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsa/LiZWSG23
Ximeng Li, Qianying Zhang, Guohui Wang, Zhi-Ping Shi, Yong Guan:
A unified proof technique for verifying program correctness with big-step semantics. J. Syst. Archit. 136: 102820 (2023)
[c70]
- view
  authority control:
- export record
  dblp key:
  - conf/apsec/ZhangZWLWSG23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apsec/ZhangZWLWSG23
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: 309-318
[c69]
- view
  authority control:
- export record
  dblp key:
  - conf/date/ChenWSGW23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/ChenWSGW23
Zhengang Chen, Guohui Wang, Zhi-Ping Shi, Yong Guan, Tianyu Wang:
Region-based Flash Caching with Joint Latency and Lifetime Optimization in Hybrid SMR Storage Systems. DATE 2023: 1-6
[i8]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2312-04598
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2312-04598
Yingjie Wu, Guohui Wang, Shanyan Chen, Zhiping Shi, Yong Guan, Ximeng Li:
Formalization of Robot Collision Detection Method based on Conformal Geometric Algebra. CoRR abs/2312.04598 (2023)
2021
[j32]
- view
  authority control:
- export record
  dblp key:
  - journals/jar/GuanZWLSL21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/GuanZWLSL21
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): 1-29 (2021)
[c53]
- view
  authority control:
- export record
  dblp key:
  - conf/setta/0003ZW0G21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/setta/0003ZW0G21
Ximeng Li, Qianying Zhang, Guohui Wang, Zhiping Shi, Yong Guan:
Reasoning About Iteration and Recursion Uniformly Based on Big-Step Semantics. SETTA 2021: 61-80
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2108-01883
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2108-01883
Ximeng Li, Qianying Zhang, Guohui Wang, Zhiping Shi, Yong Guan:
Reasoning about Iteration and Recursion Uniformly based on Big-step Semantics. CoRR abs/2108.01883 (2021)
2020
[j29]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/fac/ChenWLZSG20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/ChenWLZSG20
Shanyan Chen, Guohui Wang, Ximeng Li, Qianying Zhang, Zhi-Ping Shi, Yong Guan:
Formalization of Camera Pose Estimation Algorithm based on Rodrigues Formula. Formal Aspects Comput. 32(4-6): 417-437 (2020)
[c49]
- view
  authority control:
- export record
  dblp key:
  - conf/aplas/HanLWSG20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aplas/HanLWSG20
Ning Han, Ximeng Li, Guohui Wang, Zhiping Shi, Yong Guan:
Formal Verification of Atomicity Requirements for Smart Contracts. APLAS 2020: 44-64
[c48]
- view
  authority control:
- export record
  dblp key:
  - conf/apsec/MaZZW0020
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apsec/MaZZW0020
Yuwei Ma, Qianying Zhang, Shijun Zhao, Guohui Wang, Ximeng Li, Zhiping Shi:
Formal Verification of Memory Isolation for the TrustZone-based TEE. APSEC 2020: 149-158
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/iros/ShaoQRWG0T20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iros/ShaoQRWG0T20
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: 9614-9619
2019
[j24]
- view
  authority control:
- export record
  dblp key:
  - journals/jlp/ZhangWSGL19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/ZhangWSGL19
Jingzhi Zhang, Guohui Wang, Zhiping Shi, Yong Guan, Yongdong Li:
Formalization of functional variation in HOL Light. J. Log. Algebraic Methods Program. 106: 29-38 (2019)
[c41]
- view
  authority control:
- export record
  dblp key:
  - conf/apsec/ZhangZWSWG19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apsec/ZhangZWSWG19
Leping Zhang, Qianying Zhang, Guohui Wang, Zhiping Shi, Minhua Wu, Yong Guan:
Formal Modelling and Verification of Spinlocks at Instruction Level. APSEC 2019: 355-362
[c40]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/LiSZWGH19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/LiSZWGH19
Ximeng Li, Zhiping Shi, Qianying Zhang, Guohui Wang, Yong Guan, Ning Han:
Towards Verifying Ethereum Smart Contracts at Intermediate Language Level. ICFEM 2019: 121-137
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/tase/NieSW0WG19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tase/NieSW0WG19
Yuhan Nie, Zhiping Shi, Aixuan Wu, Ximeng Li, Guohui Wang, Yong Guan:
A HOL Theory of the Differential for Matrix Functions. TASE 2019: 121-127
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1906-06653
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1906-06653
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 abs/1906.06653 (2019)
2018
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/WangGSZLL18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/WangGSZLL18
Guohui Wang, Yong Guan, Zhiping Shi, Qianying Zhang, Xiaojuan Li, Yongdong Li:
Formalization of Symplectic Geometry in HOL-Light. ICFEM 2018: 270-283

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.