( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Formal Verification of Quantum Algorithms Using Quantum Hoare Logic.

, , , , , , , и . CAV (2), том 11562 из Lecture Notes in Computer Science, стр. 187-207. Springer, (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.

Li Li

Li Li

Li Li

Li Li

Li Li

 

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

Algorithmic analysis of termination problems for quantum programs., и . Proc. ACM Program. Lang., 2 (POPL): 35:1-35:29 (2018)Computing reachable sets of linear vector fields revisited., , , , и . ECC, стр. 419-426. IEEE, (2016)Approximate Bisimulation and Discretization of Hybrid CSP., , , , и . FM, том 9995 из Lecture Notes in Computer Science, стр. 702-720. (2016)Robust Non-termination Analysis of Numerical Software., , , и . SETTA, том 10998 из Lecture Notes in Computer Science, стр. 69-88. Springer, (2018)Debugging Quantum Processes Using Monitoring Measurements., и . CoRR, (2014)Reasoning about Parallel Quantum Programs., и . CoRR, (2018)Formal Verification of Quantum Algorithms Using Quantum Hoare Logic., , , , , , , и . CAV (2), том 11562 из Lecture Notes in Computer Science, стр. 187-207. Springer, (2019)Reachability Analysis for Solvable Dynamical Systems., , , , и . IEEE Trans. Automat. Contr., 63 (7): 2003-2018 (2018)Exploiting Quantum Assertions for Error Mitigation and Quantum Program Debugging., , , и . ICCD, стр. 124-131. IEEE, (2022)Quantum Relational Hoare Logic with Expectations., и . CoRR, (2019)