Projection methods for quantum channel construction. - Dmitriy Drusvyatskiy; Chi-Kwong Li; Diane Christine Pelejo; Yuen-Lam Voronin; Henry Wolkowicz (Quantum Inf. Process., 2015)

Deductive Proofs of Almost Sure Persistence and Recurrence Properties. - Aleksandar Chakarov; Yuen-Lam Voronin; Sriram Sankaranarayanan 001 (TACAS, 2016)

Noisy Euclidean Distance Realization: Robust Facial Reduction and the Pareto Frontier. - Dmitriy Drusvyatskiy; Nathan Krislock; Yuen-Lam Voronin; Henry Wolkowicz (SIAM J. Optim., 2017)

Validating numerical semidefinite programming solvers for polynomial invariants. - Pierre Roux 001; Yuen-Lam Voronin; Sriram Sankaranarayanan 001 (Formal Methods Syst. Des., 2018)