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:1401.2929 · Theoretical Computer Science

Interactive proofs with quantum finite automata

Harumichi Nishimura, Tomoyuki Yamakami

Published Dec 6, 2014• 9 citations
arXivHTMLPDF
DOI
10.1016/j.tcs.2014.11.030

Related papers

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

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 (Extended Abstract)

Harumichi Nishimura, Tomoyuki Yamakami

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

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

Marcos Villagra, Tomoyuki Yamakami

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

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

Shenggen Zheng, Daowen Qiu, Jozef Gruska

arXiv:1304.3876•Information and Computation•Feb 7, 2015•25 citations

Quantum Finite Automata: A Modern Introduction

A. C. Cem Say, Abuzer Yakaryılmaz

Lecture notes in computer science•Jan 1, 2014•56 citations