Ryoma Senda

According to our database, Ryoma Senda authored at least 9 papers between 2018 and 2023.

Collaborative distances:

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

2023

A Subclass of Mu-Calculus with the Freeze Quantifier Equivalent to Register Automata.

Yoshiaki Takata, Akira Onishi, Ryoma Senda, Hiroyuki Seki

IEICE Trans. Inf. Syst., March, 2023

2022

Reduction of Register Pushdown Systems with Freshness Property to Pushdown Systems in LTL Model Checking.

Yoshiaki Takata, Ryoma Senda, Hiroyuki Seki

IEICE Trans. Inf. Syst., September, 2022

Complexity results on register context-free grammars and related formalisms.

Ryoma Senda, Yoshiaki Takata, Hiroyuki Seki

Theor. Comput. Sci., 2022

2021

LTL Model Checking for Register Pushdown Systems.

Ryoma Senda, Yoshiaki Takata, Hiroyuki Seki

IEICE Trans. Inf. Syst., 2021

Forward Regularity Preservation Property of Register Pushdown Systems.

Ryoma Senda, Yoshiaki Takata, Hiroyuki Seki

IEICE Trans. Inf. Syst., 2021

Reactive Synthesis from Visibly Register Pushdown Automata.

Ryoma Senda, Yoshiaki Takata, Hiroyuki Seki

Proceedings of the Theoretical Aspects of Computing - ICTAC 2021, 2021

2020

Generalized Register Context-Free Grammars.

Ryoma Senda, Yoshiaki Takata, Hiroyuki Seki

IEICE Trans. Inf. Syst., 2020

2019

Complexity Results on Register Pushdown Automata.

Ryoma Senda, Yoshiaki Takata, Hiroyuki Seki

CoRR, 2019

2018

Complexity Results on Register Context-Free Grammars and Register Tree Automata.

Ryoma Senda, Yoshiaki Takata, Hiroyuki Seki

Proceedings of the Theoretical Aspects of Computing - ICTAC 2018, 2018