43 citations · 195 across the 16 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
quant-ph2018★ 22 cited
Equivalence Checking of Sequential Quantum Circuits
Qisheng Wang, Riling Li, Mingsheng Ying
We define a formal framework for equivalence checking of sequential quantum circuits. The model we adopt is a quantum state machine, which is a natural quantum generalisation of Me…
cs.LO2018★ 1 cited
Quantum Büchi Automata
Qisheng Wang, Mingsheng Ying
Quantum finite automata (QFAs) have been extensively studied in the literature. In this paper, we define and systematically study quantum Büchi automata (QBAs) over infinite words…