"安藤崇央,宮本佑樹,萩原茂樹,米崎直樹","リアクティブシステム仕様に対する段階的充足可能性判定器の分散オブジェクト技術を利用した実装",,"コンピューターソフトウェア","岩波書店","Vol. 28","No. 4","pp. 262-281",2011,Nov.
"宮本佑樹,安藤崇央,萩原茂樹,米崎直樹","タブロー証明器の実装におけるBDDの利用について","第五回システム検証の科学技術シンポジウム","第五回システム検証の科学技術シンポジウム予稿集",,,,"pp. 127-138",2008,Nov.
"安藤崇央,宮本佑樹,萩原茂樹,米崎直樹","分散オブジェクト技術を利用した段階的充足可能性判定器の実装",,"日本ソフトウェア科学会第25回大会講演論文集",,,,,2008,Sept.
"宮本佑樹,関栄,柴山周平,竹村次朗","固結砂層のアンカーボルトの引き抜き抵抗に及ぼすせん断ひずみの影響",,"第41回地盤工学研究発表会論文集",,,,"pp. 1589-1590",2006,July