Ryoma Sin'ya - RankMe

24 papers B 5C 6Journal 11Unranked 2

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Measure-Theoretic Aspects of Star-Free and Group Languages. CoRR Ryoma Sin'ya, Takao Yuyama
2024	C	`conf`	Measuring Power of Commutative Group Languages. CIAA Takao Yuyama, Ryoma Sin'ya
2024	J	`jnl`	Words-to-Letters Valuations for Language Kleene Algebras with Variable and Constant Complements. CoRR Yoshiki Nakamura, Ryoma Sin'ya
2023	C	`conf`	Measuring Power of Generalised Definite Languages. CIAA Ryoma Sin'ya
2023	—	`conf`	Words-to-Letters Valuations for Language Kleene Algebras with Variable Complements. AFL Yoshiki Nakamura, Ryoma Sin'ya
2022	C	`conf`	Measuring Power of Locally Testable Languages. DLT Ryoma Sin'ya
2021	B	`conf`	Asymptotic Approximation by Regular Languages. SOFSEM Ryoma Sin'ya
2021	C	`conf`	Carathéodory Extensions of Subclasses of Regular Languages. DLT Ryoma Sin'ya
2020	J	`jnl`	Asymptotic Approximation by Regular Languages. CoRR Ryoma Sin'ya
2020	C	`conf`	Context-Freeness of Word-MIX Languages. DLT Ryoma Sin'ya
2020	B	`conf`	On Average-Case Hardness of Higher-Order Model Checking. FSCD Yoshiki Nakamura, Kazuyuki Asada, Naoki Kobayashi, Ryoma Sin'ya, Takeshi Tsukada
2019	J	`jnl`	Almost Every Simply Typed Lambda-Term Has a Long Beta-Reduction Sequence. Log. Methods Comput. Sci. Kazuyuki Asada, Naoki Kobayashi, Ryoma Sin'ya, Takeshi Tsukada
2019	B	`conf`	Linear Pseudo-Polynomial Factor Algorithm for Automaton Constrained Tree Knapsack Problem. WALCOM Soh Kumabe, Takanori Maehara, Ryoma Sin'ya
2019	J	`jnl`	Simple proof of Parikh's theorem a la Takahashi. CoRR Ryoma Sin'ya
2018	J	`jnl`	Almost Every Simply Typed Lambda-Term Has a Long Beta-Reduction Sequence. CoRR Kazuyuki Asada, Naoki Kobayashi, Ryoma Sin'ya, Takeshi Tsukada
2018	J	`jnl`	Linear Pseudo-Polynomial Factor Algorithm for Automaton Constrained Tree Knapsack Problem. CoRR Soh Kumabe, Takanori Maehara, Ryoma Sin'ya
2018	J	`jnl`	Note on the Infiniteness of L(w CoRR Ryoma Sin'ya
2017	B	`conf`	Almost Every Simply Typed λ-Term Has a Long β-Reduction Sequence. FoSSaCS Ryoma Sin'ya, Kazuyuki Asada, Naoki Kobayashi, Takeshi Tsukada
2015	—	`conf`	An Automata Theoretic Approach to the Zero-One Law for Regular Languages: Algorithmic and Logical Aspects. GandALF Ryoma Sin'ya
2014	C	`conf`	Graph Spectral Properties of Deterministic Finite Automata - (Short Paper). Developments in Language Theory Ryoma Sin'ya
2014	J	`jnl`	Graph Spectral Properties of Deterministic Finite Automata. CoRR Ryoma Sin'ya
2014	J	`jnl`	Simultaneous Finite Automata: An Efficient Data-Parallel Model for Regular Expression Matching. CoRR Ryoma Sin'ya, Kiminori Matsuzaki, Masataka Sassa
2013	B	`conf`	Simultaneous Finite Automata: An Efficient Data-Parallel Model for Regular Expression Matching. ICPP Ryoma Sin'ya, Kiminori Matsuzaki, Masataka Sassa
2013	J	`jnl`	Text Compression using Abstract Numeration System on a Regular Language. CoRR Ryoma Sin'ya