Yuen-Lam Voronin

According to our database1, Yuen-Lam Voronin authored at least 4 papers between 2015 and 2018.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2018
Validating numerical semidefinite programming solvers for polynomial invariants.
Formal Methods Syst. Des., 2018

2017
Noisy Euclidean Distance Realization: Robust Facial Reduction and the Pareto Frontier.
SIAM J. Optim., 2017

2016
Deductive Proofs of Almost Sure Persistence and Recurrence Properties.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

2015
Projection methods for quantum channel construction.
Quantum Inf. Process., 2015


  Loading...