Windable Heads & Recognizing NL with Constant Randomness. - Mehmet Utkan Gezer (CoRR, 2019)

Windable Heads and Recognizing NL with Constant Randomness. - Mehmet Utkan Gezer (LATA, 2020)

Constant-space, constant-randomness verifiers with arbitrarily small error. - M. Utkan Gezer; A. C. Cem Say (Inf. Comput., 2022)

Finite State Verifiers with Both Private and Public Coins. - M. Utkan Gezer; A. C. Cem Say (ICTCS, 2023)

Real-time, constant-space, constant-randomness verifiers. - M. Utkan Gezer; Özdeniz Dolu; Nevzat Ersoy; A. C. Cem Say (Theor. Comput. Sci., 2023)

Unconditional proofs of quantumness between small-space machines. - A. C. Cem Say; M. Utkan Gezer (CoRR, 2024)