Ryoma Sin'ya
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
6
Active years
2013–2022
Best venue rank
C
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | DLT | Measuring Power of Locally Testable Languages. | Ryoma Sin'ya |
| 2021 | DLT | Carathodory Extensions of Subclasses of Regular Languages. | Ryoma Sin'ya |
| 2021 | SOFSEM | Asymptotic Approximation by Regular Languages. | Ryoma Sin'ya |
| 2020 | DLT | Context-Freeness of Word-MIX Languages. | Ryoma Sin'ya |
| 2020 | FSCD | On Average-Case Hardness of Higher-Order Model Checking. | Yoshiki Nakamura, Kazuyuki Asada, Naoki Kobayashi, Ryoma Sin'ya, Takeshi Tsukada |
| 2019 | WALCOM | Linear Pseudo-Polynomial Factor Algorithm for Automaton Constrained Tree Knapsack Problem. | Soh Kumabe, Takanori Maehara, Ryoma Sin'ya |
| 2017 | FOSSACS | Almost Every Simply Typed λ-Term Has a Long β-Reduction Sequence. | Ryoma Sin'ya, Kazuyuki Asada, Naoki Kobayashi, Takeshi Tsukada |
| 2014 | DLT | Graph Spectral Properties of Deterministic Finite Automata - (Short Paper). | Ryoma Sin'ya |
| 2013 | ICPP | Simultaneous Finite Automata: An Efficient Data-Parallel Model for Regular Expression Matching. | Ryoma Sin'ya, Kiminori Matsuzaki, Masataka Sassa |