1. OPUS at UTS

Browsing byAuthorYing, M

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:  
Showing results 66 to 85 of 221< previous   next >
Issue DateTitleAuthor(s)
2022Fault Models in Superconducting quantum circuits.Huang, Q; Li, B; Gao, M; Ying, M
2013Five two-qubit gates are necessary for implementing the Toffoli gateYu, N; Duan, R; Ying, M
2013-07-30Five two-qubit gates are necessary for implementing the Toffoli gateYu, N; Duan, R; Ying, M
2011-08-08A flowchart language for quantum programmingYing, M; Feng, Y
2011-12-01Floyd-hoare logic for quantum programsYing, M
2002-10-01A formal model of computing with wordsYing, M
2019-01-01Formal verification of quantum algorithms using quantum hoare logicLiu, J; Zhan, B; Wang, S; Ying, S; Liu, T; Li, Y; Ying, M; Zhan, N; Dillig, I; Tasiran, S
2016-03-10Foundations of Quantum ProgrammingYing, M
2016-03-28Foundations of Quantum ProgrammingYing, M
2010-12-01Foundations of quantum programmingYing, M
2012Four Locally Indistinguishable Ququad-Ququad Orthogonal Maximally Entangled StatesYu, N; Duan, R; Ying, M
2012-07-13Four locally indistinguishable ququad-ququad orthogonal maximally entangled statesYu, N; Duan, R; Ying, M
1993-06-25Fuzzifying topology based on complete residuated lattice-valued logic (I)Ying, M
1993-01-11Fuzzifying uniform spacesYing, M
1987-01-01Fuzzy semilatticesYing, M
2004-12-01Generalized region connection calculusLi, S; Ying, M
2006-05-29Identification and distance measures of measurement apparatusJi, Z; Feng, Y; Duan, R; Ying, M
2002-02-01Implication operators in fuzzy logicYing, M
2017-01-01Invariants of quantum programs: Characterisations and generationYing, M; Ying, S; Wu, X
2023-01-01isQ: An Integrated Software Stack for Quantum ProgrammingGuo, J; Lou, H; Yu, J; Li, R; Fang, W; Liu, J; Long, P; Ying, S; Ying, M
Showing results 66 to 85 of 221< previous   next >