"Yasuhiko Minamide","Weighted Pushdown Systems with Indexed Weight Domains",,"Logical Methods in Computer Science","International Federation of Computational Logic","Vol. 12","  2",,2016,June
"Minami Nakagawa,Yasuhiko Minamide","バックトラックによる正規表現マッチングの時間計算量解析","第107回プログラミング研究発表会",,,,,,2016,Jan.
"Uezato, Y.,Yasuhiko Minamide","Monoid-based approach to the inclusion problem on superdeterministic pushdown automata",,"Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",,"Vol. 9840",,"pp. 393-405",2016,