( 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.

Shuling Wu

Shuling Yan

Wang Wang

Linfang Wang

Investigation of the functions of 53BP1 in DNA demethylation. Uni Marburg, (2009)

Xiangdong Wang

 

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

New developments in control design techniques of logical control networks., , , и . Frontiers Inf. Technol. Electron. Eng., 21 (2): 220-233 (2020)A Two-Way Path Between Formal and Informal Design of Embedded Systems., , , , и . UTP, том 10134 из Lecture Notes in Computer Science, стр. 65-92. Springer, (2016)An Assume/Guarantee Based Compositional Calculus for Hybrid CSP., , и . TAMC, том 7287 из Lecture Notes in Computer Science, стр. 72-83. Springer, (2012)An Improved HHL Prover: An Interactive Theorem Prover for Hybrid Systems., , и . ICFEM, том 9407 из Lecture Notes in Computer Science, стр. 382-399. Springer, (2015)Confinement framework for encapsulating objects., , и . Frontiers Comput. Sci., 7 (2): 236-256 (2013)Formal Modelling, Analysis and Verification of Hybrid Systems., , и . ICTAC Training School on Software Engineering, том 8050 из Lecture Notes in Computer Science, стр. 207-281. Springer, (2013)A Graph-Based Operational Semantics of OO Programs., , , и . ICFEM, том 5885 из Lecture Notes in Computer Science, стр. 347-366. Springer, (2009)Further Results on Large-Scale Complex Logical Networks., , , , и . IEEE Access, (2020)Cross-Modal Knowledge Distillation for Depth Privileged Monocular Visual Odometry., , , , и . IEEE Robotics Autom. Lett., 7 (3): 6171-6178 (2022)Formal Verification of Quantum Algorithms Using Quantum Hoare Logic., , , , , , , и . CAV (2), том 11562 из Lecture Notes in Computer Science, стр. 187-207. Springer, (2019)