발행물
컨퍼런스
Fifth International Conference on Software Engineering Research, Management and Applications
2007
,
An Internet Query Language based on Intuitionistic Linear Logic
The 6th International Conference on Applicationsand Principles of Information Science
sharing only valid beliefs among mankind via logic web
Proceedings of the International Conference on Software Engineering Research and Practice
2005
Experiments on Mutual Dependence between Class Analysis and Exception Analysis
한국정보과학회
2004
멀티패러다임 3D 모델링 DSEL의 설계
1st DongA and Tsinghua Univ.
2003
local use of object in object-oriented languages and its impacts on cache systems