"Qizhen Zhu,,Yasuhiko Minamide,Hitoshi Akama","Solving String Constraints with Streaming String Transducers",,"Journal of Information Processing",,"  27",,,2019,Oct.
"赤間仁志,南出靖彦","Streaming String Transducerの合成の形式的証明","第20回プログラミングおよびプログラミング言語ワークショップ",,,,,,2018,Mar.