| 1990 | EPN을 이용한 시뮬레이션 모델링 시스템의 설계 및 구현 | 남상아 | Master's Thesis |
| 1994 | M 변환을 이용한 디더링된 이진 영상의 계조화 | 신정민 | Master's Thesis |
| 1994 | 전문가와 학습자 프로그램간의 유사성 검사 | 이정원 | Master's Thesis |
| 1994 | 컴퓨터 통신망 시뮬레이션을 위한 객체 지향 모델링 | 오기은 | Master's Thesis |
| 1994 | 버퍼 지연을 고려한 ATM망의 적응적 UPC 알고리즘 | 안옥정 | Master's Thesis |
| 1994 | 트레이스 시각화 시스템의 설계 및 구현 | 오율하 | Master's Thesis |
| 1994 | 보안 서비스를 적용한 LAN의 성능평가에 관한 연구 | 김회림 | Master's Thesis |
| 1994 | 클래스 재사용을 위한 객체 지향 프로그램 생성에 관한 연구 | 안유정 | Master's Thesis |
| 1989 | 패턴의 구조적 코딩 방식을 이용한 한글 폰트의 구성 | 김미란 | Master's Thesis |
| 2001 | APEX 프레임워크 기반 분산 대용량 메일 시스템의 설계 및 구현 | 朴緊 | Master's Thesis |
| 1996 | HTML을 지원하는 라이브러리를 이용한 웹문서 생성 시스템의 설계 및 구현 | 김현종 | Master's Thesis |
| 1994 | 기하학적 추론에 기반한 정역학 문제 공간으로부터의 도형 생성 | 민동순 | Master's Thesis |
| 1994 | ART를 이용한 혼재 문서의 이진화 | 김금주 | Master's Thesis |
| 1994 | 의미 구조를 갖는 시소러스의 지식 표현에 관한 연구 | 강성희 | Master's Thesis |
| 1989 | 소프트웨어 공학에 있어서의 원형화에 대한 연구 | 최윤 | Master's Thesis |
| 2003 | 홈 네트워크 환경에서 안전한 정보 전송을 위한 홈 게이트웨이 보안 구조 설계 및 구현 | 김옥경 | Master's Thesis |
| 2003 | 트렌드 분석 속도 향상을 위한 동적 계층 구조 생성 방법 | 김이은 | Master's Thesis |
| 2003 | 확장성 있는 네트워크 이동성 지원 방안 | 김태은 | Master's Thesis |
| 1995 | 다단계 프로그램 분석을 통한 자동 클리쉐이 인식 | 이은영 | Master's Thesis |
| 2003 | Fault-based component customization and composition testing technique | 윤회진 | Master's Thesis |
