Yuya Uezato

According to our database, Yuya Uezato authored at least 4 papers between 2013 and 2021.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2021

Accelerating XOR-based erasure coding using program optimization techniques.

Yuya Uezato

Proceedings of the International Conference for High Performance Computing, 2021

2016

Monoid-Based Approach to the Inclusion Problem on Superdeterministic Pushdown Automata.

Yuya Uezato, Yasuhiko Minamide

Proceedings of the Developments in Language Theory - 20th International Conference, 2016

2015

Synchronized Recursive Timed Automata.

Yuya Uezato, Yasuhiko Minamide

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2015

2013

Pushdown Systems with Stack Manipulation.

Yuya Uezato, Yasuhiko Minamide

Proceedings of the Automated Technology for Verification and Analysis, 2013