( en | de | ru )

 

Disambiguation of "Deng, Yuxin"

Author of the publication

copydeleteadd this publication to your clipboard
Formal semantics of a classical-quantum language.

, and . Theor. Comput. Sci., (2022)

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. You can also use the button next to the name to display some publications already assigned to the person.

Yuxin Deng

Yuxin Zhao

Zhiguo Deng

Mario Deng

Yiming Deng

 

Other publications of authors with the same name

Model checking QCTL plus on quantum Markov chains., , , and . Theor. Comput. Sci., (2022)ReDFeat: Recoupling Detection and Description for Multimodal Feature Learning., and . IEEE Trans. Image Process., (2023)Qsimulation V2.0: An Optimized Quantum Simulator., , , and . ICTAC, volume 12545 of Lecture Notes in Computer Science, page 307-316. Springer, (2020)Generating Permission-Based Security Policies., , , and . DSA, page 1-7. IEEE, (2018)The Buffered π-Calculus: A Model for Concurrent Languages, , , and . CoRR, (2012)An algebraic method to fidelity-based model checking over quantum Markov chains., , , and . Theor. Comput. Sci., (2022)Formal semantics of a classical-quantum language., and . Theor. Comput. Sci., (2022)Investigation on the Radar Scattering and Doppler Spectrum From Trimaran Based on the Motion of Six Degrees of Freedom., , , and . IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens., (2023)Learning Attention-Based Translational Knowledge Graph Embedding via Nonlinear Dynamic Mapping., , , and . PAKDD (3), volume 12714 of Lecture Notes in Computer Science, page 141-154. Springer, (2021)Local Reasoning About Probabilistic Behaviour for Classical-Quantum Programs., , and . VMCAI (2), volume 14500 of Lecture Notes in Computer Science, page 163-184. Springer, (2024)