Kochi University of Technology · School of Informatics · 教授

Research keywordsregister automata・freeze quantifier・formal languages・active learning・register grammars・pushdown systems・LTL model checking

This is a public-data preview. Personalized fit, contact angles, and saved workflows require sign-in.

• A Subclass of Mu-Calculus with the Freeze Quantifier Equivalent to Register Automata.2023 · IEICE Transactions on Information & Systems
• Pumping Lemmas for Languages Expressed by Computational Models with Registers.2023 · IEICE Transactions on Information & Systems
• Complexity results on register context-free grammars and related formalisms.2022 · Theoretical Computer Science
• Reduction of Register Pushdown Systems with Freshness Property to Pushdown Systems in LTL Model Checking.2022 · CoRR

• アクターモデル型マルチスレッド再帰プログラムのモデル検査法の開発2024 · 科学研究費助成事業
• マルチスレッド再帰プログラムの自動検証のための形式モデル2009 · 科学研究費助成事業 若手研究(B)
• 言語組込みアクセス制御の高信頼化に関する研究2008 · 科学研究費助成事業
• XMLデータベースのための木オートマトンを用いた効率的アクセス制御法2007 · 科学研究費助成事業 若手研究(B)

• Official profile