QTC-Maude

2024

1. PeerJ

   Symbolic Model Checking Quantum Circuits in Maude

   Canh Minh Do, and Kazuhiro Ogata

   PeerJ Computer Science, Sep 2024

   DOI Bib

   @article{CanhPJ23,
     author = {Do, Canh Minh and Ogata, Kazuhiro},
     title = {Symbolic Model Checking Quantum Circuits in Maude},
     journal = {PeerJ Computer Science},
     volume = {10},
     pages = {e2098},
     year = {2024}
   }

2023

1. SEKE

   Symbolic Model Checking Quantum Circuits in Maude

   Canh Minh Do, and Kazuhiro Ogata

   In 35th International Conference on Software Engineering and Knowledge Engineering, SEKE 2023, Sep 2023

   DOI Bib

   @inproceedings{CanhSeke23,
     author = {Minh Do, Canh and Ogata, Kazuhiro},
     editor = {Chang, Shi{-}Kuo},
     title = {Symbolic Model Checking Quantum Circuits in Maude},
     booktitle = {35th International Conference on Software Engineering and Knowledge
                       Engineering, {SEKE} 2023},
     pages = {103--108},
     publisher = {{KSI} Research Inc.},
     year = {2023},
     timestamp = {Wed, 06 Sep 2023 16:44:32 +0200},
     biburl = {https://dblp.org/rec/conf/seke/Do023.bib},
     bibsource = {dblp computer science bibliography, https://dblp.org}
   }

2. FAVPQC

   Symbolic Model Checking Quantum Circuits With Density Operators in Maude

   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{Canh23SMC,
     author = {Minh Do, Canh and Ogata, Kazuhiro},
     title = {Symbolic Model Checking Quantum Circuits With Density Operators in Maude},
     booktitle = {The 2nd International Workshop on Formal Analysis and Verification of Post-Quantum Cryptographic Protocols (collocated at ICFEM 2023)},
     year = {2023}
   }