@article{CTT100753030,
  author = {Yasuhiko Minamide},
  title = {Weighted Pushdown Systems with Indexed Weight Domains},
  journal = {Logical Methods in Computer Science},
  year = 2016,
}

@article{CTT100790986,
  author = {Uezato, Y. and Yasuhiko Minamide},
  title = {Monoid-based approach to the inclusion problem on superdeterministic pushdown automata},
  journal = {Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)},
  year = 2016,
}

@inproceedings{CTT100715398,
  author = {Minami Nakagawa and Yasuhiko Minamide},
  title = {バックトラックによる正規表現マッチングの時間計算量解析},
  booktitle = {},
  year = 2016,
}