Institute of Science Tokyo · School of Computing · 教授

Research keywordspushdown automata・recursive timed automata・regular expression matching・weighted pushdown systems・formal verification・HTML parser analysis・context-free grammars・transducers

Research fieldsFundamental theory of informatics・Informatics・Software・Software・Theory of informatics・情報科学・Integrated Science and Innovative Science・Integrated Disciplines

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

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

• Official profile
• KAKEN
• CiNii