Zhenqi Huang

Identifiers

• name variant Zhenqi Huang 0.60 · backfill

Papers (5)

1. Approximate Partial Order Reduction cs.LO · 2016 · author #2
2. Controller Synthesis with Inductive Proofs for Piecewise Linear Systems: an SMT-based Algorithm cs.SY · 2015 · author #1
3. Controller Synthesis for Linear Time-varying Systems with Adversaries cs.SY · 2015 · author #1
4. Differentially Private Distributed Optimization cs.CR · 2014 · author #1
5. Differentially Private Iterative Synchronous Consensus cs.CR · 2012 · author #1

Mentions

• 1401.2596 #1 · backfill · confidence 0.70 Zhenqi Huang
• 1207.4262 #1 · backfill · confidence 0.70 Zhenqi Huang

Frequent Coauthors

• Sayan Mitra 5 shared papers
• Geir Dullerud 2 shared papers
• Yu Wang 2 shared papers
• Chuchu Fan 1 shared papers
• Geir E. Dullerud 1 shared papers
• Nitin Vaidya 1 shared papers
• Swarat Chaudhuri 1 shared papers