( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Verifying Quantum Communication Protocols with Ground Bisimulation.

, , и . TACAS (2), том 12079 из Lecture Notes in Computer Science, стр. 21-38. Springer, (2020)

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.

Yuxin Deng

Yuxin Zhao

Zhiguo Deng

Ming Deng

Petra Deng

 

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

Model checking QCTL plus on quantum Markov chains., , , и . Theor. Comput. Sci., (2022)ReDFeat: Recoupling Detection and Description for Multimodal Feature Learning., и . IEEE Trans. Image Process., (2023)Generating Permission-Based Security Policies., , , и . DSA, стр. 1-7. IEEE, (2018)Qsimulation V2.0: An Optimized Quantum Simulator., , , и . ICTAC, том 12545 из Lecture Notes in Computer Science, стр. 307-316. Springer, (2020)A Sample-Driven Solving Procedure for the Repeated Reachability of Quantum CTMCs., , , , и . CoRR, (2023)Encodability Criteria for Quantum Based Systems., , и . FORTE, том 13273 из Lecture Notes in Computer Science, стр. 151-169. Springer, (2022)Simulations for Multi-Agent Systems with Imperfect Information., и . ICFEM, том 11852 из Lecture Notes in Computer Science, стр. 138-153. Springer, (2019)ResMatch: Residual Attention Learning for Feature Matching., , , , и . AAAI, стр. 1501-1509. AAAI Press, (2024)The Expansion Methods of Inception and Its Application., , , и . Symmetry, 16 (4): 494 (апреля 2024)The Buffered π-Calculus: A Model for Concurrent Languages, , , и . CoRR, (2012)