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

研究关键词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