한국통신학회 하계종합학술발표회, 2010-06-23
한국정보과학회 프로그래밍언어논문지, vol. 22, no. 1, page. 1 - 13, 2008-10
Thesis(Doctor), 2015