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 1 to 20 of 190  next >
Issue DateTitleAuthor(s)
2005-018-Equalities of Sequences of Fuzzy SetsZhang, G; Lu, J; Lin, Y; Chen, G; Ying, M
2022-01-02A proof system for disjoint parallel quantum programsYing, M; Zhou, L; Li, Y; Feng, Y
2021A Quantum Interpretation of Bunched Logic & Quantum Separation Logic.Zhou, L; Barthe, G; Hsu, J; Ying, M; Yu, N
2021-06-29A Quantum Interpretation of Bunched Logic & Quantum Separation LogicZhou, L; Barthe, G; Hsu, J; Ying, M; Yu, N
2002-03-28Additive models of probabilistic processesYing, M
2010-11-05An ADL-approach to specifying and analyzing centralized-mode architectural connectionSu, G; Ying, M; Zhang, C
2009-04-01An algebra of quantum processesYing, M; Feng, Y; Duan, R; Ji, Z
2009-06-02An algebraic language for distributed quantum computingYing, M; Feng, Y
2022-06-09Algebraic reasoning of Quantum programs via non-idempotent Kleene algebraPeng, Y; Ying, M; Wu, X; Jhala, R; Dillig, I
2018Algorithmic analysis of termination problems for quantum programs.Li, Y; Ying, M
-Alternation in Quantum Programming: From Superposition of Data to Superposition of ProgramsYing, M; Yu, N; Feng, Y
1990-08-15The alternativity measures of fuzzy setsYing, M
2021-01-01An HHL-based algorithm for computing hitting probabilities of quantum walksGuan, J; Wang, Q; Ying, M
2021An HHL-based algorithm for computing hitting probabilities of quantum walksGuan, J; Wang, Q; Ying, M
2010-01Ancilla-assisted discrimination of quantum gatesChen, J; Ying, M
2008-01Ancilla-Assisted Discrimination Of Quantum GatesChen, J; Ying, M
2011-07-05Any 2-n subspace is locally distinguishableYu, N; Duan, R; Ying, M
2021-12-05Approximate Equivalence Checking of Noisy Quantum CircuitsHong, X; Ying, M; Feng, Y; Zhou, X; Li, S
2000-01-01Approximate reasoning based on similarityBiacino, L; Gerla, G; Ying, M
1998-01-01Approximate reasoning with linguistic modifiersYing, M; Bouchon-Meunier, B
Showing results 1 to 20 of 190  next >