Author of the publication

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

Optimal Policies for Quantum Markov Decision Processes., , and . Int. J. Autom. Comput., 18 (3): 410-421 (2021)Formal Verification of Quantum Algorithms Using Quantum Hoare Logic., , , , , , , and . CAV (2), volume 11562 of Lecture Notes in Computer Science, page 187-207. Springer, (2019)Quantum Hoare Logic., , , , , , , and . Arch. Formal Proofs, (2019)Quantum Privacy-Preserving Data Analytics., , and . CoRR, (2017)Model Checking Omega-regular Properties for Quantum Markov Chains ., , , and . CONCUR, volume 85 of LIPIcs, page 35:1-35:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)Reachability analysis of quantum Markov decision processes., and . Inf. Comput., (2018)Quantum Privacy-Preserving Perceptron., , and . CoRR, (2017)Reachability Probabilities of Quantum Markov Chains., , , and . CONCUR, volume 8052 of Lecture Notes in Computer Science, page 334-348. Springer, (2013)Strassen's theorem for quantum couplings., , , and . Theor. Comput. Sci., (2020)Quantum Privacy-Preserving Data Mining., , and . CoRR, (2015)