Login / Signup
Ryoma Sin'ya
ORCID
Publication Activity (10 Years)
Years Active: 2013-2023
Publications (10 Years): 15
Top Topics
Regular Languages
Top Venues
CoRR
DLT
WALCOM
AFL
</>
Publications
</>
Yoshiki Nakamura
,
Ryoma Sin'ya
Words-to-Letters Valuations for Language Kleene Algebras with Variable Complements.
AFL
(2023)
Ryoma Sin'ya
Measuring Power of Generalised Definite Languages.
CIAA
(2023)
Ryoma Sin'ya
Measuring Power of Locally Testable Languages.
DLT
(2022)
Ryoma Sin'ya
Asymptotic Approximation by Regular Languages.
SOFSEM
(2021)
Ryoma Sin'ya
Carathéodory Extensions of Subclasses of Regular Languages.
DLT
(2021)
Ryoma Sin'ya
Context-Freeness of Word-MIX Languages.
DLT
(2020)
Ryoma Sin'ya
Asymptotic Approximation by Regular Languages.
CoRR
(2020)
Yoshiki Nakamura
,
Kazuyuki Asada
,
Naoki Kobayashi
,
Ryoma Sin'ya
,
Takeshi Tsukada
On Average-Case Hardness of Higher-Order Model Checking.
FSCD
(2020)
Ryoma Sin'ya
Simple proof of Parikh's theorem a la Takahashi.
CoRR
(2019)
Kazuyuki Asada
,
Naoki Kobayashi
,
Ryoma Sin'ya
,
Takeshi Tsukada
Almost Every Simply Typed Lambda-Term Has a Long Beta-Reduction Sequence.
Log. Methods Comput. Sci.
15 (1) (2019)
Soh Kumabe
,
Takanori Maehara
,
Ryoma Sin'ya
Linear Pseudo-Polynomial Factor Algorithm for Automaton Constrained Tree Knapsack Problem.
WALCOM
(2019)
Ryoma Sin'ya
).
CoRR
(2018)
Soh Kumabe
,
Takanori Maehara
,
Ryoma Sin'ya
Linear Pseudo-Polynomial Factor Algorithm for Automaton Constrained Tree Knapsack Problem.
CoRR
(2018)
Kazuyuki Asada
,
Naoki Kobayashi
,
Ryoma Sin'ya
,
Takeshi Tsukada
Almost Every Simply Typed Lambda-Term Has a Long Beta-Reduction Sequence.
CoRR
(2018)
Ryoma Sin'ya
,
Kazuyuki Asada
,
Naoki Kobayashi
,
Takeshi Tsukada
Almost Every Simply Typed λ-Term Has a Long β-Reduction Sequence.
FoSSaCS
(2017)
Ryoma Sin'ya
An Automata Theoretic Approach to the Zero-One Law for Regular Languages: Algorithmic and Logical Aspects.
GandALF
(2015)
Ryoma Sin'ya
Graph Spectral Properties of Deterministic Finite Automata.
CoRR
(2014)
Ryoma Sin'ya
,
Kiminori Matsuzaki
,
Masataka Sassa
Simultaneous Finite Automata: An Efficient Data-Parallel Model for Regular Expression Matching.
CoRR
(2014)
Ryoma Sin'ya
Graph Spectral Properties of Deterministic Finite Automata - (Short Paper).
Developments in Language Theory
(2014)
Ryoma Sin'ya
,
Kiminori Matsuzaki
,
Masataka Sassa
Simultaneous Finite Automata: An Efficient Data-Parallel Model for Regular Expression Matching.
ICPP
(2013)
Ryoma Sin'ya
Text Compression using Abstract Numeration System on a Regular Language.
CoRR
(2013)