Author of the publication

From independent sets and vertex colorings to isotropic spaces and isotropic decompositions.

, , , , and . CoRR, (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Decomposition of quantum Markov chains and its applications., , and . J. Comput. Syst. Sci., (2018)Quantum Algorithm for Fidelity Estimation., , , , , , and . IEEE Trans. Inf. Theory, 69 (1): 273-282 (2023)New Quantum Algorithms for Computing Quantum Entropies and Distances., , , , and . CoRR, (2022)Q|SI〉: A Quantum Programming Environment., , , , , , , and . CoRR, (2017)Checking Continuous Stochastic Logic against Quantum Continuous-Time Markov Chains., , , , and . CoRR, (2022)From independent sets and vertex colorings to isotropic spaces and isotropic decompositions., , , , and . CoRR, (2019)Decomposition of quantum Markov chains and its applications. University of Technology Sydney, Australia, (2018)Q|SI⟩ : A Quantum Programming Environment., , , , , , , and . Symposium on Real-Time and Hybrid Systems, volume 11180 of Lecture Notes in Computer Science, Springer, (2018)Verifying Fairness in Quantum Machine Learning., , and . CAV (2), volume 13372 of Lecture Notes in Computer Science, page 408-429. Springer, (2022)Model Checking Quantum Continuous-Time Markov Chains., , , and . CONCUR, volume 203 of LIPIcs, page 13:1-13:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)