@article{CTT100699733,
  author = {Yuta Nakatani and Atsushi Takahashi},
  title = {A Length Matching Routing Algorithm for Set-Pair Routing Problem},
  journal = {IEICE Trans. Fundamentals},
  year = 2015,
}

@inproceedings{CTT100684770,
  author = {中谷勇太 and 高橋篤司},
  title = {集合対間配線における配線付け替えのためのゼロ閉路探索手法},
  booktitle = {電子情報通信学会技術研究報告 (VLD2014-156)},
  year = 2015,
}

@inproceedings{CTT100679038,
  author = {中谷勇太 and 高橋篤司},
  title = {集合対間配線における総配線長および配線長差の削減手法},
  booktitle = {電子情報通信学会技術研究報告 (VLD2014-87)},
  year = 2014,
}

@inproceedings{CTT100787063,
  author = {Yuta Nakatani and Shin-ya NISHIZAKI},
  title = {2D Geometric Modeling and Verification of Line Tracing Robot Using UPPAAL Model Checker},
  booktitle = {Proceedings of the 2nd International Conference on Software Engineering, Knowledge Engineering and Information Engineering (SEKEIE 2014)},
  year = 2014,
}