国内会議(査読付き)
[1] 大久保弘崇, 山本晋一郎, 坂部俊樹, 稲垣康善, "モデル生成に基づくJavaScriptプログラムの型検査系の構築について," 第9回プログラミングおよびプログラミング言語ワークショップ論文集, pages 77-88 2007年3月.