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 158 to 177 of 221< previous   next >
Issue DateTitleAuthor(s)
2018-12-01Reachability analysis of quantum Markov decision processesYing, S; Ying, M
2013-10-15Reachability analysis of recursive quantum Markov chainsFeng, Y; Yu, N; Ying, M
2012-10-01Reachability and termination analysis of concurrent quantum programsYu, N; Ying, M
2013-08-28Reachability probabilities of quantum Markov chainsYing, S; Feng, Y; Yu, N; Ying, M
1990-06-25Reasonableness of the compositional rule of fuzzy inferenceYing, M
2010-08-01Reasoning about cardinal directions between extended objectsLiu, W; Zhang, X; Li, S; Ying, M
2003-05-01Reasoning about probabilistic sequential programs in a probabilistic logicYing, M
2021Reasoning about Recursive Quantum Programs.Xu, Z; Ying, M; Valiron, B
2008-12-24Reasoning with cardinal directions: An efficient algorithmZhang, X; Liu, W; Li, S; Ying, M
2001-09-06Recursive equations in higher-order process calculiYing, M; Wirsing, M
2003-04-01Region connection calculus: Its models and composition tableLi, S; Ying, M
2006-10-20Relation between catalyst-assisted transformation and multiple-copy transformation for bipartite pure statesFeng, Y; Duan, R; Ying, M
2006-08-14A relation between fidelity and quantum adiabatic evolutionWei, Z; Ying, M
2020-01-01Relational proofs for quantum programsBarthe, G; Hsu, J; Ying, M; Yu, N; Zhou, L
2013-01-31Removing measurements from quantum walksYing, S; Ying, M
2007-12-01Retraction and generalized extension of computing with wordsCao, Y; Ying, M; Chen, G
2021-01-01Robustness Verification of Quantum ClassifiersGuan, J; Fang, W; Ying, M; Silva, A; Leino, KRM
2012-12-12Semantic analysis of component-aspect dynamism for connector-based architecture stylesSu, G; Ying, M; Zhang, C
2002-01-01Set discrimination of quantum statesZhang, S; Ying, M
1999-03-06A shorter proof to uniqueness of solutions of equationsYing, M
Showing results 158 to 177 of 221< previous   next >