Zining Cao

Identifiers

• name variant Zining Cao 0.60 · backfill

Papers (3)

1. On Generalized Performance Evaluation and Generalized Controller Synthesis cs.LO · 2026 · author #1
2. Refinement Checking for Multirate Hybrid ZIA cs.LO · 2014 · author #2
3. Reducing Higher Order Pi-Calculus to Spatial Logics cs.LO · 2010 · author #1

Mentions

• 1410.3773 #2 · backfill · confidence 0.70 Zining Cao
• 2605.18688 #1 · arxiv_oai · confidence 0.70 Zining Cao
• 1011.2896 #1 · backfill · confidence 0.70 Zining Cao

Frequent Coauthors

• Guozheng Li 1 shared papers
• Zheng Gao 1 shared papers