@article{CTT100631034,
  author = {安藤崇央 and 宮本佑樹 and 萩原茂樹 and 米崎直樹},
  title = {リアクティブシステム仕様に対する段階的充足可能性判定器の分散オブジェクト技術を利用した実装},
  journal = {コンピューターソフトウェア},
  year = 2011,
}

@inproceedings{CTT100566825,
  author = {宮本佑樹 and 安藤崇央 and 萩原茂樹 and 米崎直樹},
  title = {タブロー証明器の実装におけるBDDの利用について},
  booktitle = {第五回システム検証の科学技術シンポジウム予稿集},
  year = 2008,
}

@inproceedings{CTT100566208,
  author = {安藤崇央 and 宮本佑樹 and 萩原茂樹 and 米崎直樹},
  title = {分散オブジェクト技術を利用した段階的充足可能性判定器の実装},
  booktitle = {日本ソフトウェア科学会第25回大会講演論文集},
  year = 2008,
}

@inproceedings{CTT100555302,
  author = {宮本佑樹 and 関栄 and 柴山周平 and 竹村次朗},
  title = {固結砂層のアンカーボルトの引き抜き抵抗に及ぼすせん断ひずみの影響},
  booktitle = {第41回地盤工学研究発表会論文集},
  year = 2006,
}