Key papers

• On the Simulation Cost of Quantum Finite Automata (2026)
  Zeyu Chen and Junde Wu
  1.83
• Compiling Quantum Regular Language States (2026)
  Armando Bellante et al.
  1.67
• Formal Modeling and Verification of Grover's Algorithm (2026)
  H. Sun et al.
  1.61
• Formal Verification of Noisy Quantum Reinforcement Learning Policies (2025)
  Dennis Gross
  1.56
• Identifiability and minimality bounds of quantum and post-quantum models of classical stochastic processes (2025)
  Paul M. Riechers and Thomas J. Elliott
  1.39
• QIP ⊆ AM(2QCFA) (2025)
  Abuzer Yakary{\i}lmaz
  1.33
• Productive Quantum Programming Needs Better Abstract Machines (2025)
  Santiago N\'u\~nez-Corrales et al.
  1.17
• Quantum machines with classical control (2017)
  Paulo Mateus and Daowen Qiu and Andre Souto
  —
• Quantum versus Classical Online Streaming Algorithms with Logarithmic Size of Memory (2017)
  Kamil Khadiev et al.
  —
• Quantum B\"uchi Automata (2018)
  Qisheng Wang and Mingsheng Ying
  —
• Classically Time-Controlled Quantum Automata: Definition and Properties (2018)
  Alejandro D\'iaz-Caro and Marcos Villagra
  —
• On the Power of Quantum Queue Automata in Real-time (2018)
  Amandeep Singh Bhatia and Ajay Kumar
  —
• Beyond z=0. The Deutsch-Jozsa decided monochromatic languages (2018)
  Eraldo Pereira Marinho
  —
• Equivalence Checking of Quantum Finite-State Machines (2019)
  Qisheng Wang and Junyi Liu and Mingsheng Ying
  —
• The minimal probabilistic and quantum finite automata recognizing uncountably many languages with fixed cutpoints (2019)
  Aleksejs Naumovs et al.
  —
• Nonuniform Families of Polynomial-Size Quantum Finite Automata and Quantum Logarithmic-Space Computation with Polynomial-Size Advice (2019)
  Tomoyuki Yamakami
  —
• An extended quantum process algebra (eQPAlg) approach for distributed quantum systems (2020)
  Salman Haider et al.
  —
• How Does Adiabatic Quantum Computation Fit into Quantum Automata Theory? (2020)
  Tomoyuki Yamakami
  —
• Proceedings 9th International Conference on Quantum Simulation and Quantum Walks (2020)
  Giuseppe Di Molfetta (Aix-Marseille University) et al.
  —
• On the Origin of Quantum Uncertainty (2020)
  Christoph Adami (Michigan State University)
  —
• A Quantum Finite Automata Approach to Modeling the Chemical Reactions (2020)
  Amandeep Singh Bhatia et al.
  —
• RNA-2QCFA: Evolving Two-way Quantum Finite Automata with Classical States for RNA Secondary Structures (2020)
  Amandeep Singh Bhatia et al.
  —
• ACSS-q: Algorithmic complexity for short strings via quantum accelerated approach (2020)
  Aritra Sarkar et al.
  —
• Coarse-grained quantum cellular automata (2020)
  O. Duranthon and Giuseppe Di Molfetta
  —
• Supervisory Control of Quantum Discrete Event Systems (2021)
  Daowen Qiu
  —
• Implementing Quantum Finite Automata Algorithms on Noisy Devices (2021)
  Utku Birkan et al.
  —
• Quantum algorithm for Dyck Language with Multiple Types of Brackets (2021)
  Kamil Khadiev and Dmitry Kravchenko
  —
• Cost-efficient QFA Algorithm for Quantum Computers (2021)
  \"Ozlem Salehi et al.
  —
• Learning Quantum Finite Automata with Queries (2021)
  Daowen Qiu
  —
• Quantum advantage using high-dimensional twisted photons as quantum finite automata (2022)
  Stephen Z. D. Plachta et al.
  —
• Quantum Finite Automata and Quiver Algebras (2022)
  George Jeffreys and Siu-Cheong Lau
  —
• Exponential Separation between Quantum and Classical Ordered Binary Decision Diagrams, Reordering Method and Hierarchies (2022)
  Kamil Khadiev et al.
  —
• A relativistic discrete spacetime formulation of 3+1 QED (2022)
  Nathana\"el Eon et al.
  —
• Classical and quantum Merlin-Arthur automata (2022)
  Abuzer Yakary{\i}lmaz
  —
• Symbolic Quantum Simulation with Quasimodo (2023)
  Meghana Sistla et al.
  —
• A Representative Framework for Implementing Quantum Finite Automata on Real Devices (2024)
  Aliya Khadieva and \"Ozlem Salehi and Abuzer Yakary{\i}lmaz
  —
• Regular language quantum states (2024)
  Marta Florido-Llin\`as et al.
  —
• Formal verification of higher dimensional quantum protocols (2024)
  Ittoop Vergheese Puthoor
  —
• A Graph-Based Classical and Quantum Approach to Deterministic L-System Inference (2024)
  Ali Lotfi et al.
  —
• Unconditional proofs of quantumness between small-space machines (2024)
  A. C. Cem Say et al.
  —
• Implementing a Quantum Finite Automaton in IBMQ using Custom Control Pulses (2024)
  Eduardo Willwock Lussi and Lucas Cavalcante de Sousa and Jerusa Marchi and Rafael de Santiago and Eduardo Inacio Duzzioni
  —
• Shallow Implementation of Quantum Fingerprinting with Application to Quantum Finite Automata (2024)
  Mansur Ziiatdinov et al.
  —