Pushdown Systems with Stack Manipulation. - Yuya Uezato; Yasuhiko Minamide (ATVA, 2013)

Synchronized Recursive Timed Automata. - Yuya Uezato; Yasuhiko Minamide (LPAR, 2015)

Monoid-Based Approach to the Inclusion Problem on Superdeterministic Pushdown Automata. - Yuya Uezato; Yasuhiko Minamide (DLT, 2016)

Accelerating XOR-based erasure coding using program optimization techniques. - Yuya Uezato (SC, 2021)

Regular Expressions with Backreferences and Lookaheads Capture NLOG. - Yuya Uezato (ICALP, 2024)