Equivalence checking of quantum finite-state machines-Reference-Cited by-同舟云学术

Equivalence checking of quantum finite-state machines

Author:

Wang Qisheng,Liu Junyi,Ying Mingsheng

Funder

National Key R&D Program of China

National Natural Science Foundation of China

Key Research Program of Frontier Sciences, Chinese Academy of Sciences

Australian Research Council

Publisher

Elsevier BV

Subject

Applied Mathematics,Computational Theory and Mathematics,Computer Networks and Communications,Theoretical Computer Science

Reference40 articles.

1. Equivalence checking of quantum protocols;Ardeshir-Larijani,2013

2. Verification of concurrent quantum protocols by equivalence checking;Ardeshir-Larijani,2014

3. Probabilistic model of fault detection in quantum circuits;Banerjee,2010

4. Algorithms in Real Algebraic Geometry;Basu,2006

5. Detection and diagnosis of single faults in quantum circuits;Bera;IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst.,2018

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Quantum Büchi automata;Theoretical Computer Science;2024-10

2. Model-Based Testing of Quantum Computations;Lecture Notes in Computer Science;2024-09-10

3. Partial Equivalence Checking of Quantum Circuits;2022 IEEE International Conference on Quantum Computing and Engineering (QCE);2022-09

4. Equivalence Checking of Sequential Quantum Circuits;IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems;2021