Equiv-check

2024

1. WLRA

   Equivalence Checking of Quantum Circuits Based on Dirac Notation in Maude

   Canh Minh Do, and Kazuhiro Ogata

   In The 15th International Workshop on Rewriting Logic and its Applications, Sep 2024

   DOI Bib

   @inproceedings{Canh23ECQC,
     author = {Minh Do, Canh and Ogata, Kazuhiro},
     title = {Equivalence Checking of Quantum Circuits Based on Dirac Notation in Maude},
     booktitle = {The 15th International Workshop on Rewriting Logic and its Applications},
     year = {2024}
   }

2023

1. FAVPQC

   Theoretical Foundation for Equivalence Checking of Quantum Circuits

   Canh Minh Do, and Kazuhiro Ogata

   In The 2nd International Workshop on Formal Analysis and Verification of Post-Quantum Cryptographic Protocols (collocated at ICFEM 2023), Sep 2023

   Bib PDF

   @inproceedings{Canh23Equiv,
     author = {Minh Do, Canh and Ogata, Kazuhiro},
     title = {Theoretical Foundation for Equivalence Checking of Quantum Circuits},
     booktitle = {The 2nd International Workshop on Formal Analysis and Verification of Post-Quantum Cryptographic Protocols (collocated at ICFEM 2023)},
     year = {2023}
   }