OPUS at UTS: Search - Open Publications of UTS Scholars

Search

Current filters:

Add Filter:

Results

Customise results display

Sort items by

In order

Results/Page

Authors/record

Item hits:

Issue Date	Title	Author(s)
2014	(Un)decidable Problems about Reachability of Quantum Systems.	Li, Y; Ying, M; Baldan, P; Gorla, D
2007-04-01	State-based control of fuzzy discrete-event systems	Cao, Y; Ying, M; Chen, G
2001-09-06	Recursive equations in higher-order process calculi	Ying, M; Wirsing, M
2008-12-24	Reasoning with cardinal directions: An efficient algorithm	Zhang, X; Liu, W; Li, S; Ying, M
2007-05-24	Multipartite unlockable bound entanglement in the stabilizer formalism	Wang, G; Ying, M
2020-01-08	Strassen's theorem for quantum couplings	Zhou, L; Ying, S; Yu, N; Ying, M
2008-01	Ancilla-Assisted Discrimination Of Quantum Gates	Chen, J; Ying, M
2005-03-01	Catalyst-assisted probabilistic entanglement transformation	Feng, Y; Duan, R; Ying, M
2011-12-01	Floyd-hoare logic for quantum programs	Ying, M
2007-06-11	Distinguishing arbitrary multipartite basis unambiguously using local operations and classical communication	Duan, R; Feng, Y; Ji, Z; Ying, M

Results 1-10 of 18 (Search time: 0.01 seconds).

previous
1
2
next