OPUS at UTS: Browsing OPUS - Open Publications of UTS Scholars

Browsing byAuthorYing, M

Showing results 86 to 105 of 221< previous next >

Issue Date	Title	Author(s)
2005-03-01	Knowledge transformation and fusion in diagnostic systems	Ying, M
2002-08-01	Lattice-theoretic models of conjectures, hypotheses and consequences	Ying, M; Wang, H
2006-05-01	Linguistic quantifiers modeled by Sugeno integrals	Ying, M
2005-09-01	Local cloning of two product states	Ji, Z; Feng, Y; Ying, M
2004-12-06	Local discrimination of maximally entangled states in canonical form	Cao, H; Ying, M
2008-01-17	Local distinguishability of multipartite unitary operations	Duan, R; Feng, Y; Ying, M
2010-09-30	Local unambiguous discrimination with remaining entanglement	Li, Y; Duan, R; Ying, M
2010-03-29	Locally indistinguishable subspaces spanned by three-qubit unextendible product bases	Duan, R; Xin, Y; Ying, M
2009-11-01	Locally undetermined states, generalized schmidt decomposition, and application in deistributed comuting	Feng, Y; Duan, R; Ying, M
2002-01-01	Lower bound on inconclusive probability of unambiguous discrimination	Feng, Y; Zhang, S; Duan, R; Ying, M
2010-01-01	The LU-LC conjecture is false	Zhengfeng, JI; Chen, J; Wei, Z; Ying, M
2006-10-25	Majorization in quantum adiabatic algorithms	Wei, Z; Ji, Z; Ying, M
2002-01-01	Mathematical nature of and a family of lower bounds for the success probability of unambiguous discrimination	Sun, X; Zhang, S; Feng, Y; Ying, M
2019	Model Checking Applied to Quantum Physics.	Guan, J; Feng, Y; Turrini, A; Ying, M
2021-01-01	Model Checking for Verification of Quantum Circuits	Ying, M
2021	Model Checking for Verification of Quantum Circuits.	Ying, M; Huisman, M; Pasareanu, CS; Zhan, N
2013-11-01	Model checking quantum Markov chains	Feng, Y; Yu, N; Ying, M
2021-01-31	Model Checking Quantum Systems Principles and Algorithms	Ying, M; Feng, Y
2014-07-08	Model-checking linear-time properties of quantum systems	Ying, M; Li, Y; Yu, N; Feng, Y
2019-01-01	Model-checking quantum systems	Ying, M; Feng, Y

Showing results 86 to 105 of 221< previous next >