Chenyi Zhang

Identifiers

• name variant Chenyi Zhang 0.60 · backfill

Papers (7)

1. Scalable First-Order Interior Point Trust Region Algorithms for Linearly Constrained Optimization cs.DS · 2026 · author #2
2. A Relational Static Semantics for Call Graph Construction cs.PL · 2019 · author #2
3. Characterising Probabilistic Alternating Simulation for Concurrent Games cs.LO · 2019 · author #1
4. The Complexity of Synchronous Notions of Information Flow Security cs.CR · 2014 · author #3
5. An Algorithm for Probabilistic Alternating Simulation cs.GT · 2011 · author #1
6. Unwinding Conditional Noninterference cs.CR · 2010 · author #1
7. On Probabilistic Alternating Simulations cs.LO · 2010 · author #1

Mentions

• 1402.0601 #3 · backfill · confidence 0.70 Chenyi Zhang
• 1106.1978 #1 · backfill · confidence 0.70 Chenyi Zhang
• 1003.3893 #1 · backfill · confidence 0.70 Chenyi Zhang
• 1003.0788 #1 · backfill · confidence 0.70 Chenyi Zhang

Frequent Coauthors

• Jun Pang 3 shared papers
• Franck Cassez 1 shared papers
• Peiyuan Huang 1 shared papers
• Ron van der Meyden 1 shared papers
• Tongyang Li 1 shared papers
• Xilong Zhuo 1 shared papers
• Yinyu Ye 1 shared papers
• Yuexin Su 1 shared papers