Search
Add Filter:
Results
Item hits:
Issue Date | Title | Author(s) |
---|---|---|
2022-06-09 | Algebraic reasoning of Quantum programs via non-idempotent Kleene algebra | Peng, Y; Ying, M; Wu, X; Jhala, R; Dillig, I |
2003-06-01 | Extensionality of the RCC8 Composition Table | Li, S; Ying, M |
2007-10-28 | Proof rules for the correctness of quantum programs | Feng, Y; Duan, R; Ji, Z; Ying, M |
2021-03-01 | Equivalence checking of quantum finite-state machines | Wang, Q; Liu, J; Ying, M |
2021-01-31 | Model Checking Quantum Systems Principles and Algorithms | Ying, M; Feng, Y |
2012-12-01 | Bisimulation for quantum processes | Feng, Y; Duan, R; Ying, M |
2021-01-01 | An HHL-based algorithm for computing hitting probabilities of quantum walks | Guan, J; Wang, Q; Ying, M |
2008-02-07 | Existence of universal entangler | Chen, J; Duan, R; Ji, Z; Ying, M; Yu, J |
1993-01-11 | Fuzzifying uniform spaces | Ying, M |
2013-02-01 | Probabilistic automata for computing with words | Cao, Y; Xia, L; Ying, M |
Discover
Subject
Date issued
- 25 2020 - 2022
- 59 2010 - 2019
- 81 2000 - 2009
- 14 1990 - 1999
- 2 1987 - 1989
Has File(s)
- 185 true
Type
- 123 Journal Article
- 20 Conference Proceeding
- 4 Book
- 3 Chapter
- 1 preprint
- 1 Working Paper
Copyright Status
- 77 closed_access
- 44 open_access
- 19 Open Access
- 13 Closed Access
- 2 Recently Added
- 1 recently_added