Yuya Uezato
According to our database1,
Yuya Uezato
authored at least 5 papers
between 2013 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Proceedings of the 51st International Colloquium on Automata, Languages, and Programming, 2024
2021
Proceedings of the International Conference for High Performance Computing, 2021
2016
Monoid-Based Approach to the Inclusion Problem on Superdeterministic Pushdown Automata.
Proceedings of the Developments in Language Theory - 20th International Conference, 2016
2015
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2015
2013
Proceedings of the Automated Technology for Verification and Analysis, 2013