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 221  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
2020A Tensor Network based Decision Diagram for Representation of Quantum Circuits.Hong, X; Zhou, X; Li, S; Feng, Y; Ying, M
2022A Tensor Network based Decision Diagram for Representation of Quantum Circuits.Hong, X; Zhou, X; Li, S; Feng, Y; Ying, M
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
2021Algebraic Reasoning of Quantum Programs via Non-Idempotent Kleene Algebra.Peng, Y; Ying, M; Wu, X
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
2019-06-08An applied quantum hoare logicZhou, L; Yu, N; Ying, M; McKinley, KS; Fisher, K
2021An HHL-based algorithm for computing hitting probabilities of quantum walksGuan, J; Wang, Q; Ying, M
2021-01-01An 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