@article{CTT100665757,
  author = {森川知哉 and 荒堀喜貴 and 権藤克彦},
  title = {整数オーバーフローの未定義動作検出に対する整数境界値の定量的評価},
  journal = {コンピュータソフトウェア（レター論文）},
  year = 2014,
}

@inproceedings{CTT100667996,
  author = {奥村 開里 and 荒堀 喜貴 and 渡辺 陽介 and 横田 治夫},
  title = {遠隔カメラ側でのフレーム選択を用いた時刻指定動画再生システム},
  booktitle = {},
  year = 2014,
}

@inproceedings{CTT100667998,
  author = {牧原 健太郎 and 荒堀 喜貴 and 渡辺 陽介 and 串間宗夫 and 荒木賢二 and 横田 治夫},
  title = {電子カルテシステムの操作ログデータの時系列分析による頻出シーケンスの抽出},
  booktitle = {},
  year = 2014,
}