Zhiheng Cai

According to our database, Zhiheng Cai authored at least 4 papers between 2018 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2026

A Refined Ordering Consistency Theory: Full Sequential Consistency and Generalized Preventive Reasoning.

Zhiheng Cai, Zhihang Sun, Fei He

Proceedings of the Formal Methods - 27th International Symposium, 2026

2025

Fast Verification of Strong Database Isolation.

Zhiheng Cai, Si Liu, Hengfeng Wei, Yuxing Chen, Anqun Pan

Proc. VLDB Endow., December, 2025

Fast Verification of Strong Database Isolation (Extended Version).

Zhiheng Cai, Si Liu, Hengfeng Wei, Yuxing Chen, Anqun Pan

CoRR, November, 2025

2018

Efficient Sensor Placement Optimization for Shape Deformation Sensing of Antenna Structures with Fiber Bragg Grating Strain Sensors.

Jinzhu Zhou, Zhiheng Cai, Pengbing Zhao, Baofu Tang

Sensors, 2018