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.

 

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

Symbolic Reasoning About Quantum Circuits in Coq., , , , и . J. Comput. Sci. Technol., 36 (6): 1291-1306 (2021)Symbolic Reasoning about Quantum Circuits in Coq., , , , и . CoRR, (2020)On incorrectness logic for Quantum programs., , и . Proc. ACM Program. Lang., 6 (OOPSLA1): 1-28 (2022)Non-preemptive Semantics for Data-Race-Free Programs., , , и . ICTAC, том 11187 из Lecture Notes in Computer Science, стр. 513-531. Springer, (2018)Towards certified separate compilation for concurrent programs., , , , и . PLDI, стр. 111-125. ACM, (2019)