From post

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.

 

Другие публикации лиц с тем же именем

Verifying Quantum Programs: From Quipper to QPMC., , , и . CoRR, (2017)Towards Quantum Programs Verification: From Quipper Circuits to QPMC., , , и . RC, том 9720 из Lecture Notes in Computer Science, стр. 213-219. Springer, (2016)Entangλ Entang λ e: A Translation Framework from Quipper Programs to Quantum Markov Chains., , , и . InfQ@VALUETOOLS, том 825 из Communications in Computer and Information Science, стр. 113-126. Springer, (2017)