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

Lecture notes in computer science

Equivalence Checking of Quantum Protocols

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

Published Jan 1, 2013• 35 citations
Publisher
DOI
10.1007/978-3-642-36742-7_33

Related papers

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 of quantum finite-state machines

Qisheng Wang, Junyi Liu, Mingsheng Ying

arXiv:1901.02173•Journal of Computer and System Sciences•Sep 17, 2020•5 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 Quantum Circuits with the ZX-Calculus

Lukas Burgholzer, Robert Wille

Springer eBooks•Jan 1, 2026•0 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 via Path-Sum and Weighted Model Counting

Wei‐Jia Huang, Christophe Chareton, Yu-Fang Chen +4 more

arXiv:2604.24504•Lecture notes in computer science•Jan 1, 2026•2 citations