smc4qc

2024

1. PeerJ

   Symbolic Model Checking Quantum Circuits in Maude

   Canh Minh Do, and Kazuhiro Ogata

   PeerJ Computer Science, Dec 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, Dec 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), Dec 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}
   }