Simultaneous Finite Automata: An Efficient Data-Parallel Model for Regular Expression Matching. - Ryoma Sin'ya; Kiminori Matsuzaki; Masataka Sassa (ICPP, 2013)

Text Compression using Abstract Numeration System on a Regular Language. - Ryoma Sin'ya (CoRR, 2013)

Graph Spectral Properties of Deterministic Finite Automata - (Short Paper). - Ryoma Sin'ya (Developments in Language Theory, 2014)

Graph Spectral Properties of Deterministic Finite Automata. - Ryoma Sin'ya (CoRR, 2014)

An Automata Theoretic Approach to the Zero-One Law for Regular Languages: Algorithmic and Logical Aspects. - Ryoma Sin'ya (GandALF, 2015)

Almost Every Simply Typed λ-Term Has a Long β-Reduction Sequence. - Ryoma Sin'ya; Kazuyuki Asada; Naoki Kobayashi 001; Takeshi Tsukada (FoSSaCS, 2017)

Note on the Infiniteness of L(w1, ..., wk). - Ryoma Sin'ya (CoRR, 2018)

Linear Pseudo-Polynomial Factor Algorithm for Automaton Constrained Tree Knapsack Problem. - Soh Kumabe; Takanori Maehara; Ryoma Sin'ya (WALCOM, 2019)

Simple proof of Parikh's theorem a la Takahashi. - Ryoma Sin'ya (CoRR, 2019)

Almost Every Simply Typed Lambda-Term Has a Long Beta-Reduction Sequence. - Kazuyuki Asada; Naoki Kobayashi 001; Ryoma Sin'ya; Takeshi Tsukada (Log. Methods Comput. Sci., 2019)

Context-Freeness of Word-MIX Languages. - Ryoma Sin'ya (DLT, 2020)

On Average-Case Hardness of Higher-Order Model Checking. - Yoshiki Nakamura 001; Kazuyuki Asada; Naoki Kobayashi 001; Ryoma Sin'ya; Takeshi Tsukada (FSCD, 2020)

Carathéodory Extensions of Subclasses of Regular Languages. - Ryoma Sin'ya (DLT, 2021)

Asymptotic Approximation by Regular Languages. - Ryoma Sin'ya (SOFSEM, 2021)

Measuring Power of Locally Testable Languages. - Ryoma Sin'ya (DLT, 2022)

Measuring Power of Generalised Definite Languages. - Ryoma Sin'ya (CIAA, 2023)

Words-to-Letters Valuations for Language Kleene Algebras with Variable Complements. - Yoshiki Nakamura 001; Ryoma Sin'ya (AFL, 2023)

Measuring Power of Commutative Group Languages. - Takao Yuyama; Ryoma Sin'ya (CIAA, 2024)

Words-to-Letters Valuations for Language Kleene Algebras with Variable and Constant Complements. - Yoshiki Nakamura 001; Ryoma Sin'ya (CoRR, 2024)

Measure-Theoretic Aspects of Star-Free and Group Languages. - Ryoma Sin'ya; Takao Yuyama (CoRR, 2025)