Manuscript

Distribution-based Bisimulation and Bisimulation Metric in Probabilistic Automata
Yuan Feng, Lei Song, Lijun Zhang
引用 arXiv URL
The performance of the quantum adiabatic algorithm on spike Hamiltonians
Linghang Kong, Elizabeth Crosson
引用 arXiv URL
Toward automatic verification of quantum cryptographic protocols
引用 arXiv URL
Alternation in Quantum Programming: From Superposition of Data to Superposition of Programs
Mingsheng Ying, Nengkun Yu, Yuan Feng
引用 arXiv URL
Quantum Recursion and Second Quantisation
引用 arXiv URL
Binary Constraint System Games and Locally Commutative Reductions
引用 arXiv URL
Optimal simulation of three-qubit gates
Nengkun Yu, Mingsheng Ying
引用 arXiv URL
Defining Quantum Control Flow
Mingsheng Ying, Nengkun Yu, Yuan Feng
引用 arXiv URL
Non-Additivity of Minimum Output p-$mathbfRacuteenyi$ Entropy
Nengkun Yu, Mingsheng Ying
引用 arXiv URL
Session Communication and Integration
Guoxin Su, Mingsheng Ying, Chengqi Zhang
引用 arXiv URL