4 citations · 11 across the 9 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
quant-ph2022★ 1 cited
A Pattern Matching-Based Framework for Quantum Circuit Rewriting
Hui Jiang, Diankang Li, Yuxin Deng +1
The realization of quantum algorithms relies on specific quantum compilations according to the underlying quantum processors. However, there are various ways to physically implemen…
cs.LO2022★ 3 cited
Checking Continuous Stochastic Logic against Quantum Continuous-Time Markov Chains
Ming Xu, Jingyi Mei, Ji Guan +2
Verifying quantum systems has attracted a lot of interest in the last decades.In this paper, we study the quantitative model-checking of quantum continuous-time Markov chains (quan…