Fifth International Conference on Software Engineering Research, Management and Applications

An Internet Query Language based on Intuitionistic Linear Logic

2007

The 6th International Conference on Applicationsand Principles of Information Science

sharing only valid beliefs among mankind via logic web

2007

Proceedings of the International Conference on Software Engineering Research and Practice

Experiments on Mutual Dependence between Class Analysis and Exception Analysis

2005

한국정보과학회

멀티패러다임 3D 모델링 DSEL의 설계

2004

1st DongA and Tsinghua Univ.

local use of object in object-oriented languages and its impacts on cache systems

2003