Ryoma Sin'ya

According to our database, Ryoma Sin'ya authored at least 17 papers between 2013 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Words-to-Letters Valuations for Language Kleene Algebras with Variable Complements.

Yoshiki Nakamura, Ryoma Sin'ya

Proceedings of the 16th International Conference on Automata and Formal Languages, 2023

Measuring Power of Generalised Definite Languages.

Ryoma Sin'ya

Proceedings of the Implementation and Application of Automata, 2023

2022

Measuring Power of Locally Testable Languages.

Ryoma Sin'ya

Proceedings of the Developments in Language Theory - 26th International Conference, 2022

2021

Asymptotic Approximation by Regular Languages.

Ryoma Sin'ya

Proceedings of the SOFSEM 2021: Theory and Practice of Computer Science, 2021

Carathéodory Extensions of Subclasses of Regular Languages.

Ryoma Sin'ya

Proceedings of the Developments in Language Theory - 25th International Conference, 2021

2020

On Average-Case Hardness of Higher-Order Model Checking.

Yoshiki Nakamura, Kazuyuki Asada, Naoki Kobayashi, Ryoma Sin'ya, Takeshi Tsukada

Proceedings of the 5th International Conference on Formal Structures for Computation and Deduction, 2020

Context-Freeness of Word-MIX Languages.

Ryoma Sin'ya

Proceedings of the Developments in Language Theory - 24th International Conference, 2020

2019

Almost Every Simply Typed Lambda-Term Has a Long Beta-Reduction Sequence.

Kazuyuki Asada, Naoki Kobayashi, Ryoma Sin'ya, Takeshi Tsukada

Log. Methods Comput. Sci., 2019

Simple proof of Parikh's theorem a la Takahashi.

Ryoma Sin'ya

CoRR, 2019

Linear Pseudo-Polynomial Factor Algorithm for Automaton Constrained Tree Knapsack Problem.

Soh Kumabe, Takanori Maehara, Ryoma Sin'ya

Proceedings of the WALCOM: Algorithms and Computation - 13th International Conference, 2019

2018

Note on the Infiniteness of L(w₁, ..., w_k).

Ryoma Sin'ya

CoRR, 2018

2017

Almost Every Simply Typed λ-Term Has a Long β-Reduction Sequence.

Ryoma Sin'ya, Kazuyuki Asada, Naoki Kobayashi, Takeshi Tsukada

Proceedings of the Foundations of Software Science and Computation Structures, 2017

2015

An Automata Theoretic Approach to the Zero-One Law for Regular Languages: Algorithmic and Logical Aspects.

Ryoma Sin'ya

Proceedings of the Proceedings Sixth International Symposium on Games, 2015

2014

Graph Spectral Properties of Deterministic Finite Automata.

Ryoma Sin'ya

CoRR, 2014

Graph Spectral Properties of Deterministic Finite Automata - (Short Paper).

Ryoma Sin'ya

Proceedings of the Developments in Language Theory - 18th International Conference, 2014

2013

Text Compression using Abstract Numeration System on a Regular Language.

Ryoma Sin'ya

CoRR, 2013

Simultaneous Finite Automata: An Efficient Data-Parallel Model for Regular Expression Matching.

Ryoma Sin'ya, Kiminori Matsuzaki, Masataka Sassa

Proceedings of the 42nd International Conference on Parallel Processing, 2013