DQL

2023

1. DaLí

   Automated Quantum Program Verification in Dynamic Quantum Logic

   Tsubasa Takagi, Canh Minh Do, and Kazuhiro Ogata

   In Dynamic Logic. New Trends and Applications, Sep 2023

   DOI Bib

   @inproceedings{TsubasaDali23,
     author = {Takagi, Tsubasa and Do, Canh Minh and Ogata, Kazuhiro},
     editor = {Gierasimczuk, Nina and Vel{\'a}zquez-Quesada, Fernando R.},
     title = {Automated Quantum Program Verification in Dynamic Quantum Logic},
     booktitle = {Dynamic Logic. New Trends and Applications},
     year = {2023},
     publisher = {Springer Nature Switzerland},
     address = {Cham},
     pages = {68--84},
     isbn = {978-3-031-51777-8}
   }

2. FAVPQC

   Automated Quantum Program Verification in Probabilistic Dynamic Quantum Logic

   Canh Minh Do, Tsubasa Takagi, 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{Canh23PDQL,
     author = {Minh Do, Canh and Takagi, Tsubasa and Ogata, Kazuhiro},
     title = {Automated Quantum Program Verification in Probabilistic Dynamic Quantum Logic},
     booktitle = {The 2nd International Workshop on Formal Analysis and Verification of Post-Quantum Cryptographic Protocols (collocated at ICFEM 2023)},
     year = {2023}
   }