|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 7 occurrences of 6 keywords
|
|
|
|
|
Results
Found 20 publication records. Showing 20 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Yuan Feng, Runyao Duan, Mingsheng Ying |
Locally undetermined states, generalized schmidt decomposition, and application in deistributed comuting.  |
Quantum Information & Computation  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Mingsheng Ying, Nengkun Yu, Yuan Feng, Runyao Duan |
Verification of Quantum Programs |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Yuan Feng, Runyao Duan, Mingsheng Ying |
Bisimulation for quantum processes. |
POPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Runyao Duan, Simone Severini, Andreas Winter |
Zero-error communication via quantum channels and a quantum Lovász θ-function. |
ISIT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Runyao Duan, Yaoyun Shi |
When is there a multipartite maximum entangled state? |
Quantum Information & Computation |
2010 |
DBLP BibTeX RDF |
|
| 1 | Runyao Duan, Markus Grassl, Zheng-Feng Ji, Bei Zeng |
Multi-Error-Correcting Amplitude Damping Codes |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Yuan Feng, Runyao Duan, Mingsheng Ying |
Bisimulation for quantum processes |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Runyao Duan, Simone Severini, Andreas Winter |
Zero-error communication via quantum channels, non-commutative graphs and a quantum Lovasz theta function |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Runyao Duan, Markus Grassl, Z. Ji, Bei Zeng |
Multi-error-correcting amplitude damping codes. |
ISIT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mingsheng Ying, Yuan Feng, Runyao Duan, Zheng-Feng Ji |
An algebra of quantum processes. |
ACM Trans. Comput. Log. |
2009 |
DBLP DOI BibTeX RDF |
super-operator, Quantum computation, process algebra, bisimulation, quantum communication |
| 1 | Runyao Duan, Yuan Feng, Yu Xin, Mingsheng Ying |
Distinguishability of Quantum States by Separable Operations. |
IEEE Transactions on Information Theory |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Zheng-Feng Ji, Guoming Wang, Runyao Duan, Yuan Feng, Mingsheng Ying |
Parameter Estimation of Quantum Channels. |
IEEE Transactions on Information Theory |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Mingsheng Ying, Jianxin Chen, Yuan Feng, Runyao Duan |
Commutativity of quantum weakest preconditions. |
Inf. Process. Lett. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuan Feng, Runyao Duan, Zheng-Feng Ji, Mingsheng Ying |
Proof rules for the correctness of quantum programs. |
Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuan Feng, Runyao Duan, Zheng-Feng Ji, Mingsheng Ying |
Probabilistic bisimulations for quantum processes. |
Inf. Comput. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuan Feng, Runyao Duan, Zheng-Feng Ji, Mingsheng Ying |
Probabilistic bisimilarities between quantum processes |
CoRR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Runyao Duan, Zheng-Feng Ji, Yuan Feng, Mingsheng Ying |
Some Issues in Quantum Information Theory. |
J. Comput. Sci. Technol. |
2006 |
DBLP DOI BibTeX RDF |
entanglement transformation, quantum computing, discrimination, quantum information |
| 1 | Yuan Feng, Runyao Duan, Zheng-Feng Ji, Mingsheng Ying |
Proof rules for purely quantum programs |
CoRR |
2005 |
DBLP BibTeX RDF |
|
| 1 | Xiaoming Sun, Runyao Duan, Mingsheng Ying |
The existence of quantum entanglement catalysts. |
IEEE Transactions on Information Theory |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuan Feng, Runyao Duan, Mingsheng Ying |
Catalyst-assisted probabilistic entanglement transformation. |
IEEE Transactions on Information Theory |
2005 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #20 of 20 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")