東京科学大学 · 情報理工学院 · 教授

研究キーワードpushdown automata・recursive timed automata・regular expression matching・weighted pushdown systems・formal verification・HTML parser analysis・context-free grammars・transducers

研究分野情報学基礎・情報学・ソフトウェア・ソフトウエア・情報学基礎理論・情報科学・総合・新領域系・総合系

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

• Configuration reachability analysis of synchronized recursive timed automata2018 · Computer Software 35 ( 1 ) 140 - 168 2018年2月
• Monoid-Based Approach to the Inclusion Problem on Superdeterministic Pushdown Automata2016 · DEVELOPMENTS IN LANGUAGE THEORY, DLT 2016 9840 393 - 405 2016年
• Weighted Pushdown Systems with Indexed Weight Domains2016 · Logical Methods in Computer Science 12 ( 2:0 ) 1 - 27 2016年
• Synchronized Recursive Timed Automata2015 · International Conference on Logic for Programming, Artificial Intelligence, and Reasoning 249 - 265 2015年

• 公式プロフィール
• KAKEN
• CiNii