"Hiroki Kumamoto,Tomoya noro,Takehiro Tokuda","Client-Side Centric Model for Generating One-Page Modern Web Applications","21st European-Japanese Conference on Information Modelling and Knowledge Bases","Proceedings of the 21st European-Japanese Conference on Information Modelling and Knowledge Bases",,"Vol. 2",,"pp. 88-95",2011,June
"Hiroki KUMAMOTO,Takahisa MIZUNO,Kensuke NARITA,Shin-ya NISHIZAKI","Destructive Testing of Software Systems by Model Checking","International Symposium on Communications and Information Technologies 2010","Proceedings of International Symposium on Communications and Information Technologies 2010","IEEE",,,"pp. 261-266",2010,Oct.
"熊本浩紀,野呂智哉,徳田雄洋","AjWebシステム: AjaxアプリケーションのXML記述による自動生成","日本ソフトウェア科学会第27回大会","日本ソフトウェア科学会第27回大会",,,,"  6C-4",2010,Sept.