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 97 to 116 of 221< previous   next >
Issue DateTitleAuthor(s)
2006-10-25Majorization in quantum adiabatic algorithmsWei, Z; Ji, Z; Ying, M
2002-01-01Mathematical nature of and a family of lower bounds for the success probability of unambiguous discriminationSun, X; Zhang, S; Feng, Y; Ying, M
2019Model Checking Applied to Quantum Physics.Guan, J; Feng, Y; Turrini, A; Ying, M
2021-01-01Model Checking for Verification of Quantum CircuitsYing, M
2021Model Checking for Verification of Quantum Circuits.Ying, M; Huisman, M; Pasareanu, CS; Zhan, N
2013-11-01Model checking quantum Markov chainsFeng, Y; Yu, N; Ying, M
2021-01-31Model Checking Quantum Systems Principles and AlgorithmsYing, M; Feng, Y
2014-07-08Model-checking linear-time properties of quantum systemsYing, M; Li, Y; Yu, N; Feng, Y
2019-01-01Model-checking quantum systemsYing, M; Feng, Y
2006-06-05A modified quantum adiabatic evolution for the Deutsch-Jozsa problemWei, Z; Ying, M
2007-05-24Multipartite unlockable bound entanglement in the stabilizer formalismWang, G; Ying, M
2005-04-01Multiple-copy entanglement transformation and entanglement catalysisDuan, R; Feng, Y; Li, X; Ying, M
1991-02-15A new approach for fuzzy topology (I)Ying, M
1992-04-27A new approach for fuzzy topology (II)Ying, M
1993-04-26A new approach for fuzzy topology (III)Ying, M
2022New Quantum Algorithms for Computing Quantum Entropies and Distances.Wang, Q; Guan, J; Liu, J; Zhang, Z; Ying, M
2010Nonclassical computation : formal models, mathematical structures and logical foundations (Collected papers)Ying, M
2006-04-01Observability and decentralized control of fuzzy discrete-event systemsCao, Y; Ying, M
2005-09-07On countable RCC modelsLi, S; Ying, M; Li, Y
2007-05-01On fundamentals of fuzzy logic and soft computing and some applicationsLiu, Y; Ying, M; Chen, G
Showing results 97 to 116 of 221< previous   next >