Chenyi Zhang

Identifiers

No identifiers captured yet.

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

No mention provenance yet.

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