4 citations · 11 across the 9 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
quant-ph2021★ 3 cited
Quantum Circuit Transformation Based on Tabu Search
Hui Jiang, Yuxin Deng, Ming Xu
The goal of quantum circuit transformation is to map a logical circuit to a physical device by inserting additional gates as few as possible in an acceptable amount of time. We pre…
cs.LO2021★ 4 cited
An Algebraic Method to Fidelity-based Model Checking over Quantum Markov Chains
Ming Xu, Jianling Fu, Jingyi Mei +1
Fidelity is one of the most widely used quantities in quantum information that measure the distance of quantum states through a noisy channel. In this paper, we introduce a quantum…