18 citations · 65 across the 19 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
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…
quant-ph2021
Quantum Multiple-Valued Decision Diagrams in Graphical Calculi
Renaud Vilmart
Graphical calculi such as the ZH-calculus are powerful tools in the study and analysis of quantum processes, with links to other models of quantum computation such as quantum circu…