Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:1901.02173 · Journal of Computer and System Sciences

Equivalence checking of quantum finite-state machines

Qisheng Wang, Junyi Liu, Mingsheng Ying

Published Sep 17, 2020• 5 citations
arXivHTMLPDF
DOI
10.1016/j.jcss.2020.08.004

Related papers

Equivalence Checking of Quantum Protocols

Ebrahim Ardeshir-Larijani, Simon J. Gay, Rajagopal Nagarajan

Lecture notes in computer science•Jan 1, 2013•35 citations

Verification of Concurrent Quantum Protocols by Equivalence Checking

Ebrahim Ardeshir-Larijani, Simon J. Gay, Rajagopal Nagarajan

Lecture notes in computer science•Jan 1, 2014•33 citations

Equivalence Checking in Multi-level Quantum Systems

Philipp Niemann, Robert Wille, Rolf Drechsler

Lecture notes in computer science•Jan 1, 2014•43 citations

Equivalence Checking of Parameterized Quantum Circuits: Verifying the Compilation ofVariational Quantum Algorithms

Lukas Burgholzer, Robert Wille

Springer eBooks•Jan 1, 2026•0 citations

Equivalence Checking of Quantum Circuits with the ZX-Calculus

Lukas Burgholzer, Robert Wille

Springer eBooks•Jan 1, 2026•0 citations

Fast Equivalence Checking of Quantum Circuits of Clifford Gates

Dimitrios Thanos, Tim J. Coopmans, Alfons Laarman

arXiv:2308.01206•Lecture notes in computer science•Jan 1, 2023•11 citations