Yuen-Lam Voronin

Publication Activity (10 Years)

Years Active: 2015-2018
Publications (10 Years): 4

Top Topics

Numerically Stable

Symmetric Matrix

Top Venues

Formal Methods Syst. Des.

Publications

Pierre Roux, Yuen-Lam Voronin, Sriram Sankaranarayanan
Validating numerical semidefinite programming solvers for polynomial invariants. Formal Methods Syst. Des. 53 (2) (2018)
Dmitriy Drusvyatskiy, Nathan Krislock, Yuen-Lam Voronin, Henry Wolkowicz
Noisy Euclidean Distance Realization: Robust Facial Reduction and the Pareto Frontier. SIAM J. Optim. 27 (4) (2017)
Aleksandar Chakarov, Yuen-Lam Voronin, Sriram Sankaranarayanan
Deductive Proofs of Almost Sure Persistence and Recurrence Properties. TACAS (2016)
Pierre Roux, Yuen-Lam Voronin, Sriram Sankaranarayanan
Validating Numerical Semidefinite Programming Solvers for Polynomial Invariants. SAS (2016)
Dmitriy Drusvyatskiy, Chi-Kwong Li, Diane Christine Pelejo, Yuen-Lam Voronin, Henry Wolkowicz
Projection methods for quantum channel construction. Quantum Inf. Process. 14 (8) (2015)