Browsing by Author Ying, M

Showing results 21 to 40 of 154< previous   next >
Issue DateTitleAuthor(s)
28-Aug-2013Reachability probabilities of quantum Markov chainsYing, S; Feng, Y; Yu, N; Ying, M
30-Jul-2013Five two-qubit gates are necessary for implementing the Toffoli gateYu, N; Duan, R; Ying, M
1-Feb-2013Probabilistic automata for computing with wordsCao, Y; Xia, L; Ying, M
31-Jan-2013Removing measurements from quantum walksYing, S; Ying, M
1-Jan-2013Predicate transformer semantics of quantum programsYing, M; Duan, R; Feng, Y; Ji, Z
2013Five two-qubit gates are necessary for implementing the Toffoli gateYu, N; Duan, R; Ying, M
12-Dec-2012Semantic analysis of component-aspect dynamism for connector-based architecture stylesSu, G; Ying, M; Zhang, C
1-Dec-2012Bisimulation for quantum processesFeng, Y; Duan, R; Ying, M
1-Oct-2012Reachability and termination analysis of concurrent quantum programsYu, N; Ying, M
10-Aug-2012Approximating Markov processes through filtrationZhou, C; Ying, M
13-Jul-2012Four locally indistinguishable ququad-ququad orthogonal maximally entangled statesYu, N; Duan, R; Ying, M
Jan-2012Bisimulation For Quantum ProcessesFeng, Y; Duan, R; Ying, M
2012Four Locally Indistinguishable Ququad-Ququad Orthogonal Maximally Entangled StatesYu, N; Duan, R; Ying, M
1-Dec-2011Translating first-order theories into logic programsZhang, H; Zhang, Y; Ying, M; Zhou, Y
1-Dec-2011Floyd-hoare logic for quantum programsYing, M
8-Aug-2011A flowchart language for quantum programmingYing, M; Feng, Y
5-Jul-2011Any 2-n subspace is locally distinguishableYu, N; Duan, R; Ying, M
1-Jan-2011Bisimulation for quantum processesFeng, Y; Duan, R; Ying, M
1-Dec-2010Foundations of quantum programmingYing, M
5-Nov-2010An ADL-approach to specifying and analyzing centralized-mode architectural connectionSu, G; Ying, M; Zhang, C