We stand with Ukraine  

ZhengPu Shi

Orcid: 0000-0001-5151-507X

According to our database1, ZhengPu Shi authored at least 5 papers between 2022 and 2025.

Collaborative distances:
  • Dijkstra number2 of six.
  • Erdős number3 of five.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2025
VQCS: Verified Quantity Calculus System.
[BibTeX]
[DOI]
ZhengPu Shi
Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2025

2024
Formal Verification of Executable Matrix Inversion via Adjoint Matrix and Gaussian Elimination.
[BibTeX]
[DOI]
ZhengPu Shi
,
Gang Chen
Proceedings of the 26th International Symposium on Principles and Practice of Declarative Programming, 2024

Coq Formalization of Orientation Representation: Matrix, Euler Angles, Axis-Angle and Quaternion.
[BibTeX]
[DOI]
ZhengPu Shi
,
Gang Chen
Proceedings of the Formal Aspects of Component Software - 20th International Conference, 2024

2023
CoqMatrix: Formal matrix library with multiple models in Coq.
[BibTeX]
[DOI]
ZhengPu Shi
,
Guojun Xie
,
Gang Chen
J. Syst. Archit., October, 2023

2022
Integration of Multiple Formal Matrix Models in Coq.
[BibTeX]
[DOI]
ZhengPu Shi
,
Gang Chen
Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2022


  Loading...