高知工科大学 · 情報学群 · 教授

研究キーワードregister automata・freeze quantifier・formal languages・active learning・register grammars・pushdown systems・LTL model checking

ここは公開データのプレビューです。個別の適合理由、連絡角度、保存機能はログイン後に利用できます。

• 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)

• 公式プロフィール