| Publication | Date of Publication | Type |
|---|
QHDOPT: a software for nonlinear optimization with quantum Hamiltonian descent
INFORMS Journal on Computing | 2025-03-14 | Paper |
A formally certified end-to-end implementation of Shor's factorization algorithm
Proceedings of the National Academy of Sciences of the United States of America | 2025-03-06 | Paper |
A family of accelerated hybrid conjugate gradient method for unconstrained optimization and image restoration
Journal of Applied Mathematics and Computing | 2024-08-12 | Paper |
An effective inertial-relaxed CGPM for nonlinear monotone equations
Journal of Applied Mathematics and Computing | 2024-07-25 | Paper |
Fixing and mechanizing the security proof of Fiat-Shamir with aborts and Dilithium
Advances in Cryptology – CRYPTO 2023 | 2024-02-06 | Paper |
On the Computational Complexity of Schrödinger Operators
(available as arXiv preprint) | 2024-01-01 | Paper |
Two families of hybrid conjugate gradient methods with restart procedures and their applications
Optimization Methods & Software | 2023-09-27 | Paper |
A family of inertial-relaxed DFPM-based algorithms for solving large-scale monotone nonlinear equations with application to sparse signal restoration
Journal of Computational and Applied Mathematics | 2022-10-06 | Paper |
Constant-round blind classical verification of quantum sampling
(available as arXiv preprint) | 2022-08-30 | Paper |
| An improved PRP type spectral conjugate gradient method with restart steps | 2022-08-17 | Paper |
Quantum SDP solvers: large speed-ups, optimality, and applications to quantum learning
(available as arXiv preprint) | 2022-07-21 | Paper |
Flow-induced vibration on isolated and tandem elliptic cylinders with varying reduced velocities: a lattice Boltzmann flux solver study with immersed boundary method
European Journal of Mechanics. B. Fluids | 2021-12-01 | Paper |
Quantum Query Complexity of Entropy Estimation
IEEE Transactions on Information Theory | 2019-07-19 | Paper |
Limitations of semidefinite programs for separable states and entangled games
Communications in Mathematical Physics | 2019-03-20 | Paper |
Limitations of semidefinite programs for separable states and entangled games
Communications in Mathematical Physics | 2019-03-20 | Paper |
Combined immersed boundary method and multiple-relaxation-time lattice Boltzmann flux solver for numerical simulations of incompressible flows
AMM. Applied Mathematics and Mechanics. (English Edition) | 2018-02-12 | Paper |
scientific article; zbMATH DE number 6829293 (Why is no real title available?)
(available as arXiv preprint) | 2018-01-24 | Paper |
Sample-optimal tomography of quantum states
IEEE Transactions on Information Theory | 2017-11-10 | Paper |
Invariants of quantum programs: characterisations and generation
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages | 2017-10-20 | Paper |
| Tight SoS-degree bounds for approximate Nash equilibria | 2017-10-10 | Paper |
Sample-optimal tomography of quantum states
Proceedings of the forty-eighth annual ACM symposium on Theory of Computing | 2017-09-29 | Paper |
An improved semidefinite programming hierarchy for testing entanglement
Communications in Mathematical Physics | 2017-05-19 | Paper |
| A new method for solving a class of multiplicative programming | 2016-01-15 | Paper |
Epsilon-net method for optimizations over separable states
Theoretical Computer Science | 2015-09-16 | Paper |
Epsilon-net method for optimizations over separable states
Automata, Languages, and Programming | 2013-08-12 | Paper |
Parallel approximation of min-max problems
Computational Complexity | 2013-07-19 | Paper |
Exact quantum search by parallel unitary discrimination schemes
Physical Review A | 2013-01-19 | Paper |
VERIFIER-BASED ALGORITHM FOR UNSORTED DATABASE SEARCH PROBLEM
International Journal of Quantum Information | 2008-07-02 | Paper |
