( 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

Yiming Deng

Petra Deng

 

Other publications of authors with the same name

ReDFeat: Recoupling Detection and Description for Multimodal Feature Learning., and . IEEE Trans. Image Process., (2023)Model checking QCTL plus on quantum Markov chains., , , and . Theor. Comput. Sci., (2022)Generating Permission-Based Security Policies., , , and . DSA, page 1-7. IEEE, (2018)Qsimulation V2.0: An Optimized Quantum Simulator., , , and . ICTAC, volume 12545 of Lecture Notes in Computer Science, page 307-316. Springer, (2020)The Buffered π-Calculus: A Model for Concurrent Languages, , , and . CoRR, (2012)Formal semantics of a classical-quantum language., and . Theor. Comput. Sci., (2022)An algebraic method to fidelity-based model checking over quantum Markov chains., , , 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)