Cost-Sharing Mechanisms for Selfish Bin Packing. - Chenhao Zhang 003; Guochuan Zhang (COCOA (1), 2017)

Optimal Budget-Feasible Mechanisms for Additive Valuations. - Nick Gravin; Yaonan Jin; Pinyan Lu; Chenhao Zhang 003 (ACM Trans. Economics and Comput., 2020)

SnapCheck: Automated Testing for Snap! Programs. - Wengran Wang; Chenhao Zhang 003; Andreas Stahlbauer; Gordon Fraser 001; Thomas W. Price (ITiCSE (1), 2021)

SnapCheck: Automated Testing for Snap Programs. - Wengran Wang; Chenhao Zhang 003; Andreas Stahlbauer; Gordon Fraser 001; Thomas W. Price (CoRR, 2021)

Karp: a language for NP reductions. - Chenhao Zhang 003; Jason D. Hartline; Christos Dimoulas (PLDI, 2022)

From packing rules to cost-sharing mechanisms. - Chenhao Zhang 003; Guochuan Zhang (J. Comb. Optim., 2022)

Regulation of Algorithmic Collusion. - Jason D. Hartline; Sheng Long; Chenhao Zhang 003 (CSLAW, 2024)

Regulation of Algorithmic Collusion, Refined: Testing Pessimistic Calibrated Regret. - Jason D. Hartline; Chang Wang 004; Chenhao Zhang 003 (CSLAW, 2025)