8 citations · 9 across the 2 of their papers we have counts for
2 papers
quant-ph2025★ 1 cited
Quantum Circuit Equivalence Checking: A Tractable Bridge From Unitary to Hybrid Circuits
Jérome Ricciardi, Sébastien Bardin, Christophe Chareton +1
Equivalence checking of hybrid quantum circuits is of primary importance, given that quantum circuit transformations are omnipresent along the quantum compiler chain. While some ap…
cs.PL2021★ 8 cited
Formal Methods for Quantum Programs: A Survey
Christophe Chareton, Sébastien Bardin, Dongho Lee +3
While recent progress in quantum hardware open the door for significant speedup in certain key areas (cryptography, biology, chemistry, optimization, machine learning, etc), quantu…