@inproceedings{CTT100715534,
  author = {Tatsuya Imai and Osamu Watanabe},
  title = {Relating sublinear space computability},
  booktitle = {SOFSEM 2016: Theory and Practice of Computer Science},
  year = 2016,
}

@inproceedings{CTT100721904,
  author = {Tatsuya Imai and Kotaro Nakagawa and Aduri Pavan and Variyam Vinochandran and Osamu Watanabe},
  title = {An O(sqrt(n)+eps})-Space Algorithm for Directed Planar Reachability with Polynomial Running Time},
  booktitle = {情処研報 AL},
  year = 2013,
}

@inproceedings{CTT100717798,
  author = {Tatsuya Imai and Kotaro Nakagawa and A. Pavan and N.V. Vinodchandran and Osamu Watanabe},
  title = {An O(n^{{1/2}+epsilon}})-space and polynomial-time algorithm for directed planar reachability},
  booktitle = {Computational Complexity (CCC), 2013 IEEE Conference on},
  year = 2013,
}

@misc{CTT100682445,
  author = {Tatsuya Imai},
  title = {Heuristic Algorithms for Classical STRIPS Planning Problems},
  year = 2015,
}

@misc{CTT100682446,
  author = {今井達也},
  title = {古典的STRIPSプランニング問題のためのヒューリスティックアルゴリズム},
  year = 2015,
}

@misc{CTT100698506,
  author = {Tatsuya Imai},
  title = {Heuristic Algorithms for Classical STRIPS Planning Problems},
  year = 2015,
}



@phdthesis{CTT100682445,
  author = {Tatsuya Imai},
  title = {Heuristic Algorithms for Classical STRIPS Planning Problems},
  school = {東京工業大学},
  year = 2015,
}

@phdthesis{CTT100682446,
  author = {今井達也},
  title = {古典的STRIPSプランニング問題のためのヒューリスティックアルゴリズム},
  school = {東京工業大学},
  year = 2015,
}

@phdthesis{CTT100698506,
  author = {Tatsuya Imai},
  title = {Heuristic Algorithms for Classical STRIPS Planning Problems},
  school = {東京工業大学},
  year = 2015,
}