( en | de | ru )

 

Disambiguierung von "Ying, Mingsheng"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Q|SI⟩ : A Quantum Programming Environment.

, , , , , , , und . Symposium on Real-Time and Hybrid Systems, Volume 11180 von Lecture Notes in Computer Science, Springer, (2018)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Ying Ying

Jianping Ying

Xiang Ying

Haoyuan Ying

Li Ying

 

Weitere Publikationen von Autoren mit dem selben Namen

The LU-LC conjecture is false., , , und . Quantum Inf. Comput., 10 (1&2): 97-108 (2010)Proof rules for the correctness of quantum programs., , , und . Theor. Comput. Sci., 386 (1-2): 151-166 (2007)Quantum Algorithm for Lexicographically Minimal String Rotation., und . Theory Comput. Syst., 68 (1): 29-74 (Februar 2024)Retraction and Generalized Extension of Computing with Words, , und . CoRR, (2006)Symbolic Execution for Quantum Error Correction Programs., und . CoRR, (2023)Differential Privacy in Quantum Computation., und . CSF, Seite 249-262. IEEE Computer Society, (2017)Reachability and Termination Analysis of Concurrent Quantum Programs., und . CONCUR, Volume 7454 von Lecture Notes in Computer Science, Seite 69-83. Springer, (2012)Partial Recovery of Quantum Entanglement., , und . IEEE Trans. Inf. Theory, 52 (7): 3080-3104 (2006)Sequential voting rules and multiple elections paradoxes., , und . TARK, Seite 279-288. (2007)Atomicity in Distributed Quantum Computing., und . CoRR, (2024)