Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:1304.3876 · Information and Computation

Power of the interactive proof systems with verifiers modeled by semi-quantum two-way finite automata

Shenggen Zheng, Daowen Qiu, Jozef Gruska

Published Feb 7, 2015• 25 citations
arXivHTMLPDF
DOI
10.1016/j.ic.2015.02.003

Related papers

An application of quantum finite automata to interactive proof systems

Harumichi Nishimura, Tomoyuki Yamakami

arXiv:quant-ph/0410040•Journal of Computer and System Sciences•Dec 25, 2008•30 citations

An Application of Quantum Finite Automata to Interactive Proof Systems

Tomoyuki Yamakami, Harumichi Nishimura

Electronic colloquium on computational complexity•Jan 1, 2004•1 citation

An Application of Quantum Finite Automata to Interactive Proof Systems (Extended Abstract)

Harumichi Nishimura, Tomoyuki Yamakami

Lecture notes in computer science•Jan 1, 2005•11 citations

Interactive proofs with quantum finite automata

Harumichi Nishimura, Tomoyuki Yamakami

arXiv:1401.2929•Theoretical Computer Science•Dec 6, 2014•9 citations

Non-Interactive Proof Verification Procedures of Reversible and Quantum Finite Automata

Marcos Villagra, Tomoyuki Yamakami

情報処理学会研究報告アルゴリズム（AL）•Feb 24, 2014•0 citations

Revisiting the Power and Equivalence of One-Way Quantum Finite Automata

Lvzhou Li, Daowen Qiu

Lecture notes in computer science•Jan 1, 2010•3 citations