Zhenhua Duan

Identifiers

• name variant Zhenhua Duan 0.60 · backfill

Papers (6)

1. Translating Xd-C programs to MSVL programs cs.PL · 2018 · author #4
2. Extending PPTL for Verifying Heap Evolution Properties cs.LO · 2015 · author #2
3. An Improved Decision Procedure for Linear Time Mu-Calculus cs.LO · 2015 · author #2
4. Buchi Determinization Made Tighter cs.FL · 2014 · author #2
5. Detecting Spurious Counterexamples Efficiently in Abstract Model Checking cs.LO · 2011 · author #2
6. Making Abstraction Refinement Efficient in Model Checking cs.LO · 2010 · author #2

Mentions

• 1109.5506 #2 · backfill · confidence 0.70 Zhenhua Duan
• 1007.3569 #2 · backfill · confidence 0.70 Zhenhua Duan

Frequent Coauthors

• Cong Tian 6 shared papers
• Chenguang Yao 1 shared papers
• Meng Wang 1 shared papers
• Nan Zhang 1 shared papers
• Xu Lu 1 shared papers
• Yao Liu 1 shared papers