| Simultaneous finite automata: An efficient data-parallel model for regular expression matching R Sinya, K Matsuzaki, M Sassa 2013 42nd International Conference on Parallel Processing, 220-229, 2013 | 30 | 2013 |
| An automata theoretic approach to the zero-one law for regular languages: Algorithmic and logical aspects R Sin'ya arXiv preprint arXiv:1509.07209, 2015 | 14 | 2015 |
| Asymptotic approximation by regular languages R Sin’ya International Conference on Current Trends in Theory and Practice of …, 2021 | 8 | 2021 |
| Almost Every Simply Typed-Term Has a Long-Reduction Sequence R Sin’Ya, K Asada, N Kobayashi, T Tsukada International Conference on Foundations of Software Science and Computation …, 2017 | 7 | 2017 |
| Almost Every Simply Typed Lambda-Term Has a Long Beta-Reduction Sequence K Asada, N Kobayashi, R Sin'Ya, T Tsukada Logical Methods in Computer Science 15, 2019 | 5 | 2019 |
| Carathéodory extensions of subclasses of regular languages R Sin’ya International Conference on Developments in Language Theory, 355-367, 2021 | 4 | 2021 |
| Measuring power of locally testable languages R Sin’ya International Conference on Developments in Language Theory, 274-285, 2022 | 3 | 2022 |
| Linear pseudo-polynomial factor algorithm for automaton constrained tree knapsack problem S Kumabe, T Maehara, R Sin’ya WALCOM: Algorithms and Computation: 13th International Conference, WALCOM …, 2019 | 3 | 2019 |
| Zero-One Law for Regular Languages R Sin’ya Ph. D. Thesis, Tokyo Insutitute of Technology, Japan. Available at http …, 2016 | 3 | 2016 |
| On Average-Case Hardness of Higher-Order Model Checking Y Nakamura, K Asada, N Kobayashi, R Sin'Ya, T Tsukada 5th International Conference on Formal Structures for Computation and …, 2020 | 2 | 2020 |
| Text compression using abstract numeration system on a regular language R Sin'ya arXiv preprint arXiv:1308.0267, 2013 | 2 | 2013 |
| Measuring power of generalised definite languages R Sin’ya International Conference on Implementation and Application of Automata, 278-289, 2023 | 1 | 2023 |
| Graph Spectral Properties of Deterministic Finite Automata: (Short Paper) R Sin’ya International Conference on Developments in Language Theory, 76-83, 2014 | 1 | 2014 |
| Words-to-Letters Valuations for Language Kleene Algebras with Variable Complements Y Nakamura, R Sin'ya arXiv preprint arXiv:2309.02760, 2023 | | 2023 |
| Context-Freeness of Word-MIX Languages R Sin’Ya International Conference on Developments in Language Theory, 304-318, 2020 | | 2020 |
| Note on the Infiniteness and Equivalence Problems for Word-MIX Languages R Sin'ya arXiv preprint arXiv:1812.02600, 2018 | | 2018 |
| 正規⾔ 語の零壱則 R Sin’ya Lecture Notes in Computer Science, 76-83, 2014 | | 2014 |
| Asymptotic Approximation in Formal Languages (CLA 2023 talk abstract) R Sin’ya | | |
